List of workshops
- DEBT 2024: Call for Papers
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
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
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
9-13 September 2024, Technical University Darmstadt, Germany
https://dare-summer.github.io/
- CFP: NSAD 2024 (Deadline: July 7th, 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, 2024Web: https://2024.splashcon.org/home/nsad-2024
- SASSUR 2024 - Deadline extended
Deadline extension for the 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems
- Call for Participation: First PLDI Workshop on Red-Hot Topics in Faculty Mentoring (RTFM)
Call for Participation in the First PLDI Workshop on Red-Hot Topics in Faculty Mentoring (RTFM) (aka Read the Faculty Manual)
https://pldi24.sigplan.org/home/rtfm-2024
Tuesday, June 25, 2024
co-located with PLDI'24 in Copenhagen, Denmark- SASSUR 2024 - Deadline approaching
Call for papers for the 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems – SASSUR 2024