Future Conferences

WADT 2001

15th International Workshop on Algebraic Development Techniques, satellite of ETAPS 2001
Genova (Italy), Spring 2001

ICS2000

International Conference on Software: Theory and Practice, in WCC20000, IFIP World Congress
Beijing (China), 21-25 August 2000
(Marie-Claude Gaudel is a co-chair.)

IFIP TCS2000

IFIP International Conference on Theoretical Computer Science
Sendai (Japan), 17-19 August 2000
(Peter Mosses is a co-chair of the track on Logics, semantics, specification, verification.)

RTA 2000

11th International Conference on Rewriting Techniques and Applications
Norwich (England), 10-12 July 2000

LICS 2000

Fifteenth Annual IEEE Symposium on Logic in Computer Science
Santa Barbara, California, 26-29 June 2000

AMAST 2000

International Conference on Algebraic Methodology And Software Technology
Iowa City (USA), 23-27 May 2000

ETAPS 2000

The European Joint Conferences on Theory and Practice of Software
Berlin (Germany), 25 March - 2 April 2000

FASE 2000

Foundational Aspects of Software Engineering
Berlin (Germany), 27 March - 1 April 2000

CMCS 2000

3rd CMCS Workshop on Coalgebraic Methods in Computer Science, satellite of ETAPS 2000
Berlin (Germany), 25-26 March 2000

FROCOS'2000

3rd International Workshop on Frontiers of Combining Systems
Nancy (France), 22-24 March 2000

ASM 2000

Abstract State Machine Workshop
Monte Verita (Switzerland), 19-24 March 2000