Email Gateway (Aug 22 2022 at 15:36): Email Gateway (Aug 22 2022 at 15:36):From: Sekretariat <sek@forsyte.at>
Dear Ladies and Gentlemen,
we cordially invite you to the LogiCS/RiSE Summer School on July 3 - 5,
2017, in Vienna, Austria.
Further Information see below.
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, 2017.
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
Last updated: Apr 19 2024 at 16:20 UTC