-
SEAL
-
Team
-
Head of Scientific Staff
Prof. Dr. Jakob Rehof
Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Corfu, Greece, October 5-14 2016. ITRS 2016 (PC member): Eighth Workshop on Intersection Types and Related Systems, 26 June 2016 [...] 2014 (PC member): 12th International Conference on Software Engineering and Formal Methods September 1-5, 2014, Grenoble, France. SEFM 2013 (PC member): 11th International Conference on Software Engineering [...] (External review committee member): Programming Language Design and Implementation, Toronto, Canada, June 5-10, 2010. SAS 2009 (PC member): International Static Analysis Symposium, August 9-11, 2009, Los Angeles …