Program Committee Memberships Frits Vaandrager (since 1998)

• International Conference on Concurrency Theory (CONCUR'24), Calgary, Canada, September 9-13, 2024.
• Chair jury Test-of-Time Award International Conference on Concurrency Theory (CONCUR'24).
• 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Boston, US, 26-29 June 2023.
• 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'23), April 2023, Paris, France.
• 33rd International Conference on Concurrency Theory (CONCUR'22), September 13-16, 2022, Warsaw, Poland.
• Learning and Automata (LearnAut), ICALP 2022 workshop, July 4th, Paris, France and virtually
• 17th International Conference on integrated Formal Methods (iFM'22), June 7-10, 2022, Lugano, Switzerland.
• 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22), April 2-7, 2022, Munich, Germany.
• 15th International Conference on Grammatical Inference (ICGI'21), postponed to June-July 2021 - Park Avenue, New York City, USA.
• Learning and Automata (LearnAut), LICS 2019 workshop, June 23rd, Vancouver, Canada.
• RERS challenge at the TOOLympics 2019, Prague, Czech Republic, April 7, 2019.
• 16th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'18), Beijing, 4-6 September 2018.
• 14th International Conference on Grammatical Inference (ICGI'18), Wroclaw, Poland, September 5-7, 2018.
• Organizer (together with Juray Somorovsky and Joeri de Ruiter) of Lorentz Center workshop on Systematic Analysis of Security Protocol Implementations, June 11-15, 2018, Leiden, the Netherlands.
• 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18), 14-21 April 2018, Thessaloniki, Greece.
• 17th International Conference on Runtime Verification (RV'17), September 13-16, 2017, Seattle, USA.
• Sixth Workshop on Synthesis (SYNT 2017) (affiliated workshop CAV'17), June 2017, Heidelberg, Germany.
• 13th International Conference on Integrated Formal Methods, September 20-22, 2017, Turin, Italy.
• Second International Workshop on Models for Formal Analysis of Real Systems (MARS), April 2017, Uppsala, Sweden.
• 11th International Conference on Language and Automata Theory and Applications (LATA'17), Umea, Sweden, March 6-10, 2017.
• Jury ING Testing Thesis Award, November 18, 2016, Amsterdam.
• 13th International Conference on Formal Aspects of Component Software (FACS'16), October 19-21, 2016, Besancon, France.
• 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'16), Pittsburgh, USA, October 6, 2016.
• 13th International Conference on Grammatical Inference (ICGI'16), Delft, October 5-7, 2016.
• 10th International Conference on Language and Automata Theory and Applications (LATA'16), Prague, March 14-18, 2016.
• 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'15), 2-4 September, 2015, Madrid, Spain.
• 9th International Conference on Language and Automata Theory and Applications (LATA'15), Nice, France, March 2-6, 2015.
• 12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'14), 8-10 September, 2014, Florence, Italy.
• 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 5-13 April 2014, Grenoble, France.
• 17th International Conference On Principles Of DIstributed Systems (OPODIS 2013), December 16-18, 2013, Nice, France.
• 24th International Conference on Concurrency Theory (CONCUR'13), Buenos Aires, Argentina, 26-31 August 2013.
• Formal Modeling and Analysis of Timed Systems (FORMATS'12), London, UK, at Imperial College London, 18-20 September 2012.
• 10th School on MOdelling and VErifying parallel Processes (MOVEP'12), Marseilles, France, December 3-7, 2012.
• 15th ACM Conference on Languages, Compilers, Tools & Theory for Embedded Systems (LCTES 2012), June 12-13, Beijing, China.
• 6th International Conference on Language and Automata Theory and Applications (LATA 2012), March 5-9, 2012, A Coruna, Spain.
• 13th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'10), in conjunction with CPSWEEK, April 12-16, 2010, Stockholm.
• 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, Leiden, 2003-2009.
• Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), 22-29 March 2009, York, UK.
• 29th IEEE Real-Time Systems Symposium (RTSS 2008), Barcelona, Spain, November 30 - December 3, 2008.
• 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
• 5th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'07), Salzburg, Austria, October 3-5, 2007
• 7th ACM International Conference on Embedded Software (EMSOFT 2007), Salzburg, Austria, Sept 30 - Oct 5, 2007
• ICALP 2007, Wroclaw, Poland, July 9-14, 2007
• CAV 2007, Berlin, Germany, July 3-7, 2007
• IPA Herfstdagen on Stochastic Systems, Bergen (NH), the Netherlands, November 27 - December 1, 2006.
• 6th Annual ACM Conference on Embedded Software (EMSOFT 2006), Seoul, South Korea, October 22-25, 2006
• DISC 2006, Stockholm Sweden, September 18-20, 2006
• 2nd IFAC conference on the Analysis and Design of Hybrid Systems (ADHS'06), Alghero, Sardinia, Italy, June 7-9, 2006
• 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
• CONCUR'05, San Francisco, California, August 23-26, 2005
• Scientific Committee MOVEP'04, ULB, Brussels, Belgium, December 2004
• CAV'04, Boston, USA, July 14-17 2004
• Jury International Conference of Young Scientists (ICYS 2004), Nijmegen, the Netherlands, April 18-24, 2004
• Seventh International Workshop on Hybrid Systems: Computation and Control (HSCC'04), Philadelphia, USA, March 2004
• First International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS 2003), September 6-7 2003, Marseille, France
• Andrei Ershov Fifth International Conference on Perspectives of System Informatics (PSI'03), July 9-12, 2003, Novosibirsk, Akademgorodok, Russia
• 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
• Fifth International Workshop on Hybrid Systems: Computation and Control (HSCC'02), Stanford, CA, USA, March 25-27, 2001
• Foundations of Software Science and Computation Structures (FOSSACS'02), Grenoble, France, March/April 2002
• Fourth International Workshop on Hybrid Systems: Computation and Control (HSCC'01), Roma, Italy, March 28-30, 2001
• 5th Workshop on Discrete Event Systems (WODES2000), Ghent, Belgium, August 21-23, 2000
• Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM2000), Dortmund, Germany, September 16-18, 2000
• Third International Workshop on Hybrid Systems: Computation and Control (HSCC'00), Pittsburgh, PA USA, March 23-25, 2000
• 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
• ICALP'98, Aalborg, Denmark, 13-17 July 1998
• EXPRESS'98, Nice, France, September 7, 1998
• PROCOMET'98, Shelter Island, New York, USA, 8-12 June 1998
• TACAS'98, Lisbon, Portugal, March 31 - April 2, 1998