CFP: RiSE & LogiCS Summer School on Logic, AI, and Verification

Dates and Location

Dates: Monday, July 3 to Wednesday, July 5, 2017
Venue: TU Wien
Neues EI (find on OpenStreetMap)
Gusshausstraße 27-29, 1040 Wien
Room EI 9 (ground floor)

 

More info at http://forsyte.at/events/laive-summer-school-2017/

Posted in News