Formal Methods Europe

Homepage of FME

Archives for the ‘Sponsored by FME’ Category

AVOCS 2013: call for participation

By Bernhard Aichernig • Aug 5th, 2013 • Category: Sponsored by FME

AVOCS 2013 (http://www.avocs2013.org.uk) will be held at Surrey on 11-13 September 2013. We have accepted 14 regular papers and 2 short papers. The main ethos of the workshop is to facilitate discussion of the research. The number of submissions received this year were the highest number seen by the workshop to date. [...]



AI4FM workshop

By Bernhard Aichernig • Jun 20th, 2013 • Category: Sponsored by FME

The AI4FM workshop brings together researchers from formal methods and AI; it addresses the issues of how AI can be used to support the formal software development process, including modelling and proof, and includes a mix of industrial and academic participants and we anticipate attracting a similarly diverse audience.
The AI4FM 2013, is being held in Rennes on July 22nd [...]



AVOCS 2013

By Bernhard Aichernig • Apr 10th, 2013 • Category: Sponsored by FME

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

By Bernhard Aichernig • Dec 10th, 2012 • Category: Sponsored by FME

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 [...]



Report on AVoCS 2012

By Bernhard Aichernig • Oct 19th, 2012 • Category: News, Sponsored by FME

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 Workshop at ICSE 2012

By Bernhard Aichernig • Jul 31st, 2012 • Category: Sponsored by FME

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 [...]



Upcoming: QAPL 2012

By Bernhard Aichernig • Feb 15th, 2012 • Category: Sponsored by FME

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 [...]



Report on the SCORE 2011 Contest

By Bernhard Aichernig • Jul 26th, 2011 • Category: Sponsored by FME

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 [...]



Upcoming: ICFEM 2011

By Bernhard Aichernig • Jul 26th, 2011 • Category: News, Sponsored by FME

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 [...]



AVoCS 2011

By Bernhard Aichernig • Jul 26th, 2011 • Category: News, Sponsored by FME

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 [...]