Skip to Content

TU Wien Fakultät für Informatik KBS Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS >

Tools: Drucken

RiSE/SHiNE Winter School 2018



The RiSE/SHiNE Winter School 2018 is an event of the Austrian national research network RiSE.

The target audience are researchers, advanced master students, PhD students, or Post-Docs working on theoretical and practical aspects of logic in computer science, formal verification, and automated reasoning in a broad sense.

Date and Venue


Please send an email to Florian Lonsing with your name and the name of your advisor (if you have one). Please indicate whether you will join the visit to the "Heurige" (social dinner on Wednesday, February 7).

COST: 150 Euro

Please transfer the money indicating the code "KTG192030A18" until January 31 2018 to the following account:

UniCredit Bank Austria
1010 Wien, Schottengasse 6 - 8
Account name: TU Wien
IBAN: AT72 1200 0514 2900 0401

IMPORTANT: Do not forget to indicate the code "KTG192030A18" and the participant name in the description.


Federico Aschieri, TU Wien, Austria.

Dirk Beyer, LMU Munich, Germany.

Olaf Beyersdorff, University of Leeds, UK.

Laura Kovacs, TU Wien, Austria, and Andrei Voronkov, University of Manchester, UK.


Monday Tuesday Wednesday Thursday Friday
09:00-10:30 arrival LK/AV OB FA DB
10:30-11:00 coffee coffee coffee coffee
11:00-12:30 LK/AV OB FA DB
12:30-14:00 lunch lunch lunch departure
14:00-15:30 LK/AV OB FA DB
15:30-16:00 coffee coffee coffee coffee
16:00-17:30 LK/AV OB FA DB
social dinner


Lunches and Social Dinner

The winter school does not offer organized lunches. There are plenty of restaurants and kiosks within walking distance of the venue.

The social dinner takes place on Wednesday, February 7, at 7pm at Heuriger Mayer am Pfarrplatz, Pfarrplatz 2, 1190 Wien (directions).


TU Wien is easily accessible by public transport.



The RiSE/SHiNE Winter School 2018 is organized by Uwe Egly and Florian Lonsing, Knowledge-Based Systems Group, Institute of Information Systems, TU Wien, Austria.

This website is maintained by Florian Lonsing.

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer. Datenschutzerklärung.