MOVEP12
Submitted by M. Leucker on Sun, 2012-09-09 18:37
School for young researchers about Modelling and Verifying Parallel processes (MOVEP). Further details can be found here.
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- 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