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

WWTF ICT project awarded to Igor Konnov

Igor Konnov (PI), together with Josef Widder (co-PI) and Helmut Veith (core team), are awarded an ICT research project APALACHE “Abstraction-based Parameterized TLA Checker” by the Vienna Science and Technology Fund WWTF.

Continue reading

Austrian Computer Science Day 2015

The Austrian Computer Science Day 2015, which takes place on October 15, features a range of talks by leading Austrian computer scientists, including topics such as computer games, augmented reality, aware systems, semantic web, business processes, and reliable systems. Register for free by October 7, 2015! This year’s speakers are: Alois Ferscha (JKU Linz) Tom […]

Continue reading

Helmut Veith receives CAV Award

The 2015 CAV Award is given to Edmund Clarke, Orna Grumberg, Ron Hardin, Zvi Harel, Somesh Jha, Robert Kurshan, Yuan Lu, and Helmut Veith for the development and implementation of the localization-reduction technique and the formulation of counterexample-guided abstraction refinement (CEGAR).

Continue reading

Full news archive