List of workshops
- 6th Asynchronous Programming Models Workshop (APM'24)
The APM Workshop is a venue for the discussion of asynchronous programming patterns, languages and models, ranging from theoretical results, over applications and implementations to opinion and overview contributions. To create a welcoming atmosphere for the community, there are no proceedings – instead we welcome presentations on published, on-going or envisioned work.
You can find more information under:
https://edkamb.github.io/APM_24If you are interested in giving a presentation on published, novel, or on-going work please submit an abstract (<300 words) below, until 31.07.2024.
https://forms.gle/MneE1fXxxybcvfHd8- SASSUR 2024 - Deadline extended
Deadline extension for the 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems
- SASSUR 2024 - Deadline approaching
Call for papers for the 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems – SASSUR 2024
- PLMW@PLDI 2024: Call for Scholarship Applications
The application for attending the Programming Language Mentoring Workshop (PLMW) @PLDI 2024 is open. The deadline is March 25th AOE for full consideration but we'll continue on a rolling basis after that as long as we have funding.
- SASSUR 2024 - Call for papers
Call for papers for the 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems
- MARS 2024 - Call for papers (deadline extension January 25) - Luxembourg City (Luxembourg)
Submission deadline extended to January 25, 2024.
Models for Formal Analysis of Real Systems (MARS 2024) @ETAPS 2024
April 6th, 2024, Luxembourg City, Luxembourg
http://mars-workshop.org/mars2024/The MARS workshops bring together researchers from different communities who are developing formal models of real systems in areas where complex models occur, such as networks, cyber-physical systems, hardware/software codesign, biology, etc.
The MARS workshops invite papers that present formal models of real systems, which may lay the basis for future analysis and comparison.IMPORTANT DATES (AoE)
* Submission: Thursday, 25 January 2024 (extended)
* Notification: Wednesday, 28 February 2024 (extended)
* Final version: Monday, 11 March 2024
* Workshop: Saturday, 6 April, 2024- MARS 2024 - 2nd Call for Papers - Luxembourg City (Luxembourg) - April 6th, 2024
Models for Formal Analysis of Real Systems (MARS 2024) @ETAPS 2024
April 6th, 2024, Luxembourg City, Luxembourg
http://mars-workshop.org/mars2024/The MARS workshops bring together researchers from different communities who are developing formal models of real systems in areas where complex models occur, such as networks, cyber-physical systems, hardware/software codesign, biology, etc.
The MARS workshops invite papers that present formal models of real systems, which may lay the basis for future analysis and comparison.IMPORTANT DATES (AoE)
* Submission: Monday, 15 January 2024
* Notification: Saturday, 24 February 2024
* Final version: Monday, 11 March 2024
* Workshop: Saturday, 6 April, 2024- MARS 2024 - Call for Papers
Models for Formal Analysis of Real Systems (MARS 2024) @ETAPS 2024
April 6th, 2024, Luxembourg City, Luxembourg
http://mars-workshop.org/mars2024/The MARS workshops bring together researchers from different communities who are developing formal models of real systems in areas where complex models occur, such as networks, cyber-physical systems, hardware/software codesign, biology, etc.
The MARS workshops invite papers that present formal models of real systems, which may lay the basis for future analysis and comparison.IMPORTANT DATES (AoE)
* Submission: Monday, 15 January 2024
* Notification: Saturday, 24 February 2024
* Final version: Monday, 11 March 2024
* Workshop: Saturday, 6 April, 2024
