Prof. Dr. Jakob Rehof
26 June 2016, Porto, Portugal. Affiliated with FSCD 2016. TYPES 2016 (PC member): 22nd International Conference on Types for Proofs and Programs, 23-26 May 2016, Novi Sad, Serbia. FSCD 2016 (PC member): [...] Porto, Portugal, 22 - 26 June 2016. ICALP 2016 (PC member): 43rd International Colloquium on Automata, Languages, and Programming. July 11-15, 2016, Rome, Italy. MKWI 2016 (PC member): Multikonferenz W [...] Freiburg, Germany. ISOLA 2016 (PC member): 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Corfu, Greece, October 5-14 2016. ITRS 2016 (PC member): Eighth …