Committees

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Committees

Committee Memberships Frits Vaandrager (since 1998)

Program Board for Computer Science of the Lorentz Center
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