13th Automated Verification of Critical Systems (AVOCS) 2013 Workshop
http://www.avocs2013.org.uk
11-13th September, 2013
University of Surrey, UK
Submission (abstract for full paper): 31st May 2013
Submission (full papers): 7th June 2013
FME is sponsoring three students bursaries for the event.
CALL FOR PAPERs: FormaliSE 2013
FME Workshop on Formal Methods in Software Engineering
held in conjunction with ICSE 2013
Saturday 25 May 2013, San Francisco, USA
http://www.formalise.org/
Papers due: February 7, 2013
INTRODUCTION
The software industry has a long-standing and well-earned reputation for failing to deliver on its promises and it is clear that still nowadays, the success of software projects with the [...]
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 [...]
FormSERA (Formal Methods in Software Engineering: Rigorous and Agile Approaches) is a workshop that was organized under the umbrella of ICSE 2012 (International Conference on Software Engineering), the major yearly event in the field of software engineering. The workshop focussed on bridging the gap between the mainstream software engineering community and the formal methods community.
An invited lecture [...]
FME’s sponsoring budget for 2012 has been used up. The next funding is available in 2013.
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)
SCORE 2011 is the second iteration of a team-oriented software engineering contest that attracts student teams from around the world, culminating in a final round of competition and awards at the International Conference on Software Engineering (ICSE) held in Waikiki Honolulu, in May 2011.
FME sponsored also this second edition of the contest, and a special [...]
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 [...]
Jan Broenink:
Embedded Control Software Design with Formal Methods and Engineering Models
Joint seminar BCS-FACS with FME, September 13th 2010
The speaker presented ongoing work in the model driven design of embedded control software, entailing both dependability and safety. Such systems contain both continuous time (CT) and discrete event (DE) elements. During the seminar a [...]
