Konferenzen zum Thema Computer-gestütztes Beweisen in Deutschland

Wählen Sie ein Land aus
1
CSL 2022 — Computer Science Logic
14. Feb 2022 - 19. Feb 2022 • Göttingen (Germany) & Virtual, Deutschland
Veranstalter:
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL).
Zusammenfassung:
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL'22 will be held online on February 14 - 19, 2022. The event is hosted by the University of Göttingen.
Eintrags-ID:
1448833
2
TACAS 2022 — 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
02. Apr 2022 - 07. Apr 2022 • München, Deutschland
Zusammenfassung:
TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems. Theoretical papers with clear relevance for tool construction and analysis as well as tool descriptions and case studies with a conceptual message are all encouraged.
Einsendeschluss für Abstracts:
14. Okt 2021
Eintrags-ID:
1449314
Verwandte Fachgebiete:


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 15. Oktober 2021