LAIVe Summer School 2017

RiSE & LogiCS Summer School on Logic, Artificial Intelligence and Verification

The doctoral college Logical Methods in Computer Science (LogiCS) and the Austrian Society for Rigorous Systems Engineering (RiSE) 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. We particularly encourage members of the RiSE research networks and the LogiCS doctoral college to participate, but the event is open to all interested students.

Dates and Location

Dates: Monday, July 3 to Wednesday, July 5, 2017
Venue: TU Wien
Neues EI (find on OpenStreetMap)
Gusshausstraße 27-29, 1040 Wien
Room EI 9 (ground floor)

Registration

Please register here. Early registration fee (until May 31) is €70, regular registration fee is €80. Fees include lunches, coffee breaks as well as the social dinner on Tuesday.

Program and Schedule

Mon,
July 3
Tue,
July 4
Wed,
July 5
9:00 –
10:30
Introduction to Machine Learning
(Johannes Fuernkranz, TU Darmstadt)
From Joins to Aggregates and Optimization Problems (Dan Olteanu, University of Oxford) Verification of data-centric systems (Diego Calvanese and Marco Montali, Free University of Bolzano-Bozen)
10:30 –
11:00
Coffee Coffee Coffee
11:00 –
12:30
Introduction to Machine Learning
(Johannes Fuernkranz, TU Darmstadt)
From Joins to Aggregates and Optimization Problems (Dan Olteanu, University of Oxford) Verification of data-centric systems (Diego Calvanese and Marco Montali, Free University of Bolzano-Bozen)
12:30 –
14:00
Lunch break Lunch break
14:00 –
15:30
The learning problems in theorem proving
(Cezary Kaliszyk, University of Innsbruck)
Formal Methods for Security and Privacy
Matteo Maffei (TU Wien)
15:30 –
16:00
Coffee Coffee
16:00 –
17:30
The learning problems in theorem proving
(Cezary Kaliszyk, University of Innsbruck)
Formal Methods for Security and Privacy
Matteo Maffei (TU Wien)
19:00- Dinner
(Heuriger Wolff)

Slides

Johannes Fuernkranz: Neural networks

Johannes Fuernkranz: Rule and preference learning

Cezary Kaliszyk: The learning problems in theorem proving

Dan Olteanu: From Joins to Aggregates and Optimization Problems

Matteo Maffei: Formal Methods for Security and Privacy

Travel

If traveling from abroad, we recommend to arrive at Vienna International Airport (VIE). If you arrive at the airport, the train station Wien Mitte/Landstrasse can be reached by the suburban train (S7 direction Floridsdorf). Avoid the CAT (City Airport Train), since it is overpriced. From Wien Mitte, take the U4 subway line to Karlsplatz. It’s a short walk from Karlsplatz to the venue. The subway station Taubstummengasse (U1) is also close to the venue.

Accommodation

There is a range of affordable hotels in Vienna, such as the IBIS Budget Sankt Marx and Wien Messe.

Catering & Social Dinner

The catering (coffee and lunches) during the Summer School will be provided by Michl’s, which is part of wienwork, an organization providing jobs for people with disabilities and persons experiencing disadvantages on the labor market.

The dinner is going to take place at  Heuriger Wolff (Rathstraße 46-50 in the 19th district of Vienna). To get there by public transport, take the U4 line (direction Heiligenstadt) to Spittelau and then the bus 35A (direction Salmannsdorf) to Neustift am Walde. More information will follow at the summer school.

Organizers

The summer school was organized by Gerald Berger and Jens Katelaan. Feel free to contact them if you have any questions related to the summer school.

Support

We gratefully acknowledge financial support by the Austrian Ministry for Transport, Innovation and Technology.

Latest News

TU Vienna Honorary Doctorate to Ed Clarke

We are glad to announce that TU Vienna will award an honorary doctorate to Ed Clarke. Edmund M. Clarke is among the leading computer scientists of our times. As a professor at Harvard, and, since 1982, at Carnegie Mellon University, he and his group have not only laid the theoretical and logical foundations of model […]

Continue reading

Opening of Vienna Center for Logic and Algorithms (VCLA) on Jan 25

The Vienna Center for Logic and Algorithms is an initiative of the Faculty of Informatics and funded by a three-year competitive grant of Vienna University of Technology. Embedded into the primary research area Computational Intelligence and the funding priority Computational Logic of the Faculty, the center is promoting international scientific collaboration in logic and algorithms. […]

Continue reading

Winter School on Verification

The Austrian Society for Rigorous Systems Engineering (ARiSE) and the Vienna Center for Logic and Algorithms (VCLA) are organizing a joint winter school on verification at Vienna University of Technology from 6-10 February 2012. Apart from ARiSE/VCLA students, the school will be open to outside students. Details are available from the VCLA website.

Continue reading

Full news archive