-
SEAL
-
Team
-
Head of Scientific Staff
Prof. Dr. Jakob Rehof
June 1-6, 2014. ITRS 2014 (PC chair): Intersection Types and Related Systems, affiliated with TLCA 2014, July 18, 2014, Vienna, Austria. Part of the Vienna Summer of Logic (VSL) 2014. RTA-TLCA 2014 (PC member): [...] 14-17, 2014, Vienna, Austria. Part of the Vienna Summer of Logic (VSL) 2014. SEFM 2014 (PC member): 12th International Conference on Software Engineering and Formal Methods September 1-5, 2014, Grenoble [...] September 7-11, York, UK, 2015. BEAT 2014 (PC member): 3rd International Workshop on Behavioural Types. September 1st, 2014, Rome, Italy. Affiliated to CONCUR 2014. Dagstuhl Seminar 14232, "Design and …