Wednesday, May 24, 2017

[DMANET] LogiCS/RiSE Summer School on Logic, AI and Verification, July 3-5, 2017, TU Wien, Vienna, Austria

Call for participation to the LogiCS/RiSE Summer School on Logic, AI and Verification

The doctoral college Logical Methods in Computer Science (LogiCS, http://logic-cs.at/phd/) and the Austrian Society for Rigorous Systems Engineering (RiSE, http://arise.or.at/) will host a summer school on Logic, Artificial Intelligence and Verification at TU Wien, Vienna, Austria, from July 3 to July 5.

The summer school targets master and doctoral students in Computer Science and Mathematics with a strong interest in Logic, Artificial Intelligence and Automated Verification. The event is open to all interested students.

The school will feature the following lectures:

* Johannes Fuernkranz (TU Darmstadt): Introduction to Machine Learning

* Cezary Kaliszyk (University of Innsbruck): Machine Learning in Theorem Proving

* Dan Olteanu (University of Oxford): From Joins to Aggregates to Optimization Problems

* Diego Calvanese and Marco Montali (Free University of Bolzano-Bozen): Verification of Data-Centric Systems

* Matteo Maffei (TU Wien): Formal Methods for Security and Privacy

Register until May 31 to profit from the early registration fee of €70!

For more information and registration, see http://forsyte.at/laive-summer-school-2017
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************