3-5 Jul 2017
Vienna, Austria
----------------------------------------------------------------------
Call for Participation
LogiCS/RiSE Summer School on Logic, AI and Verification
July 3 - 5, 2017, TU Wien, Vienna, Austria
http://forsyte.at/laive-summer-school-2017
----------------------------------------------------------------------
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
Early registration ends May 31!
For more information and registration, see
http://forsyte.at/laive-summer-school-2017
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam