[Apologies if you receive multiple copies]
=================================================================
IMBSA 2017 - Call for participation
International Symposium on Model-Based Safety and Assessment
Trento, Italy, 11-13 September 2017
http://imbsa2017.fbk.eu
=================================================================
CO-LOCATED EVENTS
- SEFM (International Conference on Software Engineering and Formal
Methods): 4-8 September 2017
- SAFECOMP (International Conference on Computer Safety, Reliability
and Security): 12-15 September 2017
A joint session IMBSA/SAFECOMP will be held on September 13.
REGISTRATION
Early registration is available until July 2 (11.30 pm, Italian time).
Late registration is available until August 30 (11.30 pm, Italian time).
On-site registration is available on September 11-13.
Special fees are available for joint participation in IMBSA 2017 and
SAFECOMP 2017.
Full details at imbsa2017.fbk.eu/registration.
ACCEPTED PAPERS, PRELIMINARY PROGRAM
See http://imbsa2017.fbk.eu/accepted-papers and
http://imbsa2017.fbk.eu/program
KEYNOTE SPEAKERS
Marcel Verhoef (European Space Agency, NL)
"From Documents to Models: Towards Digital Continuity"
(speaker to be announced)
"MBSA in the Aeronautic Safety Standard ARP4761"
ABOUT IMBSA
The 5th International Symposium on Model Based Safety and Assessment
(IMBSA 2017) will be held in Trento, Italy. IMBSA is the key event in
the field of MBSA bringing together the latest developments in
model-based engineering, formal techniques, probabilistic analyses and
cutting edge optimisation to address hard problems in the design of
safe complex systems including software intensive and open
cyber-physical systems. The symposium provides a dedicated forum,
where state-of-the-art research, leading edge technology and
industrial experiences are brought together. The objectives are to
present experiences and tools, to share ideas, and to consolidate and
grow the community.
THE IMBSA APPROACH
IMBSA is looking back at a rich tradition of successfully combining
research with a high number of industrial contributions. It shows that
bridging the gap between basic research and industrial practice can be
done effectively through interactive presentation of tools and
methods. To take this into account, the conference will feature:
- A scientific part, where newest findings are presented by renown
scientists
- A poster/demo session, in which consolidated research achievements
are interactively demonstrated
- Presentation of experiences and hot challenges in industrial
practice of safety critical systems
This way, participants from the industry learn about new tools and
techniques, while research groups and spin-off companies can present
their achievements to an interested audience. Also industrial
contributors and young spin-offs can convince future customers of
their tools in this mixed environment. We believe, that this mixture
of conventional talks about newest achievements, presentation of
practical experiences and interactive learning allows for fruitful
discussions, exchange of information as well as future cooperation.
COMMITTEES
General Chairs
Marco Bozzano (FBK, IT)
Yiannis Papadopoulos (University of Hull, GB)
PC-Chairs
Marco Bozzano (FBK, IT)
Antoine Rauzy (Norwegian University of Science and Technology, NO)
Tools & Tutorials Chairs
Leila Kloul (Universite de Versailles, FR)
Christel Seguin (ONERA, FR)
Industrial Chairs
Jean-Paul Blanquart (Airbus Defence and Space, FR)
Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE)
Organizing Committee
Annalisa Armani (FBK, IT)
Marco Bozzano (FBK, IT)
Francesca Guerzoni (FBK, IT)
Silvia Malesardi (FBK, IT)
Program Committee
Jean-Paul Blanquart (Airbus Defence and Space, FR)
Marc Bouissou (EDF, FR)
Marco Bozzano (FBK, IT)
Jean-Charles Chaudemar (ISAE, FR)
Regis de Ferluc (Thales Alenia Space, FR)
Jana Dittmann (Otto-von-Guericke University of Magdeburg, DE)
Marielle Doche-Petit (Systerel, FR)
Peter Feiler (CMU, US)
Francesco Flammini (University of Naples, IT)
Lars Fucke (Boeing, ES)
Lars Grunske (Humboldt University Berlin, DE)
Matthias Guedemann (Diffblue, UK)
Brendan Hall (Honeywell, US)
Kai Hoefig (Siemens, DE)
Michaela Huhn (Ostfalia, DE)
Tim Kelly (University of York, UK)
Leila Kloul (Universite de Versailles, FR)
Agnes Lanusse (CEA LIST, FR)
Timo Latvala (Space Systems Finland, FI)
Till Mossakowski (Otto-von-Guericke University of Magdeburg, DE)
Juergen Mottok (University of Regensburg, DE)
Thomas Noll (RWTH Aachen University, DE)
Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE)
Yiannis Papadopoulos (University of Hull, UK)
Antoine Rauzy (Norwegian University of Science and Technology, NO)
Wolfgang Reif (Augsburg University, DE)
Jean-Marc Roussel (LURPA, ENS Cachan, FR)
Christel Seguin (ONERA, FR)
Pascal Traverse (AIRBUS, FR)
Elena A. Troubitsyna (Abo Akademi, FI)
Marcel Verhoef (European Space Agency, NL)
Marc Zeller (Siemens, DE)
Steering Committee
Marco Bozzano (FBK, IT)
Leila Kloul (Universite de Versailles, FR)
Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE)
Yiannis Papadopoulos (University of Hull, UK)
Antoine Rauzy (Norwegian University of Science and Technology, NO)
Christel Seguin (ONERA, FR)
_______________________________________________
uai mailing list
uai@ENGR.ORST.EDU
https://secure.engr.oregonstate.edu/mailman/listinfo/uai
