===============================================================================
FM 2011 (27-31 August 2012, CNAM, Paris, France): Call for
Tutorials
===============================================================================
Apologies if you receive multiple copies.
INTRODUCTION
FM 2012 (http://fm2012.cnam.fr/) is the eighteenth 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
PROPOSALS
Tutorials will take place on 27 and 28 August 2012, preceding the
symposium. FM 2012 tutorial proposals should include:
- tutorial title and brief description of its scope and goal
- names and affiliations of the tutors
- format of the tutorial
SUBMISSION
Proposals in PDF format can be sent to the Tutorial Chairs:
Serge Haddad and Fabrice Kordon
(email: [email protected]).
Deadline for submission: 29 February 2012.
EVALUATION
Proposals will be evaluated by the FM 2012 organizing committee.
Evaluation criteria will be importance, relevance, timeliness, audience
appeal
and past experience and qualification of the authors.
NOTIFICATION
Notification will be sent by 30 April 2012. Tutorials that have
lecture notes can be assisted in printing and distribution by the FM
2012 organizing
committee. Tutorial participants are invited to register for FM 2012,
but are not required to do so.
Further inquiries can be made to the Tutorial Chairs.
TUTORIALS CHAIRS
Serge Haddad, LSV, ENS Cachan, France
Fabrice Kordon, LIP6, Université Paris 6, France
===============================================================================
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
