-
SEAL
-
Team
-
Head of Scientific Staff
Prof. Dr. Jakob Rehof
member): Static Analysis Symposium, August 29 - August 31 2018, Freiburg, Germany. ISOLA 2016 (PC member): 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation [...] 2015 (PC member): 13'th International Conference on Software Engineering and Formal Methods, September 7-11, York, UK, 2015. BEAT 2014 (PC member): 3rd International Workshop on Behavioural Types. September [...] 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 Algorithms …