List of workshops


QUAMES 2024: Call for Workshop Papers
by Clara Ayora, July 9, 2024

QUAMES aims to attract research on methods, procedures, techniques, and tools for measuring and evaluating the quality of conceptual models that can be used in any phase of the software development
cycle. Its primary goal is to enable the development of high-quality software systems by promoting quality assurance from a modeling-based perspective. Furthermore, considering the growing use of AI to streamline software development or as an essential element within software products, we advocate that it is important to conceptualize the models used for the training and operation of these systems and evaluate their quality. Thus, this year QUAMES is also aimed to discuss about the challenges, benefits, and lessons of using conceptual modeling and AI approaches looking for how their synergy can impact the quality of the systems.

****** Important Dates ******
Abstract Submission (Optional) July 5th, 2024
Paper Submission deadline July 27th, 2024
Paper Notification August 11th, 2024
Camera-Ready Version September 9th, 2024
QUAMES take place on October 28th-31st, 2024

[VORTEX 2024] extended submission deadline: July 8
by Davide Ancona, June 24, 2024

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)
by Michael Kirkedal Thomsen, June 24, 2024

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
by Giuseppe Mazzotta, June 24, 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
by Giuseppe Mazzotta, June 22, 2024

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)
by smarr, June 20, 2024

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)
by Eduard Kamburjan, June 14, 2024

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_24

If 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
by Davide Ancona, June 6, 2024

VORTEX 2024, Workshop co-located with ECOOP/ISSTA 2024, Vienna, Austria
International Workshop on Verification and Monitoring at Runtime Execution

« previous123...1819next »