Reminder: The early bird registration deadline for the FM 2011 Symposium, the co-located SEW Software Engineering Workshop, and other associated events, is 3rd June. Registration information and online booking: http://sites.lero.ie/fm2011/registration.html The FM Doctoral Symposium on Monday 20 June, FM Industry Day on 22 June, conference dinner at Dromoland Castle on 23 June, and a copy of the proceedings (Springer LNCS), are included in the registration for FM 2011. The FM Workshops and Tutorials are available at additional cost. For further information on the associated events, see links from the main website under: http://fm2011.lero.ie Accommodation is available on the University of Limerick campus close to the conference venue at 52 Euros per night. Accommodation information is under: http://sites.lero.ie/fm2011/localinformation/accommodation.html We look forward to seeing you in Limerick in June. Jonathan Bowen FM 2011 Publicity Chair On 18 May 2011 15:39, Jonathan Bowen <[log in to unmask]> wrote: > > 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