Past Conferences
2nd International Conference on Graph
Transformation
Rome (Italy), 13-19 September 2004
3rd IFIP
International Conference on Theoretical Computer Science,
part of WCC2004, 18th IFIP
World Computer Congress
Toulouse (France), 23-26 August 2004
10th International Conference on Algebraic Methodology and
Software Technology
Stirling (Scotland), 12-16 July 2004
17th International Workshop on Algebraic Development
Techniques
Barcelona (Spain), 27-30 March 2004
Coalgebraic Methods in Computer Science
Barcelona (Spain), 27-28 March 2004
The European Joint Conferences on Theory and Practice of Software
Barcelona (Spain), 27 March - 4 April 2004
The European Joint Conferences on Theory and Practice of Software
Warsaw (Poland), 5-13 April 2003
1st International Conference on Graph
Transformation
Barcelona (Spain), 8-12 October 2002
16th International Workshop on Algebraic Development
Techniques
Chiemsee (Germany), 24-27 September 2002
9th International Conference on Algebraic Methodology and
Software Technology
Reunion Island (France), 9-13 September 2002
Foundations of Information Technology
in the Era of Network and Mobile Computing:
2nd IFIP
International Conference on Theoretical Computer Science,
part of MONTREAL2002, 17th IFIP
World Computer Congress
Montreal (Canada), 25-30 August 2002
The European Joint Conferences on Theory and Practice of Software
Grenoble (France), 6-14 April 2002
5th International Workshop on Coalgebraic Methods in
Computer Science, satellite event of ETAPS
2002
Grenoble (France), April 2002
4th International Workshop on Coalgebraic Methods in
Computer Science, satellite event of ETAPS 2001
Genova (Italy), 6-7 April 2001
The European Joint Conferences on Theory and Practice of Software
Genova (Italy), 2-6 April 2001
15th International Workshop on Algebraic Development
Techniques and CoFI WG General Workshop,
satellite event of ETAPS 2001
Genova (Italy), 1-3 April 2001
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 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.)
11th International Conference on Rewriting Techniques and
Applications
Norwich (England), 10-12 July 2000
Fifteenth Annual IEEE Symposium on Logic in Computer Science
Santa Barbara, California, 26-29 June 2000
International Conference on Algebraic Methodology And
Software Technology
Iowa City (USA), 23-27 May 2000
The European Joint Conferences on Theory and Practice of Software
Berlin (Germany), 25 March - 2 April 2000
Foundational Aspects of Software Engineering
Berlin (Germany), 27 March - 1 April 2000
3rd CMCS Workshop on Coalgebraic Methods in
Computer Science, satellite of ETAPS 2000
Berlin (Germany), 25-26 March 2000
3rd International Workshop on Frontiers of Combining Systems
Nancy (France), 22-24 March 2000
Abstract State Machine Workshop
Monte Verita (Switzerland), 19-24 March 2000
World Congress on Formal Methods
Toulouse, 20-24 September 1999
14th International Workshop on Algebraic Development Techniques
Bonas, near Toulouse, 15-18 September 1999
The 1999 Federated Logic Conference
Trento, 30 June - 12 July 1999
European Joint Conferences on Theory and Practice of Software
Amsterdam, 22-26 March, 1999
Seventh International Conference on Algebraic Methods and
Software Technology
Amazonia, Brazil, 7-9 January, 1999
Second International Workshop on
Rewriting Logic and its Applications
Pont-a-Mousson, France, 1-4 September, 1998
20th International Conference on Software Engineering
Kyoto, Japan, 19-25 April 1998
13th Workshop on Algebraic Development Techniques
Lisbon, 2-4 April 1998
1st Workshop on Coalgebraic Methods in Computer Science
Lisbon, 28-29 March 1998
1st European Joint Conferences on Theory and Practice of Software
Lisbon, 30 March-3 April 1998
Workshop on Formal Methods at EITC '97
Brussels, 26 November 1997
2nd International Workshop on the
Theory and Practice of Algebraic Specifications
Amsterdam, 25-26 September 1997
Formal Methods Europe
Graz, Austria, 15-19 September 1997
12th WADT: Workshop on Algebraic Development Techniques
Tarquinia, Italy, 3-7 June 1997
Seventh International Joint Conference on the Theory and Practice of
Software Development
Lille, France, 14-18 April 1997
Fifth International Conference on Algebraic Methodology
and Software Technology
Munich, 1-5 July 1996
Symposium on Industrial Benefit and Advances in Formal Methods
Oxford, 18-22 March 1996
11th ADT Workshop and 8th General Compass Meeting
Soria Moria, Oslo, 19-23 September 1995
(including access to some papers)
Sixth International Joint Conference on the Theory and
Practice of Software Development
Aarhus, Denmark, 22-26 May 1995
CoFI
: CoFI -- Version: -- November 29, 2004.
Comments to pdmosses@brics.dk
