Main
The Chilean Workshop on Formal Methods aims to bring together members of the Latin American scientific community (extending to the world community) that research on formal methods, to incentive and to promote the interchange of knowledge, spreading of scientific work, discussion of proposals, and the collaboration between researchers and students.
The broad topics of interest of this workshop are:
- Tools for formal methods: tool support and software engineering.
- Theoretical foundations: specification and modelling, refining,
static analysis, model-checking, verification. - Applications of formal methods: in industry, case studies.
- Teaching of formal methods: pregraduate and postgraduate courses.
- Role of formal methods: formal methods in hardware and system design.
Contact: wfm [at] usach.cl
Program Committee
Egidio Astesiano, Università di Genova, Italy
Gustavo Betarte, Universidad de la República, Uruguay
Marco Bozzano, Fondazione Bruno Kessler, Italy
Linda Brodo, Università di Sassari, Italy
Rubén Carvajal-Schiaffino, Universidad de Santiago de Chile (Chair)
Antonio Cerone, United Nations University, Macau SAR, China
Ian Clark, University of Newcastle, UK
Giorgio Delzanno, Università di Genova, Italy
Rosa Muñoz Calanchie, Universidad de Santiago de Chile (Chair)
Wolfgang Reisig, Humboldt-Universität zu Berlin, Germany
Gerardo Schneider, University of Oslo, Norway