List of workshops
- [VORTEX 2024] extended submission deadline: July 8
VORTEX 2024, Workshop co-located with ECOOP/ISSTA 2024, Vienna, Austria
International Workshop on Verification and Monitoring at Runtime Execution- 35th Nordic Workshop on Programming Theory (NWPT)
NWPT is a series of annual regional-scope workshops on programming theory, targeted especially at younger researchers. In 2024, the workshop will take place in Copenhagen, Denmark. We hope this will be a nice opportunity to present recent results and/or work-in-progress, and to meet colleagues from the Nordic and Baltic countries. We encourage PhD students and postdocs to contribute.
- ICLP & LPNMR DC 2024
The ICLP & LPNMR Doctoral Consortium (DC) will take place during the 40th International Conference on Logic Programming (ICLP 2024) and the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) in Dallas, Texas, US, on October 13, 2024. The DC will provide students and early career researchers with the opportunity to present and discuss their research directions, obtain feedback from both peers and experts in the field, and participate in mentoring sessions on how to prepare for a research career.
- [DATALOG 2.0 2024] Call For Papers
Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in different aspects of Datalog to share research experiences, promote collaboration and identify directions for joint future research.
- [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- VORTEX 2024: 2nd Call for Papers
VORTEX 2024, Workshop co-located with ECOOP/ISSTA 2024, Vienna, Austria
International Workshop on Verification and Monitoring at Runtime Execution- CALL FOR PAPERS EXPRESS/SOS@CONFEST2024
Combined
31st International Workshop on Expressiveness in Concurrency
and 21st Workshop on Structural Operational Semantics
(EXPRESS/SOS 2024)https://express-sos.github.io/