Meetings/Workshops on Software Engineering in Denmark

Select a location
1
POPL — ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
17 Jan 2021 - 22 Jan 2021 • Copenhagen, Denmark
Abstract:
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.
Event listing ID:
1349693
2
VMCAI 2021 — 22nd International Conference on Verification, Model Checking, and Abstract Interpretation
17 Jan 2021 - 22 Jan 2021 • Copenhagen, Denmark
Abstract:
VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2021 will be the 2nd edition in the series. VMCAI will take place during January 17-19, 2021. The conference will be held as a physical, virtual, or hybrid physical/virtual meeting depending on the COVID-19 situation.
Event listing ID:
1367081


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

Last updated: 16 July 2020