posted by user: garganti || 4896 views || tracked by 15 users: [display]

iFM & ABZ 2012 : Integrated FM & ABZ 2012 Call for workshops

FacebookTwitterLinkedInGoogle

Link: http://ifm.isti.cnr.it
 
When Jun 18, 2012 - Jun 22, 2012
Where Pisa, Italy
Submission Deadline Oct 15, 2011
Categories    formal methods   software engineering   abstract state machines   b method
 

Call For Papers

CALL FOR WORKSHOP PROPOSALS - iFM & ABZ 2012

9th International Conference on Integrated Formal Methods

3rd International Conference on Abstract State Machines (ASM), Alloy, B, VDM, and Z
18 - 22 June 2012 CNR Pisa, Italy

http://ifm-abz.isti.cnr.it/

The iFM and ABZ conferences are co-located in order to host a joint conference in honour of Egon Börger's 65th birthday. The conferences are organized by the Formal Methods && Tools Lab at CNR/ISTI and take place at the Area della Ricerca del CNR in Pisa on June 18-22, 2012.
The iFM conference series seeks to further research into the combination of (formal and semi-formal) methods for system development, regarding modeling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.
The ABZ conference is dedicated to the cross-fertilization of five related state-based and machine-based formal methods, Abstract State Machines (ASM), Alloy, B, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems.
We invite you to submit proposals for one day workshops in the areas covered by the iFM and ABZ conferences. In particular workshops on challenging new, emerging fields are sought.

iFM & ABZ workshop proposals should include:

* workshop title and acronym, and a brief description of its scope and goals
* names, affiliations and very brief CV of the workshop organizers
* format of the workshop and its duration and selection procedure
* expected number of participants
* form of proceedings

Proposals (at most 2 pages) should be sent to the workshop chairs Maurice ter Beek and Angelo Gargantini at maurice.terbeek@isti.cnr.it and angelo.gargantini@unibg.it
The deadline for submissions is October 15, 2011.
Notifications will be sent by November 30, 2011.
Workshops with informal proceedings can be assisted in printing and distribution by the iFM&ABZ 2012 organizing committee. Workshop participants will be offered registration for iFM&ABZ 2012 with a special discount fee.
More information on iFM & ABZ 2012: http://ifm-abz.isti.cnr.it
Further enquiries can be made to the workshop chairs.

Related Resources

ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
IJNGN 2020   International Journal of Next - Generation Networks
CCNC 2021   IEEE Consumer Communications & Networking Conference
ACM--ADIP--EI Compendex, Scopus 2020   ACM--2020 2nd Asia Digital Image Processing Conference (ADIP 2020)--EI Compendex, Scopus
17th ICTEL Rome 2021   17th ICTEL 2021 – International Conference on Teaching, Education & Learning, 06-07 September, Rome
ACM--ICSCA--Ei, Scopus 2021   ACM--2021 10th International Conference on Software and Computer Applications (ICSCA 2021)--EI Compendex, Scopus
4th Rome ICSSH 2021   4th Rome – International Conference on Social Science & Humanities (ICSSH), 07-08 September 2021
ACM--CSAI--Ei, Scopus 2020   ACM--2020 4th International Conference on Computer Science and Artificial Intelligence (CSAI 2020)--Ei Compendex and Scopus