Go backward to Future Conferences
Go up to 3.3 Conferences
Past Conferences
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 16, 1999.
Comments to pdmosses@brics.dk