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

[PVS] iFM & ABZ 2012 - ALL FOR POSTERS and TOOL DEMOS




** Apologies for cross posting **


=========================================================

iFM & ABZ 2012
Joint conference in honour of Egon Börger's 65th birthday

CALL FOR POSTERS and TOOL DEMOS

Pisa, Italy, 18 - 21 June 2012
http://ifm-abz.isti.cnr.it/
=========================================================

Posters & Tool Demos Contributions:

The iFM & ABZ 2012 poster exhibition & tool demonstration track
provides you with an opportunity to present and discuss your most
recent advances, experiences, and challenges in the field of Formal
Methods in all its aspects. The tools may range from research
prototypes to in-house or pre-commercialized products.

There will be a specific area open to attendees at scheduled times
during the conference, where you are expected to be available for
demonstrating your tool and / or explaining your A0 poster.

Submission and Publication:

Submissions must be made electronically through mail submission to the
Posters and Demo Tools Session chairs' email addresses:
Mazzanti Franco <franco.mazzanti@isti.cnr.it> and
Gianluca Trentanni <gianluca.trentanni@isti.cnr.it>

Submissions consist in an extended abstract, not 
exceeding 4 pages (A4 sized and formatted in the 
Springer LNCS format), which illustrates the tool 
or the poster ideas.  All contributions must be 
written in English.

In case of acceptance of a Poster submission you 
are required to prepare an A0 sized poster to 
bring at the conference. In case of acceptance of 
Tools Demo submission, you are encouraged to 
produce a poster as well.

Accepted extended abstracts and A4 scaled versions
of the posters will be published in an eBook (with ISBN) made publicly
available at major open access book sites.

Important Dates:

* Deadline for submission: 22 April 2012
* Notification of acceptance: 29 April 2012
* Camera-ready versions: 7 May 2012

Location:

The conference will be held at the Area della Ricerca CNR, Pisa, Italy
(http://www.area.pi.cnr.it).
Refer to the iFM & ABZ conferences website 
(http://ifm-abz.isti.cnr.it) for further details.