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

FRIDA’15

We had great talks at FRIDA’15 workshop in Grenoble. The slides of some of the talks are available online.

Continue reading

FRIDA’15 Program

Check the program of the 2nd workshop on Formal Reasoning in Distributed Algorithms at FORTE. We have a nice program this year.

Continue reading

Full news archive