Meetings organized by ProCoS working group sites
-
B'98 (2nd International B Conference) Montpellier, France,
22-24 April 1998.
Organized by the
Faculté des Sciences et Techniques,
Université de Nantes et al.
-
FTRTFT'98 (5th International School and Symposium on
Formal Techniques in Real Time and Fault Tolerant systems)
Lyngby, Denmark, 14-18 September 1998.
Organized by the
Department of Information Technology,
Technical University of Denmark.
-
ZUM'98 (11th International Conference of Z Users) Berlin, Germany,
24-26 September 1998.
Organized locally by
TU Berlin,
Daimer-Benz AG,
GMD
FIRST
et al.
-
FM'99
(World Congress on Formal Methods)
Toulouse, France, 20-24 September 1999.
Organized by the
Department of Information Technology,
Technical University of Denmark et al.
A
ProCoS workshop and
Z User Group meeting
are planned.
-
BZ2000
(International Conference of B and Z Users)
York, UK, 29 August - 2 September 2000.
The following meetings are of related interest:
-
International Workshop on Specification Techniques,
and Formal Methods (Invoicing'98),
Nantes, France, 26-27 March 1998.
-
Colloquium on Object Technology and System Re-engineering (COTSR),
Christ Church,
Oxford, UK, 6-8 April 1998.
(Organized by the
Software Technology Research Laboratory,
De Montfort University.)
-
International Workshop on Current Trends in Applied Formal Methods,
Boppard, Germany, 7-9 October 1998.
-
IEEE CS International Conference on Software Mainenance (ICSM),
Oxford, UK, April 1999.
See also other
formal methods meetings.
Maintained by 