First Summer School on Runtime Verification
Submitted by T. Scheffel on Thu, 2016-06-23 09:47
From the 23rd to the 25th of September, the first summer school on runtime verification will take place. The summer school will be co-located with the 16th International Conference on Runtime Verification in Madrid, Spain. More information can be found here.
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Elisabeth Schwennen
- Aliyu Ali
- Phillip Bende
- Juljan Bouchagiar
- Tobias Braun
- Gerhard Buntrock
- David Caraveo
- Hannes Kallwies
- Karam Kharraz
- Mohammad Khodaygani
- Maria Ostanina
- Hannes Preiß
- Martin Sachenbacher
- Malte Schmitz
- Uwe Schwennen-Kienitz
- Thomas Sievers
- Annette Stümpel
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact
Overview
Director
Prof. Dr. Martin Leucker
Address
Institute for Software Engineering and Programming Languages
Building MFC II
Maria-Goeppert-Str. 3
23562 Lübeck
Contact
E-Mail: office [at] isp.uni-luebeck.de
Phone: +49 451 3101-6501