• 9th International Seminar on Relational Methods in Computer Science (RelMiCS 9) and 4th International Workshop on Applications of Kleene Algebra, 29 Aug. - 2 Sep. 2006, Manchester, UK

 

• Eigth International Conference on Mathematics of Program Construction, 3-5 July, Kuressaare, Estonia

 

• 8th International Seminar on Relational Methods in Computer Science (RelMiCS 8) and 3rd International Workshop on Applications of Kleene Algebra, February 22-26, 2005, St. Catharines, Ontario, Canada
   
• Seventh International Conference on Mathematics of Program Construction, 12-14 July, 2004, Stirling, Scotland, UK

 

• 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7) and 2nd International Workshop on Applications of Kleene Algebra, May 12-17, 2003, Malente (near Kiel), Germany
   
• Andrei Ershov Fifth International Conference on Perspectives of System Informatics, 9 - 12 July 2003, Novosibirsk, Akademgorodok, Russia

 

• Sixth International Conference on Mathematics of Program Construction, 8--13 July 2002, Schloß Dagstuhl (Co-Chair with E.A. Boiten, University of Canterbury)

 

• IFIP TC2 Working Conference on Generic Programming, 8--13 July 2002, Schloß Dagstuhl

 

• WAIT 2001 - 5th Argentinian Workshop on Theoretical Computer Science, Buenos Aires, September 10-14, 2001
   
• Andrei Ershov Fourth International Conference on Perspectives of Systems Infomatics, Novosibirsk, July 3 - 6, 2001
   
• Dagstuhl-Seminar 01081, Applications of Kleene Algebra, February 18-23, 2001

 

• MPC 2000 - Fifth International Conference on the Mathematics of Program Construction, Ponte de Lima, Portugal, 3-7 July, 2000
   
• Special session Formal Methods for Engineering Special-Purpose Parallel Systems at the IEEE International Conference on Electronics Circuits and Systems, December 17-20, 2000, Kaslik, Lebanon
   
• FCT'99 - Workshop on Distributed Systems, Iasi, Romania, Sept. 1999
   
• Argentinian Workshop on Theoretical Computer Science, Buenos Aires, Argentina, 6-7 Sept., 1999
• Andrei Ershov Third International Conference on Perspectives of Systems Infomatics, Novosibirsk, 6 - 9 July 1999
   
• International Summer School Marktoberdorf (Germany) on Calculational System Design, July 28 - August 9, 1998
   
• MPC '98 - Fourth International Conference on the Mathematics of Program Construction, Marstrand, Sweden, June 15-17, 1998
   
• Workshop on Generic Programming, WGP'98, June 18, 1998
   
• Workshop on Formal Techniques for Hardware and Hardware-like Systems, FTH'98, June 19, 1998