List of workshops
- [CfP] Workshop on Virtual Machines and Language Implementations (VMIL’24)
The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies.
The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues.
- 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