Formal Methods Europe

Homepage of FME

Archives for the ‘Sponsored by FME’ Category

Conference report PSI 2014 St. Petersburg

By evink • Sep 19th, 2014 • Category: Sponsored by FME

By Irina Virbitskaite (July 2014).
PSI 2014, the Ershov Informatics Conference, was held in St. Petersburg, Russia, from June 24 to 27, 2014. The conference is the premier international forum in Russia for research and its applications in computer, software and information sciences. The event brings together academic and industrial researchers, developers and users to present [...]



Upcoming: AVOCS 2014

By Bernhard Aichernig • Jun 24th, 2014 • Category: Sponsored by FME

The aim of Automated Verification of Critical Systems (AVoCS) 2014
(http://utwente.nl/avocs2014/) is to contribute to the interaction and
exchange of ideas among members of the international research
community on tools and techniques for the verification of critical
systems. It covers all aspects of automated verification, including
model checking, theorem proving, SAT/SMT constraint solving, abstract
interpretation, and refinement pertaining to various types [...]



COMPASS Summer School on Model-Based Systems of Systems Engineering

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

The COMPASS Summer School
(http://www.compass-research.eu/summerschool.html) takes place in
London, UK from September 17-18, 2014.
We welcome participation from PhD students and post-doctoral researchers
and systems engineers with a background in Systems of Systems, Systems
Engineering, Formal Specification, Component-Based Development,
Model-Based Systems Engineering or related disciplines.
The objective of the Summer School is to encourage the growth and
development of a community of researchers [...]



Call For Participation: FormaliSE 2014

By Bernhard Aichernig • Mar 31st, 2014 • Category: Sponsored by FME

FormaliSE 2014, Hyderabad, India, 3 June 2014
www.formalise.org

FormaliSE 2014 received a good number of high-quality submissions this year and
we are proud to announce an excellent programme. The FormaliSE workshop is
co-located with ICSE 2014 (http://2014.icse-conferences.org/). Please join us
at FormaliSE 2014!
Introduction
Formal methods for software developent are still not widely used in industry.
This may be due to the fact [...]



Call for Participation: COMPASS Summer School on Formal Modelling of Systems of Systems

By Bernhard Aichernig • Mar 8th, 2014 • Category: Sponsored by FME

The COMPASS Summer School
(http://www.compass-research.eu/summerschool.html) takes place in
Newcastle upon Tyne, UK from June 16-20, 2014.
We invite PhD students and post-doctoral researchers to participate in the
Summer School, which will focus on new developments in modelling and
analysis of Systems of Systems (SoSs).
The objective of the Summer School is to encourage the growth and
development of a community of researchers [...]



Report on ICTSS 2013

By Bernhard Aichernig • Feb 3rd, 2014 • Category: Sponsored by FME

The 25th IFIP International Conference on Testing Software and Systems ICTSS 2013 was held on November 13-15, 2013 in Istanbul, Turkey.
The ICTSS series of international conferences addresses the conceptual, theoretic, and practical problems of testing software systems and provides a forum for researchers and practitioners to discuss new approaches and developments in the field of [...]



Call for Papers: FormaliSE 2014

By Bernhard Aichernig • Dec 16th, 2013 • Category: Sponsored by FME

Call for Papers: FormaliSE 2014
2nd FME Workshop on Formal Methods in Software Engineering
held in conjunction with ICSE 2014 (May 31th–June 7th)
Hyderabad, India
http://www.formalise.org/
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 current technologies cannot [...]



Report on AVoCS 2013

By Bernhard Aichernig • Oct 22nd, 2013 • Category: Sponsored by FME

The 13th International Workshop on Automated Verification of Critical Systems (AVoCS 2013) was held on 11-13th September 2013 at the University of Surrey, Guildford, UK. AVoCS is dedicated to subjects of automated verification, including model checking, theorem proving and refinement concepts, interpreted in a broad and inclusive manner. The workshop series contributes [...]



Upcoming: ICTSS 2013

By Bernhard Aichernig • Oct 3rd, 2013 • Category: Sponsored by FME

The 25th IFIP International Conference on Testing Software and Systems ICTSS 2013 will be held on November 13-15, 2013 in Istanbul, Turkey.
The ICTSS series of international conferences addresses the conceptual, theoretic, and practical problems of testing software systems and provides a forum for researchers and practioners to discuss new approaches and developments in the field [...]



Report on FormaliSE 2013

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

FormaliSE, the FME Workshop on Formal Methods in Software Engineering, is a new event organized under the auspices of FME and ICSE, the International Conference on Software Engineering and the leading annual event in the field. The workshop aims to bridge the gap between the mainstream software engineering and the formal methods communities.
The first workshop was [...]