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

FORSYTE’s 2018 paper awards

FORSYTE has had a quite successful year: Adrian Rebola Pardo and his co-authors received the IJCAR best paper award for their paper Extended Resolution Simulates DRAT, Mitra Tabaei Befrouei and her co-authors received an OOPSLA 2018 Distinguished Paper award for their paper Randomized Testing of Distributed Systems with Probabilistic Guarantees, and Thomas Pani received the […]

Continue reading

OOPSLA Distinguished Paper Award

Mitra Tabaei Befrouei and her co-authors from MPI-SWS Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Filip Niksic, received an OOPSLA’18 Distinguished Paper Award for their contribution “Randomized Testing of Distributed Systems with Probabilistic Guarantees” (Open Access article). Congratulations!

Continue reading

Zvonimir Rakamiric visiting FORSYTE

Prof. Zvonimir Rakamiric from the School of Computing at the University of Utah is spending his sabbatical with the FORSYTE group at TU Wien. He is generously sponsored by the Wolfgang Pauli Institute and a Pauli Fellow.

Continue reading

Helmut Veith Stipend Award Ceremony

The Vice Rector for Academic Affairs of TU Wien, Kurt Matyas, will award the scholarship recipient of the Helmut Veith Stipend at the award ceremony on Friday, April 06, 2018 in the Kontaktraum, starting at 17:05.

Continue reading

Full news archive