-
SEAL
-
Team
-
Head of Scientific Staff
Prof. Dr. Jakob Rehof
on Software Engineering and Formal Methods, September 7-11, York, UK, 2015. BEAT 2014 (PC member): 3rd International Workshop on Behavioural Types. September 1st, 2014, Rome, Italy. Affiliated to CONCUR [...] 2009 (PC member): International Workshop on Formal Methods for Industrial Critical Systems, November 2-3, 2009, Eindhoven, Netherlands. TACAS 2008 (PC Co-chair): Tools and Algorithms for the Construction of [...] Budapest, Hungary. CAV 2007 (PC member): Computer Aided Verification, 19th International Conference. July 3-7, 2007, Berlin, Germany. TACAS 2007 (PC member): Thirteenth International Conference on Tools and …