Call for Papers

Call for Papers
PhD Symposium at iFM'18 on
Formal Methods: Algorithms, Tools and Applications
(PhD-iFM'18)
 Maynooth, Ireland, September 04, 2018

more...zu: Call for Papers

Contact

Joost-Pieter Katoen

Prof. Dr. Ir. Dr. h. c. Joost-Pieter Katoen

Ahornstr. 55  

52074 Aachen

WorkPhone: +49 241 80 21004

FaxFax: +49 241 80 22217