[ecoop-info] FM 2011 (20-24 June 2011, Limerick, Ireland): Call for Tutorials

Announcements of FME events events at fmeurope.org
Wed Oct 6 16:59:16 CEST 2010

	FM 2011 (20-24 June 2011, Limerick, Ireland): Call for Tutorials
Apologies if you receive multiple copies.

FM 2011 (http://www.lero.ie/fm2011/) is the seventeenth international symposium
of the Formal Methods Europe association. The symposium will again be a global
platform for researchers and practitioners from a diversity of countries,
backgrounds and schools to exchange ideas and share experiences. As is
tradition, the symposium will go together with an Industry Day, a Doctoral
Symposium, as well as a wide range of workshops. In order to complete the
programme, the organizing committee of FM 2011 invites proposals for half-day
or full-day tutorials in the wide area of formal methods.

Tutorials should aim to provide conference participants with the opportunity to
learn new techniques and gain insights in the use of formal methods. In
particular, we welcome proposals addressing:
- novel applications of existing tools and techniques
- advanced topics in formal methods research
- uses of formal methods in emerging fields

Tutorials will take place on 20 and 21 June 2011, preceding the symposium. FM
2011 tutorial proposals should include:
- tutorial title and brief description of its scope and goal
- names and affiliations of the tutors
- format of the tutorial

Proposals in PDF format can be sent to the Tutorial Chair: Nico Plat (email:
tutorials at fmeurope.org). Deadline for submission: 24 January 2011.

Proposals will be evaluated by the FM 2011 organizing committee. Evaluation
criteria will be importance, relevance, timeliness, audience appeal and past
experience and qualification of the authors.

Notification will be sent by 22 March 2011. Tutorials that have lecture notes
can be assisted in printing and distribution by the FM 2011 organizing
committee. Tutorial participants are invited to register for FM 2011, but are
not required to do so. Further inquiries can be made to the Tutorial Chair.

Nico Plat, West Consulting, The Netherlands

events mailing list
events at fmeurope.org

More information about the ecoop-info mailing list