[Caml-list] ICFEM 2015 in Paris: Call for workshops

[we apologize for multiple receptions]

====================================================================
ICFEM 2015
The 17th International Conference on Formal Engineering Methods

Call for workshops

http://icfem2015.lri.fr/
====================================================================


IMPORTANT DATES
* Workshop proposal deadline: March 22, 2015
* Workshop proposal notification: April 13, 2015
* Workshops: November 6th (and 7th), 2015


The ICFEM 2015 conferences invites workshops as satellite events.
Such satellite events must be related to the ICFEM conference, and may
cover the following principal themes (but any topics relevant to the
field of formal methods and their practical applications will also be
considered):

* Abstraction and refinement
* Formal specification and modeling
* Program analysis
* Software verification
* Software model checking
* Formal approaches to software testing
* Formal methods for self-adaptive systems, for object and component
systems, concurrent and real-time systems, for cloud computing and
cyber-physical systems, for software safety, security, reliability and
dependability
* Tool development, integration and experiments involving verified systems
* Formal methods used in certifying products under international standards
* Formal model-based development and code generation
* Computer security
* Aeronautics
* Train control systems

The ICFEM 2015 workshops will be held immediately after the conference,
i.e., on Friday 6th of November, 2O15.
(If needed, two-day workshops can take place on Saturday 7th as well.)


SUBMISSION

Workshop organizers are invited to submit proposals by e-mail to
Etienne.Andre (at) lipn.univ-paris13.fr

A proposal should typically be in the form of a 1- or 2-page PDF
document, and should include:
* the workshop name and acronym
* the names, affiliations and contact information of the organizers
* whether the workshop is a first edition
* whether the workshop is affiliated to some project (European, ANR, etc.)
* information on the past editions (if any): dates and places, number of
participants
* the duration of the event (from half a day to 2 days)
* a short description of the event (typically 1-3 sentences) to be
published on the ICFEM Web site
* the topic covered by the workshop, and its relationship to ICFEM
* an expected number of participants
* the publication scheme for the proceedings (if any)
* any other useful information (invited speakers, etc.)

Workshop organizers will be responsible for:
* scientific organization: selection of the invited speakers and regular
speakers
* publication of the proceedings (if any)
* advertisement for the workshop (dedicated Web site, call for papers,
call for participation etc.)

ICFEM organizers will be responsible for:
* providing a room of accurate size
* advertising the workshops from the ICFEM Web site
* giving practical information on the workshop in the ICFEM official program
* providing all lunches and coffee breaks
* centralizing the registrations

ICFEM will charge a registration fee for the attendance to the
workshops, to be determined (typically around 100€ as in ICFEM 2014).


ICFEM 2015 COMMITTEES

General chair
* Fatiha Zaïdi, University of Paris-Sud, France

Workshop chair
* Etienne Andre, LIPN, Universite Paris 13

Program chairs
* Michael Butler, University of Southampton, United Kingdom
* Sylvain Conchon, University of Paris-Sud, France

Steering committee
* Keijiro Araki, Kyushu University, Japan
* Michael Butler, University of Southampton, UK
* Jin Song Dong, National University of Singapore [Chair]
* Jifeng He, East China Normal University, China
* Michael Hinchey, University of Limerick, Ireland
* Shaoying Liu, Hosei University, Japan
* Shengchao Qin, University of Teesside, UK

Local arrangment chair
* Tristan Crolard, CNAM, Paris

Financial chair
* The OCamlPro Compagny


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs