updated event location
This commit is contained in:
parent
d4c0822acc
commit
8470f81d84
|
@ -5,7 +5,7 @@
|
|||
|
||||
<!-- Winter 2016 -->
|
||||
|
||||
<eventitem date="2016-03-23" time="6:00 pm" room="TBA"
|
||||
<eventitem date="2016-03-23" time="6:00 pm" room="QNC 1502"
|
||||
title="SAT and SMT Solvers for Software Engineering and Security">
|
||||
<short>
|
||||
<p>A talk about SAT and SMT Solvers for Software Engineering and Security by Dr. Vijay Ganesh</p>
|
||||
|
|
Loading…
Reference in New Issue