FM 2011: 17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
http://fm2011.lero.ie
June 20-24, 2011
Lero, Limerick, Ireland
CALL FOR PARTICIPATION
The FM2011 programme is available online:
http://www.lero.ie/fm2011/programme.html
Associated events (industry day, workshops, tutorials, doctoral
symposium, with web links) can be found below.
Registration is now open for the FM 2011 Symposium and the
associated SEW-34 Workshop. The early bird deadline is Friday 3
June. Please follow this link:
http://www.lero.ie/fm2011/registration.html
FM 2011 is the seventeenth in a series of symposia organized by
Formal Methods Europe, an independent association whose aim is
to stimulate the use of, and research on, formal methods for
software development. The symposia have been notably successful
in bringing together innovators and practitioners in precise
mathematical methods for software and systems development,
industrial users as well as researchers.
The FM 2011 Symposium will be based around the theme
Formal Methods Come of Age
It will have the goal of highlighting and celebrating advances
and maturity in formal methods research, education, and
deployment via tool support and industrial best practice, and
their role in a variety of industries, domains, and in
certification and assurance.
Invited speakers:
* Janos Sztipanovits, Vanderbilt University. Model Integration
and Cyber Physical Systems: A Semantics Perspective.
* Jasmin Fisher, Microsoft Research Cambridge. Executable
Biology: Towards Computer Programmes that Mimic Life.
* David Harel, Weizmann Institute of Science. Some Thoughts on
Behavioral Programming.
GENERAL CHAIR
Mike Hinchey, Lero, Ireland
PC CHAIRS
Michael Butler, University of Southampton, UK
Wolfram Schulte, Microsoft Research, USA
PROGRAMME COMMITTEE
See: http://www.lero.ie/fm2011/programcommittee.html
WORKSHOPS, 20-21 June 2011
Chairs: Emil Vassev & David Sinclair, Lero, Ireland
See: http://www.lero.ie/fm2011/workshops.html
TUTORIALS, 20-21 June 2011
Chair: Nico Plat, West Consulting, The Netherlands
See: http://www.lero.ie/fm2011/tutorials.html
INDUSTRY DAY, 22 June 2011
Chair: Andrew Butterfield, Trinity College Dublin, Ireland
See: http://www.lero.ie/fm2011/industryday.html
DOCTORAL SYMOSIUM, 20 June 2011
Chair: Norah Power, Lero, Ireland
See: http://www.lero.ie/fm2011/doctoralsymposium.html
PUBLICITY CHAIR
Jonathan Bowen, Museophile Limited, UK
--
Prof. Jonathan Bowen
Emeritus Professor, London South Bank University
Visiting Professor, University of Westminster
Chairman, Museophile Limited
http://www.jpbowen.com
|