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/
CFP: RiSE & LogiCS Summer School on Logic, AI, and Verification
Posted in News
