Past Involvements
- 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
Diese Seite auf deutsch
Search