2 Guest Presentations, on Monday, June 15th 2015
When: 15.6.2015, 6pm at Center for HCI in Sigmund-Haffner-Gasse 18, Salzburg
Kolloquium: “Informationslogistik – Schnittstelle IT und Logistik”
Wann: Donnerstag, 25. Juni 2015, 10:30 s.t.
Kolloquium: “Model Checking of Fault-tolerant Distributed Algorithms”
Wann: Dienstag, 30. Juni 2015, 9:15 s.t.
