iFM & ABZ 2012 - ALL FOR POSTERS and TOOL DEMOS
Gianluca Trentanni <[email protected]>
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <[email protected]> |
** 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 <[email protected]> and Gianluca Trentanni <[email protected]> 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.