-
SEAL
-
Team
-
Head of Scientific Staff
Prof. Dr. Jakob Rehof
Programming Languages. Nice, France, Acropolis Conference Center. January 17-19, 2007. FLoC 2006 (Conference co-chair): The 2006 Federated Logic Conference. The Seattle Sheraton Hotel and Towers, Seattle [...] International Conference on Tools and Algorithms for the Construction and Analysis of Systems. March 29 - April 2, 2004 Barcelona, Spain. A member conference of the European Joint Conferences on Theory and [...] a member of the editorial board of the Communications of the ACM. Conferences and Events FSCD 2021 (PC member): International Conference on Formal Structures for Computation and Deduction, July 17-24, virtual …