[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call for Proposals for Workshops, Formal Methods 2012

************ Call for Proposals for Workshops ************
************        Formal Methods 2012       ************

The 18th International Symposium on Formal Methods (FM 2012) will take 
place in Paris, France, August 27-31, 2012.
For this major event, we are now inviting people to submit proposals for 

The purpose of the workshops is to provide an informal setting for 
workshop participants to discuss technical issues, exchange research 
ideas, and to discuss and/or demonstrate applications.
These workshops may be driven by fundamental academic interests or by 
needs from specific application domains.
We encourage a diversity of workshops relating to different varieties of 
formal models.

All workshop proposals must be written in English.

Proposals for workshops should be no more than 3 pages in length and 
submitted to the Workshops chairs before November 3, 2011 (see below).

A workshop proposal should include a draft call-for-papers containing at 
least the following information:

- Title and brief technical description of the workshop, specifying the 
goals and the technical issues that will be its focus.

- The names and contact information (web page, email address) of the 
Programme Committee (PC) chairs, i.e., the workshop organisers.
Moreover, a tentative list of workshop PC members should be given. We 
suggest one or two PC chairs and at least 10 PC members coming from 
different countries.

Moreover, the following additional information is requested:

- If the workshop has taken place before:
-- How often has the workshop taken place so far?
-- Which conference(s) has the workshop been collocated with so far?
-- Number of participants in the last installment.

- A discussion of the proposed format and agenda.

- The proposed duration (half, one or two days).

- Procedures for selecting participants and papers.

- Potential invited speakers.

- Expected number of participants.

Each workshop programme chair will be responsible for the following:

- Producing a web page and a "Call for Papers/Participation" for their 

- Providing a brief description of the workshop for the conference web 
page and programme, and providing a workshop web page the conference can 
refer to for details.

- Selecting the papers for the workshop proceedings and providing the 
camera ready copies ready for publication.

- All advertising of the workshop beyond web page advertising.

- Appointing session chairs, etc.

The local organisation of the conference will take care of the 
production of informal or electronic workshop proceedings, assuming that 
the proceedings are camera ready.

Submission of Workshop Proposals

Proposals should be submitted as a PDF file.
Please send your proposals and any inquiries by electronic mail to the 
Worshops chairs:

- Nihal Pekergin
  E-mail: nihal.pekergin@univ-paris12.fr
- Laure Petrucci
  E-mail: Laure.Petrucci@lipn.univ-paris13.fr
- Tayssir Touili
  E-mail: touili@liafa.jussieu.fr

- Deadline for workshop proposals: before November 3, 2011
- Notification of decision on workshops: December 5,2011