Committee Memberships Frits Vaandrager (since 1998)

• Program Committee Formal Modeling and Analysis of Timed Systems (FORMATS 2012), London, UK, at Imperial College London, 18-20 September 2012.
• Program Committee 10th School on MOdelling and VErifying parallel Processes (MOVEP'12), Marseilles, France, December 3-7, 2012.
• Program Committee 15th ACM Conference on Languages, Compilers, Tools & Theory for Embedded Systems (LCTES 2012), June 12-13, Beijing, China.
• Program Committee 6th International Conference on Language and Automata Theory and Applications (LATA 2012), March 5-9, 2012, A Coruna, Spain.
• Program Committee 13th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'10), in conjunction with CPSWEEK, April 12-16, 2010, Stockholm.
• Program Committee Doctoral Symposium of FM'09, Eindhoven, The Netherlands, Friday November 6, 2009.
• Program Co-Chair (together with Joel Ouaknine) of the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), Budapest, Hungary, 14-16 September 2009.
• Program Board for Computer Science of the Lorentz Center
• Program Committee Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), 22-29 March 2009, York, UK.
• Program Committee 29th IEEE Real-Time Systems Symposium (RTSS 2008), Barcelona, Spain, November 30 - December 3, 2008.
• Program Committee 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08), Saint-Malo, France, September 15-17, 2008.
• Co-organizer Nancy Lynch Celebration: Sixty and Beyond, 22 August 2008, Toronto, Canada.
• Jury ICTRegie Award 2008.
• Scientific coordinator of Lorentz Center workshop Two decades of probabilistic verification -- Reflections and perspectives, Leiden, November 12-16, 2007
• Program Committee 5th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'07), Salzburg, Austria, October 3-5, 2007
• Program Committee 7th ACM International Conference on Embedded Software (EMSOFT 2007), Salzburg, Austria, Sept 30 - Oct 5, 2007
• Program Committee ICALP 2007, Wroclaw, Poland, July 9-14, 2007
• Program Committee CAV 2007, Berlin, Germany, July 3-7, 2007
• IPA Herfstdagen on Stochastic Systems, Bergen (NH), the Netherlands, November 27 - December 1, 2006.
• Program Committee 6th Annual ACM Conference on Embedded Software (EMSOFT 2006), Seoul, South Korea, October 22-25, 2006
• Program Committee DISC 2006, Stockholm Sweden, September 18-20, 2006
• Program Committee 2nd IFAC conference on the Analysis and Design of Hybrid Systems (ADHS'06), Alghero, Sardinia, Italy, June 7-9, 2006
• Program Committee FORMATS'05, the 3rd international conference on Formal Modeling and Analysis of Timed Systems, which will be held in Uppsala, Sweden, in September/October 2005
• Program Committee CONCUR'05, San Francisco, California, August 23-26, 2005
• Scientific Committee MOVEP'04, ULB, Brussels, Belgium, December 2004
• Program Committee CAV'04, Boston, USA, July 14-17 2004
• Jury International Conference of Young Scientists (ICYS 2004), Nijmegen, the Netherlands, April 18-24, 2004
• Program Committee Seventh International Workshop on Hybrid Systems: Computation and Control (HSCC'04), Philadelphia, USA, March 2004
• Program Committee First International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS 2003), September 6-7 2003, Marseille, France
• Program Committee Andrei Ershov Fifth International Conference on Perspectives of System Informatics (PSI'03), July 9-12, 2003, Novosibirsk, Akademgorodok, Russia
• Program Committee IFAC Conference on Analysis and Design of Hybrid Systems (ADHS03), June 16-18, 2003, Saint-Malo, Brittanny, France
• Organising Committee GI/Dagstuhl Research Seminar on Validation of Stochastic Systems, December 8-11, 2002, Schloss Dagstuhl, Germany
• Program Committee Fifth International Workshop on Hybrid Systems: Computation and Control (HSCC'02), Stanford, CA, USA, March 25-27, 2001
• Program Committee Foundations of Software Science and Computation Structures (FOSSACS'02), Grenoble, France, March/April 2002
• Program Committee Fourth International Workshop on Hybrid Systems: Computation and Control (HSCC'01), Roma, Italy, March 28-30, 2001
• Program Committee 5th Workshop on Discrete Event Systems (WODES2000), Ghent, Belgium, August 21-23, 2000
• Program Committee Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM2000), Dortmund, Germany, September 16-18, 2000
• Program Committee Third International Workshop on Hybrid Systems: Computation and Control (HSCC'00), Pittsburgh, PA USA, March 23-25, 2000
• Program Committee Nederlandse Testdag ("Dutch Testing Day"), Eindhoven, The Netherlands, November 3, 1999
• Organizer and PC-chair (with Jan van Schuppen) Second International Workshop on Hybrid Systems: Computation and Control (HSCC'99), Berg en Dal, The Netherlands, March 29-31, 1999
• Member of Committee of Experts for the evaluation of the research programme 1C ``Programmation distribuee et temps-reels'' of INRIA, Saint-Malo, France, October 6-7, 1998
• Program Committee ICALP'98, Aalborg, Denmark, 13-17 July 1998
• Program Committee EXPRESS'98, Nice, France, September 7, 1998
• Program Committee PROCOMET'98, Shelter Island, New York, USA, 8-12 June 1998
• Program Committee TACAS'98, Lisbon, Portugal, March 31 - April 2, 1998