The 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012) was held on 18-20th September 2012 at the University of Bamberg, Germany. AVoCS is dedicated to subjects of automated verification, including model checking, theorem proving, abstract interpretation and refinement concepts, interpreted in a broad and inclusive manner. The workshop series contributes to the [...]
CALL FOR PARTICIPATION
FM 2012: 18TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
August 27-31, 2012
CNAM, Paris, France
http://fm2012.cnam.fr/
CONFERENCE 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 [...]
The board of FME recently decided that the 19th International Symposium on Formal Methods FM 2014 will be held in Singapore. The conference location will be the National University of Singapore (NUS). Jin Song Dong will serve as general co-chair.
More details can be found on the website of FM 2014.
This is the first time in [...]
FME will partially sponsor Kim G. Larsen, (Aalborg University, Denmark),
Boris Koepf, (IMDEA Software Institute, Madrid, Spain), and Jeremy
Bradley, (Imperial College London, U.K.) as keynote speakers at QAPL
2012, the Tenth International Workshop on Quantitative Aspects of
Programming Languages, March 31th - April 1st, 2012, Tallinn, Estonia.
(cf http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012).
Since 2001, QAPL has provided a forum for those interested in
quantitative aspects [...]
FormSERA 2012
Formal Methods in Software Engineering: Rigorous and Agile Approaches
Workshop on Saturday 2 June 2012, Zurich, Switzerland
http://www.formsera.org/
Held in conjunction with ICSE 2012 (http://www.icse2012.org/)
The FormSERA workshop addresses the use formal methods in software development
practice. Formal methods differ from many software engineering techniques in
that they demand [...]
=====================================
FIRST CALL FOR PAPERS - CONCUR 2012
=====================================
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 [...]
FME will sponsor Jifeng HE, East China Normal University, China as a keynote speaker at ICFEM 2011, the 13th International Conference on Formal Engineering Methods 26th-28th October 2011, Durham, United Kingdom.
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 [...]
Tom Maibaum, a Canada Research Chair in the Foundations of Software Engineering at McMaster University, will be an FME invited speaker at the coming 11th International Workshop on Automated Verification of Critical Systems (AVOCS). AVoCS 2011 will be organised in Newcastle upon Tyne (UK) on September 12-15, 2011 (for more information see http://conferences.ncl.ac.uk/AVoCS2011/).
The workshop organisers [...]
The Ershov Informatics Conference (the “Perspectives of System Informatics” conference series, the 8th edition) was held on June 27 – July 1, 2011, in Akademgorodok, Novosibirsk, Russia. The conference was dedicated to the 80th anniversary of a pioneer in theoretical and system programming research, academician Andrei Petrovich Ershov (1931-1988), and to the 100 anniversary of [...]
Back in August, the 3rd International Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2010) was hosted by Heriot-Watt in Edinburgh.
VSTTE is the flagship conference associated with the Verified Software Initiative (VSI) — a fifteen year international collaborative project directed at the scientific challenges of large-scale software verification. VSTTE 2010 clearly met the [...]
