Events & Professional Activities - Prof. Jakob Rehof
Sub navigation
Staff pages+
Main content
Events & Professional Activities - Prof. Jakob Rehof
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 Workshop on Intersection Types and Related Systems, 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): 1st International Conference on Formal Structures for Computation and Deduction (FSCD) to be held in Porto, Portugal, 22 - 26 June 2016.
ICALP 2016 (PC member): 43rd International Colloquium on Automata, Languages, and Programming. July 11-15, 2016, Rome, Italy.
ModSyn-PL 2015 (Co-chair with George T. Heineman): Modular Synthesis of Product Lines, Workshop affiliated with SPLC 2015, 19th International Software Product Line Conference, July 20 2015, Nashville TN.
SEFM 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 1st, 2014, Rome, Italy. Affiliated to CONCUR 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): Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications July 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, France.
SEFM 2013 (PC member): 11th International Conference on Software Engineering and Formal Methods September 25-27, 2013, Madrid, Spain.
BEAT 2013 (PC member): 1st International Workshop on Behavioural Types. January 22, 2013, Rome, Italy. Collocated with POPL 2013.
FMICS 2012 (PC member): 17th International Workshop on Formal Methods for Industrial Critical Systems Paris (France), August 27-28, 2012.
PLDI 2010 (External review committee member): Programming Language Design and Implementation, 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 Industrial Critical Systems, November 2-3, 2009, Eindhoven, Netherlands.
TACAS 2008 (PC Co-chair): Tools and Algorithms for the Construction of Systems. 29 March - 6 April, 2008, Budapest, 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 for the Construction and Analysis of Systems. Braga, Portugal, March 24 - April 1, 2007.
POPL 2007 (PC member): The 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of 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, Washington, August 10-22, 2006.
ICALP 2006 (PC member, 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 Systems. University of Warwick, UK, 12-13 September 2005.
FIT 2005 (Co-organizer): Foundations of Interface Technologies, Sunday August 21, 2005 San Francisco, USA (a sattelite workshop to CONCUR 2005).
CAV 2005 (PC member): 17th International Conference on Computer Aided Verification. The University of Edinburgh, Scotland, UK, July 6 - 10 , 2005.
PLDI 2004 (PC member): ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation. Washington, DC June 9-11, 2004.
TACAS 2004 (PC member): Tenth 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 Practice of Software (ETAPS 2004).
PEPM 2002 (PC member): 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02) Portland, Oregon, USA, January 14-15, 2002