38th Annual ACM/SIGAPP Symposium on Applied Computing Software Verification and Testing Track Tallinn, Estonia March 27-31, 2023 SAC 2023 website: https://www.sigapp.org/sac/sac2023/ SAC-SVT 2023 website: http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023 ==== Important dates ==== Oct. 1, 2022 – Submission of regular papers and SRC research abstracts Nov. 19, 2022 – Notification Dec. 6, 2022 – Camera-ready version Dec. 6, 2022 […]
Category: conferences
In the Program Committee of VECoS
I am in the program committee of VECoS 2022. http://vecos-world.org/2022/ Please consider submitting.
In the program committee of NFM 2022
I am appointed to the program committee of NFM 2022, NASA Formal Methods 2022. https://nfm2022.caltech.edu/
In the Program Committee of NSV 2022
I am in the program committee of NSV 2022, the 15th International Workshop on Numerical Software Verification 2022, collocated with FLoC, August 11, 2022, Haifa, Israel. https://nsv22.github.io/ Please consider submitting.
Formal Methods in Outer Space
Formal Method in Outer Space, the essays dedicated to Klaus Havelund’s 65th birthday are available in a dedicated book at Springer website.
In the Programme Committee of FDL 2020
I have been invited to the Programme Committee of FDL 2020 which will be held in Kiel, Germany, on September 7-9, 2020. Please consider submitting.
In the program committee of IFIP-ICTSS 2020
I have been invited to the program committee of IFIP ICTSS 2020, the 32nd IFIP International Conference On Testing Software And Systems, 6-8 October, 2020, Napoli, Italy. IFIP – ICTSS is a well established conference where researchers, practitioners and educators gather together to present and discuss the most recent innovations, experiences and open challenges in […]
Tutorial @ RV 2019, Porto
Today, I have presented a tutorial on Runtime Enforcement of Timed Properties at RV 2019. This tutorial summarizes a line of work on the topic with colleagues and also introduces a taxonomy for runtime enforcement. The tutorial material (including slides, papers, and a virtual machine with TiPeX pre-installed) can be obtained here.
DATE 2020 – Topic E3 – Call for Papers
================================================================= DATE 2020 – Call for Papers 09 – 13 March 2020, Grenoble, France Topic E3 Model-Based Design, Verification and Security for Embedded Systems www.date-conference.com ================================================================== For more details and submission instructions, please visit the DATE 2020 Website at www.date-conference.com. == Overview of DATE 2020 The 23rd DATE conference and exhibition is the main European […]
Chairing DATE 2020 Topic E3
I’ve been invited to chair the DATE 2020 Topic E3. My co-chair will be Todd Austin, from University of Michigan. DATE is the Design, Automation and Test in Europe Conference. DATE 2020 will be held 09 – 13 March 2020 at ALPEXPO in Grenoble, France. More details to come.