HFM2019
History of Formal Methods Workshop
program committee
program committee
This page contains information on the program committee and will be updated as new members are added.
You can contact the chairs on hfm2019@easychair.org.
Chairs
Chairs
Program Committee
Program Committee
- Gerard Alberts (Universiteit van Amsterdam, NL)
- Dan Berry (University of Waterloo, CA)
- Jonathan Bowen (London South Bank University, GB & Southwest University, CN)
- Helena Durnová (Masarykova Univerzita, CZ)
- Gauthier van den Hove (CWI, NL)
- Cliff Jones (Newcastle University, GB)
- Matt Luckuck (University of Liverpool, GB)
- Simone Martini (Università di Bologna, IT)
- Liesbeth de Mol (Université de Lille, FR)
- Elisabetta Mori (Middlesex University, GB)
- Peter Mosses (Technische Universiteit Delft, NL)
- Olaf Owe (Universitetet i Oslo, NO)
- Tomas Petricek (University of Kent, GB)
- Davide Sangiorgi (Università di Bologna, IT)
- John Tucker (Swansea University, GB)
- Jim Woodcock (University of York, GB)
- Jeffrey Yost (Charles Babbage Institute, US)