Konferenzen zum Thema Softwareentwicklung in Dänemark

Wählen Sie ein Land aus
1
POPL — ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
17. Jan 2021 - 22. Jan 2021 • Copenhagen, Dänemark
Zusammenfassung:
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.
Eintrags-ID:
1349693
2
VMCAI 2021 — 22nd International Conference on Verification, Model Checking, and Abstract Interpretation
17. Jan 2021 - 22. Jan 2021 • Copenhagen, Dänemark
Zusammenfassung:
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.
Eintrags-ID:
1367136


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Stand vom 16. Juli 2020