-
SEAL
-
Team
-
Head of Scientific Staff
Prof. Dr. Jakob Rehof
2016, Rome, Italy. MKWI 2016 (PC member): Multikonferenz Wirtschaftsinformatik, Ilmenau, Germany, 9-11 March 2016. ModSyn-PL 2015 (Co-chair with George T. Heineman): Modular Synthesis of Product Lines [...] Toronto, Canada, June 5-10, 2010. SAS 2009 (PC member): International Static Analysis Symposium, August 9-11, 2009, Los Angeles, CA, USA. FMICS 2009 (PC member): International Workshop on Formal Methods for [...] Track B): 33rd International Colloquium on Automata, Languages and Programming. Venice, Italy, July 9-16, 2006. AVoCS 2005 (PC member): Fifth International Workshop on Automated Verification of Critical …