-
SEAL
-
Team
-
Head of Scientific Staff
Prof. Dr. Jakob Rehof
"Design and Synthesis from Components" (Co-organizer with Moshe Y. Vardi) , Schloss Dagstuhl, June 1-6, 2014. ITRS 2014 (PC chair): Intersection Types and Related Systems, affiliated with TLCA 2014, July [...] Netherlands. TACAS 2008 (PC Co-chair): Tools and Algorithms for the Construction of Systems. 29 March - 6 April, 2008, Budapest, Hungary. CAV 2007 (PC member): Computer Aided Verification, 19th International [...] International Conference on Computer Aided Verification. The University of Edinburgh, Scotland, UK, July 6 - 10 , 2005. PLDI 2004 (PC member): ACM SIGPLAN 2004 Conference on Programming Language Design and …