[UAI] xSAP 1.2.1 has been released

2017-08-22 Thread Marco Bozzano
== Marco Bozzano, PhD, Researcher at FBK Via Sommarive 18, Povo, 38123 Trento (Italy) ph.: +39-0461-314367, mobile ph.: +39-328-8453534 bozz...@fbk.eu, http://es.fbk.eu/people/bozzano

[UAI] Call for participation: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment

2017-06-14 Thread Marco Bozzano
entional 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

[UAI] Deadline Extension: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment

2017-02-22 Thread Marco Bozzano
cture Notes in Computer Science. To be considered for the proceedings, at least one author of each accepted paper has to participate at the conference. Submission page: https://easychair.org/conferences/?conf=imbsa2017 COMMITTEES General Chairs Marco Bozzano (FBK, IT) Yiannis Papadopoulos (Universi

[UAI] Final CFP: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment

2017-02-15 Thread Marco Bozzano
t the conference. Submission page: https://easychair.org/conferences/?conf=imbsa2017 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 &

[UAI] 2nd CFP: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment

2017-01-18 Thread Marco Bozzano
://easychair.org/conferences/?conf=imbsa2017 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 (Universit

[UAI] 1st CFP: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment

2016-11-30 Thread Marco Bozzano
September. 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 Se

[UAI] xSAP 1.2.0 has been released

2016-09-21 Thread Marco Bozzano
== Marco Bozzano, PhD, Researcher at FBK Via Sommarive 18, Povo, 38123 Trento (Italy) ph.: +39-0461-314367, mobile ph.: +39-328-8453534 bozz...@fbk.eu, http://es.fbk.eu/people/bozzano

[UAI] xSAP 1.1.0 has been released

2016-04-01 Thread Marco Bozzano
The Embedded Systems Unit at Fondazione Bruno Kessler, Trento, Italy is happy to announce the availability of xSAP 1.1.0 This is a major release, containing new features, and a few bug fixes. The documentation has been updated to cover the new features. --