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

Helmut Veith Stipend 2017: Deadline Extension (November 30)

The application deadline for the Helmut Veith Stipend 2017 has been extended to November 30. The stipend is dedicated to the memory of an outstanding computer scientist who worked in the fields of logic in computer science, computer-aided verification, software engineering, and computer security. We encourage all female master’s students attending (or planning to attend) […]

Continue reading

Helmut Veith Stipend 2017

Outstanding female students in the field of computer science who pursue (or plan to pursue) one of the master‘s programs in Computer Science at TU Wien taught in English are invited to apply for the Helmut Veith Stipend

Continue reading

Helmut Veith Stipend

The first recipient of the Helmut Veith Stipend for excellent female master’s students in computer science will be presented on March 14 at the following event: "More female students in computer science. Who cares?" Panel discussion with renowned scientists about diversity in STEM Studies March 14, 5:30pm, TU Wien The Helmut Veith Stipend is dedicated […]

Continue reading

Full news archive