List of workshops


SPLV 2024 --- Call for Participation (first call)
by jfdm, May 22, 2024

We are pleased to announce that registration for the Scottish Programming Languages and Verification Summer School 2024 is now open!

Please see the call for more details.

CALL FOR PAPERS EXPRESS/SOS@CONFEST2024
by Cinzia DI GIUSTO, May 21, 2024

Combined
31st International Workshop on Expressiveness in Concurrency
and 21st Workshop on Structural Operational Semantics
(EXPRESS/SOS 2024)

https://express-sos.github.io/

DEBT 2024: Call for Papers
by Elisa Gonzalez Boix, May 20, 2024

DEBT 2024, Workshop co-located with ECOOP/ISSTA 2024, Vienna, Austria
Second Workshop on Future Debugging Techniques
(https://conf.researchr.org/home/issta-ecoop-2024/debt-2024)

VORTEX 2024: Call for Papers
by Davide Ancona, May 20, 2024

VORTEX 2024, Workshop co-located with ECOOP/ISSTA 2024, Vienna, Austria
International Workshop on Verification and Monitoring at Runtime Execution
(https://2024.ecoop.org/home/vortex-2024)

Important Dates
---------------
* Submission deadline: June 24, 2024 AoE
* Author notification: July 24, 2024
* Early registration deadline: July 31, 2024
* VORTEX workshop: September 19, 2024
* ECOOP/ISSTA conference: September 16-20, 2024

Call for Papers: Modelling in Automotive Systems and Software Workshop
by Joanne Atlee, May 13, 2024

Call for papers for workshop on Modelling in Automotive Systems and Software, to be co-located with MODELS'24 in Linz Austria, Sept 22 or 23, 2024.

DARE 2024: 2nd Summer School on Distributed and Replicated Environments
by Elisa Gonzalez Boix, May 6, 2024

9-13 September 2024, Technical University Darmstadt, Germany

https://dare-summer.github.io/

CFP: NSAD 2024 (Deadline: July 7th, 2024)
by Vincenzo Arceri, May 6, 2024

Call For Papers:
10th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2024)
Co-located with SAS 2024 as part of SPLASH 2024
Pasadena, USA
October 22, 2024

Web: https://2024.splashcon.org/home/nsad-2024

SASSUR 2024 - Deadline extended
by jldelavara, May 3, 2024

Deadline extension for the 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems

« previous123...1819next »