• 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, 新万博体育下载_万博体育app【投注官网】 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