sponding journal article. Journal versions
of full papers require at least 30% new material compared to the
version originally accepted. All journal submissions will be
thoroughly peer-reviewed according to the standards of the
journal.
-- WORKSHOP CO-CHAIRS --
* Erika Abraham (RWTH Aachen Unive
corresponding journal article. Journal versions
of full papers require at least 30% new material compared to the
version originally accepted. All journal submissions will be
thoroughly peer-reviewed according to the standards of the
journal.
-- WORKSHOP CO-CHAIRS --
* Erika Abraham (RWTH Aachen Unive
rsity of Reykjavik and will take
place at the university campus in Reykjavik, the capital of Iceland.
=== Committees ===
General Chair:
Marjan Sirjani (University of Reykjavik, Iceland)
Program Chairs:
Erika Abraham (RWTH Aachen University, Germany)
Marieke Huisman (University of Twente
for and on the Cloud (iFMCloud'16)
https://ifmcloud2016.nntb.no/
Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS)
http://www.cs.ox.ac.uk/conferences/VVCPS16/
PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and
Applications (PhD-iFM 2016)
http://en.ru
a current advisor.
Application deadline is June 01, 2017.
Notifications on acceptance/rejection will be given by June 15, 2017.
==
Organisers
======
Erika Abraham (RWTH Aachen University, Germany)
Thomas Sturm (CNRS, France and MPI Informatics, Germany)
speakers ===
Gabriele Abermann (Salzburg University of Applied Sciences,
Austria)
Reyyan Ayfer (Bilkent University in Ankara, Turkey)
Anna Nilsson-Ehle (Chalmers University of Technology, Sweden)
Philip B. Stark (Berkeley Institute for Data Science, USA)
=== Committees ===
Program Chairs:
Erika
included in the ACM digital library. No-show
of registered papers and posters will result in excluding them from the
ACM digital library.
Detailed submission instructions are available on the SAC 2022
website.
Track Chairs
Erika Abraham, RWTH Aachen University, Germany
Pascale Le Gall
://logimics.mics.centralesupelec.fr/en/SAC-SVT-2022__;!!IBzWLUs!GKbZcjePW9FPPLkUU6Ji5uDfrHHX4o6qKbLpBAuK5LCfXWP4w3ZITSO5_lTBRDATDck39EJTfLJaZQ$
Track Chairs
Erika Abraham, RWTH Aachen University, Germany
Pascale Le Gall, CentraleSupélec, Université Paris-Saclay, France
