Next to its main FM conference series, FME sponsors other events related to formal methods. Typically invited talks are sponsored. Details about sponsorship can be found in our Guide to FME Sponsorship.

(Photo: maistora)

We particularly invite proposals from outside Europe.

See the attached Call for FM’14.

Since 2001, QAPL has provided a forum for those interested in
quantitative aspects of computation. These aspects are important and
sometimes essential in characterising the behavior and determining the
properties of systems. They are related to the use of physical
quantities (storage space, time, bandwidth, etc.) as well as
mathematical quantities (e.g. probability and measures for reliability,
security and trust). Such quantities play a central role in defining
both the model of systems (architecture, language design, semantics) and
the methodologies and tools for the analysis and verification of system
properties.

The three keynote speakers will address various topics in the area of
quantitative aspects of computation. In particular Prof. Kim G. Larsen
will speak about statistical model checking, Dr. Boris Koepf  will
address quantitative Information-flow analysis and Dr. Jeremy Bradley
will give a presentation on mean field and fluid approaches to Markov
chain analysis.

The FormSERA workshop addresses the use formal methods in software development
practice. Formal methods differ from many software engineering techniques in
that they demand and exploit a mathematically rigorous semantic basis for the
tools and notations used. Such sound foundations permit the analysis as well as
synthesis and sound transformation of software engineering artifacts to a depth,
and with a degree of automation, that is otherwise impossible to achieve.

Ample studies show that formal techniques can be used in industrial settings,
given careful and tool-supported application. However, the maturing of formal
techniques into real-life software engineering involves providing notations and
tools that are readily understood and used by practitioners, and actually help
practitioners become more efficient, get better quality or more easily
adapt their software to changing requirements.

Examples are use of formal methods in conjunction with structured
requirements analysis and modeling, programming practices, test technology,
compositional and aspect-oriented techniques. Areas of interest
for the workshop include but are not limited to:
- Formal methods in the context of agile approaches
- Formal methods in requirement elicitation and  analysis
- Formal specification and design
- Automation through formal methods
- Synthesis of software artifacts
- Formal methods in testing, re-engineering and reuse
- Formal methods in software verification
- Formal methods in a Certification Context
- Model-based development
- Light-weight formal methods

Submission:
===========
Submitted papers are limited to 7 pages in IEEE Conference Proceedings Format.
They will be published as part of the (electronic) proceedings of ICSE 2012.
All papers submitted to the workshop must be unpublished original work and
should not be under review or submitted elsewhere while being under
consideration. All submissions must be in English and in PDF format through
online upload to the workshop submission website at the following URL:

https://www.easychair.org/conferences/?conf=formsera2012

All submissions will be reviewed by three PC members. They will be judged on
the basis of their clarity, relevance, originality, and contribution.

Important Dates (mandatory):
============================
17 February 2012: submission deadline for workshop papers
19 March 2012: notification of acceptance/rejection to workshop papers authors
29 March 2012: camera ready copy deadline for workshop papers
2 June 2012: FormSERA workshop held in Zurich, Switzerland

Organizing Committee:
=====================
Stefania Gnesi (ISTI-CNR, Italy)
Stefan Gruner (University of Pretoria, South Africa)
Nico Plat (West Consulting BV, The Netherlands)
Bernhard Rumpe (RWTH Aachen University, Germany)

The organising committee can be reached via e-mail: oc@formsera.org. If you
intend to submit a paper you are encouraged to inform us in advance.

Program Committee:
==================
Yamine Ait-Ameur (IRIT/ENSEEIH, France)
Scott Ambler (IBM, Canada)
Gogul Balakrishnan (NEC Labs, USA)
Manfred Broy  (Munich University of Technology, Germany)
Marsha Chechik (University of Toronto, Canada)
Juergen Dingel (Queen’s University, Canada)
Patrick Heymans (University of Namur, Belgium, and INRIA, France)
Alessandro Fantechi (University of Florence, Italy)
Mike Hinchey (Lero, Ireland)
Axel van Lamsweerde (University of Louvain, Belgium)
Peter Gorm Larsen (Engineering College of Aarhus, Denmark)
Thierry Lecomte (ClearSy, France)
Shaoying Liu (Hosei University, Japan)
Antónia Lopes (University of Lisbon, Portugal)
Michael Löwe (Fachhochschule fuer die Wirtschaft Hannover, Germany)
Tiziana Margaria (Potsdam University, Germany)
Steve Riddle (University of Newcastle, UK)
Matteo Rossi (Politecnico di Milano, Italy)
Bernhard Schätz (fortiss, Germany)
Wolfram Schulte (Microsoft, USA)
Chandrasekaran Subramaniam (Rajalakshmi Engineering College, Chennai, India)
Elena Troubitsyna (Abo University, Finland)
Sebastián Uchitel (Imperial College and Universidad de Buenos Aires, UK and Argentina)
Willem Visser (University of Stellenbosch, South Africa)
Bartosz Walter (Poznan University of Technology, Poland)
Fatiha Zaïdi (LRI/CNRS, France)

Workshop website:
=================
Check the workshop website for the latest information: http://www.formsera.org/

23rd International Conference on Concurrency Theory
3rd to 8th September 2012, Newcastle upon Tyne, United Kingdom
http://conferences.ncl.ac.uk/concur-2012/

CONCUR 2012 is an official event of The Alan Turing Year
http://www.mathcomp.leeds.ac.uk/turing2012/

The purpose of the CONCUR conferences is to bring together researchers,
developers, and students in order to advance the theory of concurrency,
and promote its applications.

===================================
TOPICS

Submissions are solicited in semantics, logics, verification and
analysis of concurrent systems. The principal topics include (but
are not limited to):

- Basic models of concurrency such as abstract machines, domain
theoretic models, game theoretic models, process algebras,
graph transformation systems and Petri nets;

- Logics for concurrency such as modal logics, probabilistic and
stochastic logics, temporal logics, and resource logics;

- Models of specialized systems such as biology-inspired systems,
circuits, hybrid systems, mobile and collaborative systems,
multi-core processors, probabilistic systems, real-time systems,
service-oriented computing, and synchronous systems;

- Verification and analysis techniques for concurrent systems such as
abstract interpretation, atomicity checking, model checking, race
detection, pre-order and equivalence checking, run-time verification,
state-space exploration, static analysis, synthesis, testing, theorem
proving, and type systems;

- Related programming models such as distributed, component-based,
object-oriented, and web services.

===================================
CO-LOCATED EVENTS

- 21st International Workshop on Power And Timing Modeling, Optimization
and Simulation (PATMOS 2012)
4th to 6th September

- 7th International Symposium on Trustworthy Global Computing (TGC 2012)
7th and 8th September

- Expressiveness in Concurrency and Structural Operational Semantics
(EXPRESS/SOS 2012)
3rd September

- Games for Design, Verification and Synthesis (GASICS 2012)
3rd September

- Hybrid Systems and Biology (HSB 2012)
3rd September

- Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2012)
3rd September

- Foundations of Coordination Languages and Self-Adaptive Systems
(FOCLASA 2012)
8th September

- Membrane Computing and Biologically Inspired Process Calculi
(MeCBIC 2012)
8th September

- Trends in Concurrency Theory and IFIP WG 1.8 Meeting (TRENDS 2012)
8th September

===================================
PAPER SUBMISSION

CONCUR 2012 solicits high quality papers reporting research results
and/or experience reports related to the topics mentioned above. All
papers must be original, unpublished, and not submitted for publication
elsewhere. Contributions should be submitted electronically as PDF,
using the Springer LNCS style. Papers should not exceed 15 pages in
length.

Each paper will undergo a thorough review process. If necessary, the
paper may be supplemented with a clearly marked appendix, which will
be reviewed at the discretion of the programme committee.

Papers should be submitted electronically using EasyChair online
submission system:

https://www.easychair.org/conferences/?conf=concur12

The CONCUR 2012 proceedings will be published by Springer in the ArCoSS
subseries of LNCS. The proceedings will be available at the conference.

===================================
IMPORTANT DATES

Abstract Submission: 4th April 2012
Paper Submission: 11th April 2012
Paper Notification: 28th May 2012
Camera Ready Copy Due: 11th June 2012
CONCUR 2012: 4th to 7th September 2012

===================================
STEERING COMMITTEE

Roberto Amadio, France
Jos Baeten, The Netherlands
Eike Best, Germany
Kim Larsen, Denmark
Ugo Montanari, Italy
Scott Smolka, USA

===================================
PROGRAMME CHAIRS

Maciej Koutny, UK
Irek Ulidowski, UK

===================================
PROGRAMME COMMITTEE

Luca Aceto, Iceland
Luca de Alfaro, USA
Eike Best, Germany
Tomás Brázdil, Czech Republic
Franck van Breugel, Canada
Roberto Bruni, Italy
Luis Caires, Portugal
Luca Cardelli, UK
Gabriel Ciobanu, Romania
Pedro R. D’Argenio, Argentina
Philippe Darondeau, France
Rocco De Nicola, Italy
Wan Fokkink, The Netherlands
Paul Gastin, France
Rob van Glabbeek, Australia
Keijo Heljanko, Finland
Jane Hillston, UK
Jetty Klein, The Netherlands
Maciej Koutny, UK
Barbara König, Germany
Cosimo Laneve, Italy
Gavin Lowe, UK
Mohammadreza Mousavi, The Netherlands
Uwe Nestmann, Germany
Catuscia Palamidessi, France
Wojciech Penczek, Poland
Iain Phillips, UK
Shaz Qadeer, USA
Jean-Francois Raskin, Belgium
Philippe Schnoebelen, France
Irek Ulidowski, UK
Björn Victor, Sweden
Shoji Yuen, Japan

===================================
ORGANIZING COMMITTEE

Joan Atkinson
Dee Carr
Roy Crole
Maciej Koutny
Victor Khomenko
Claire Smith
Jason Steggles
Emilio Tuosto
Irek Ulidowski
===================================

Submission Deadline: March 5th, 2012

SCOPE:

FM 2012 is the eighteenth in a series of symposia organized by Formal
Methods Europe, an independent association whose aim is to stimulate
the use of, and research on, formal methods for software
development. The symposia have been notably successful in bringing
together innovators and practitioners in precise mathematical methods
for software and systems development, industrial users as well as
researchers. Submissions are welcomed in the form of original papers
on research and industrial experience, proposals for workshops and
tutorials, entries for the exhibition of software tools and projects,
and reports on ongoing doctoral work.

The FM 2012 Symposium will be based around the theme Interdisciplinary
Formal Methods

It will have the goal of highlighting the development and application
of formal methods in connection with a variety of disciplines such as
medicine, biology, human cognitive modelling, human automation
interactions and aeronautics, among others. FM 2012 particularly
welcomes papers on techniques, tools and experiences in
interdisciplinary frameworks, as well as on experience with practical
applications of formal methods in industrial and research settings,
experimental validation of tools and methods as well as construction
and evolution of formal methods tools.

The broad topics of interest for FM 2012 include but are not limited to:

Interdisciplinary formal methods: techniques, tools and
experiences demonstrating formal methods in interdisciplinary
frameworks; we encourage submissions involving formal methods
related to maintenance, human automation interaction, human in the
loop, system engineering, medicine and biology.

Formal methods in practice: industrial applications of formal
methods, experience with introducing formal methods in industry,
tool usage reports, experiments with challenge problems. Authors
are encouraged to explain how the use of formal methods has
overcome problems, lead to improvements in design or provided new
insights.

Tools for formal methods: advances in automated verification and
model-checking, integration of tools, environments for formal
methods, experimental validation of tools. Authors are encouraged
to demonstrate empirically that the new tool or environment
advances the state of the art.

Role of formal methods in software and systems engineering:
development processes with formal methods, usage guidelines for
formal methods, method integration. Authors are encouraged to
demonstrate that process innovations lead to qualitative or
quantitative improvements.

Theoretical foundations: all aspects of theory related to
specification, verification, refinement, and static and dynamic
analysis. Authors are encouraged to explain how their results
contribute to the solution of practical problems with methods or
tools.

Teaching formal methods: original contributions that provide
insight, evaluations and suggestions for courses of action
regarding the teaching of formal methods, including teaching
experiences, educational resources, the integration of formal
methods into the curriculum, the definition of a formal methods
body of knowledge, etc. Authors are encouraged to provide some
form of evaluation and assessment of the content and approach in
the teaching being reported.

PAPER SUBMISSION

Papers will be evaluated by at least three members of the Programme
Committee. They should be in Springer LNCS format and describe, in
English, original work that has not been published or submitted
elsewhere.

PDF versions of papers should be submitted through the FM 2012
EasyChair web site:

https://www.easychair.org/account/signin.cgi?conf=fm2012

We solicit two categories of papers:

Regular papers not exceeding 15 pages (including appendices),
describing fully developed work. Authors of papers reporting
experimental work are strongly encouraged to make their
experimental results available for use by reviewers. Similarly,
case study papers should describe significant case studies and the
complete development should be made available for use by
reviewers.

Tools papers of a maximum of 4 pages should describe an
operational tool and its contributions; 2 additional pages of
appendices are allowed that will not be included in the
proceedings. Tool papers should explain enhancements made compared
to previously published work. A tool paper need not present the
theory behind the tool but can focus more on its features, and how
it is used, with screen shots and examples. Authors of tools
papers should make their tool available for use by reviewers.

PUBLICATION

Accepted papers will be published in the Symposium Proceedings, to
appear in Springer’s Lectures Notes in Computer Science.

IMPORTANT DATES:

Submission: March 5th, 2012
Notification: May 7th, 2012
Camera ready: June 4th, 2012

GENERAL CHAIRS:

Kamel Barkaoui - Cedric, Cnam Paris
Beatrice Berard - LIP6, Universite Pierre et Marie Curie

PC CHAIRS:

Dimitra Giannakopoulou, NASA Ames Research Center, Moffett Field
Dominique Mery, LORIA et Universite Henri Poincare Nancy 1

PROGRAM COMMITTEE:

Yamine Ait Ameur, IRIT/ENSEEIHT France
Keijiro Araki, Kyushu University, Japan
Jos Baeten, CWI Amsterdam, The Netherlands
Howard Barringer, The University of Manchester, UK
Saddek Bensalem, Universite Joseph Fourier, France
Bruno Blanchet, LIENS, France
Ahmed Bouajjani, LIAFA, Universite Paris 7, France
Patricia Bouyer, LSV, CNRS & ENS Cachan, France
Victor Braberman, Universidad de Buenos Aires, Argentina
Michael Butler, University of Southampton, UK
Andrew Butterfield, Trinity College Dublin, Ireland
Ana Cavalcanti, University of York, UK
Krishnendu Chatterjee, Institute of Science and Technology , Austria
Marsha Chechik, University of Toronto, Canada
Yu-Fang Chen, Academia Sinica, Taiwan
Leonardo De Moura, Microsoft Research, USA
Dino Distefano, Queen Mary, University of London, UK
Matt Dwyer, University of Nebraska, USA
Bernd Finkbeiner, Saarland University, Germany
John Fitzgerald, Newcastle University, UK
(chair) Dimitra Giannakopoulou, NASA Ames, USA
Stefania Gnesi, ISTI-CNR, Italy
Patrice Godefroid, Microsoft Research, USA
Ganesh Gopalakrishnan, University of Utah, USA
Kim Guldstrand Larsen, Aalborg University, Denmark
Klaus Havelund, JPL, California Institute of Technology, USA
Ian J. Hayes, University of Queensland, Australia
Matthew Hennessy, Trinity College Dublin, Ireland
Jane Hillston, University of Edinburgh, UK
Bart Jacobs, ICIS, Radboud University Nijmegen, The Netherlands
Claude Jard, ENS Cachan Bretagne, France
Panagiotis Katsaros, Aristotle University of Thessaloniki, Greece
Sarfraz Khurshid, The University of Texas at Austin, USA
Daniel Kroening, Oxford University, UK
Marta Kwiatkowska, Oxford University, UK
Pascale Le Gall, Universite d’Evry, France
Rustan Leino, Microsoft Research, USA
Michael Leuschel, University of Dusseldorf, Germany
Zhiming Liu, United Nations University - IIST, Macao
Tom Maibaum, McMaster University, Canada
Rupak Majumdar, Max Planck, Germany
Annabelle Mciver, Macquarie University, Australia
(chair) Dominique Mery, Universite Henri Poincare Nancy 1 & LORIA, France
Cesar Munoz, NASA, USA
Fernando Orejas, UPC, Spain
Isabelle Perseil, Inserm, France
Andre Platzer, Carnegie Mellon University, USA
Shengchao Qin, Teesside University, UK
S Ramesh, General Motors R&D, India
Jean-Francois Raskin, ULB, Belgium
Neha Rungta, SGT/NASA Ames, USA
Augusto Sampaio, Federal University of Pernambuco, Brazil
Bernhard Schaetz, TU Munchen, Germany
Wolfram Schulte, Microsoft Research, USA
Kaisa Sere, Abo Akademi University, Finland
Bernhard Steffen, TU Dortmund, Germany
Kenji Taguchi, AIST, Japan
Francois Vernadat, LAAS-CNRS INSA, France
Willem Visser, Stellenbosch University, South Africa
Michael Whalen, University of Minnesota, USA

*******************************************************************************
This call for papers and additional information about the conference
can be found at http://fm2012.cnam.fr. For information regarding the
conference you can contact: fm2012@cnam.fr.
*******************************************************************************

FME sponsored also this second edition of the contest, and a special award was given to a team “for outstanding exploitation of formal methods in a project”.

The purpose of SCORE is to foster software engineering in university courses, unlike similar contest that instead adopt a narrower view focused on programming; hence, the contest has been designed to fit well in the context of software engineering project courses. An instructor or student team can choose from among several project proposals, each scoped appropriately for a team of undergraduate or M.S. students to complete in an academic term or semester. In addition to an opportunity to compete with other student teams from around the world, participants receive valuable feedback from leading software engineering researchers from academia and industry, who evaluate the overall project.

Details about the organization of the contest are available on the contest web page http://score-contest.org/2011.

Of the 55 submissions, 14 used, in some form or another, formal methods. Two projects using formal methods were among the five finalists invited to attend ICSE 2011. All teams did an excellent job and received special certificates testifying of their achievement.

The winners of this year’s “Formal Methods Cup” are Yi Li, Hang Yang and Huanan Wu, National University of Singapore. Congratulations!

Since 1997, ICFEM has provided a forum for those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible benefit.

FME is happy to support this event dedicated to the application of formal methods.

The 2012 Annual General Meeting of FME will be held February 16 at 14:00 on the premises of the British Computer Society in London.

After the meeting (at 18:00) there will be a seminar organised by BCS/FACS. See http://www.londoncentral.bcs.org/events/forthcoming-events.php.

The necessary documents for the AGM follow:

• Agenda-FME-AGM-2012
• FME Minutes of the 53rd-Meeting
• FME Board’s Activities Report 2011
• FME Financial Report 2011, Budget 2012
• FME Publication Activities Report
• FME Board’s Plans 2012

The workshop organisers are from Newcastle and Dusseldorf Universities (Jens Bendisposto, Cliff Jones, Michael Leuschel and Alexander Romanovsky). It is supported by the FP7 ICT DEPLOY integrated project on Industrial deployment of system engineering methods providing high dependability and productivity (http://www.deploy-project.eu/) and by Centre of Software Reliability at Newcastle University (CSR).

Prof Maibaum is is well known for his work on the theory of specification and its application in various contexts. At AVoCS 2011 he will give an invited talk entitled Positioning Verification in the Context of Software/System Certification.