[TYPES/announce] Call for Participation: LogiCS/RiSE Summer School on Logic, AI and Verification [July 3 to 5]

[Jens Katelaan]

[Apologies in advance should you receive multiple copies of this mail.]

----------------------------------------------------------------------
                    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):
   TBA

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