Print

---

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