Multi-Workshop on Formal Methods in Performance Evaluation and Applications

Zaragoza, Spain, September 6-10, 1999

Index page
General presentation
PNPM'99
PAPM'99
NSMC'99
WFMM'99
WFMT'99
Complete Program
Tutorials
Tool Demonstrations
Conference Committee
Registration
Accommodation
Travelling
Practicalities

8th International Workshop on Petri Nets and Performance Models (PNPM'99)

7th International Workshop on Process Algebra and Performance Modelling (PAPM'99)

3rd International Meeting on the Numerical Solution of Markov Chain (NSMC'99)

Workshop on Formal Methods and Manufacturing (WFMM'99)

Workshop on Formal Methods and Telecommunications (WFMT'99)

Conference site:

Centro Politécnico Superior
(Escuela de Ingenieros)
Edificio A
María de Luna, 3
50015 Zaragoza (Spain)

cps99@posta.unizar.es
Last modified: June 14, 1999
Number of visits: