Meetings/Workshops on Automated Theorem Proving in Germany

Select a location

France (2) Germany (2) Israel (6) United States (3)

ALL COUNTRIES (13)

Germany

All listed conferences in Germany

CSL 2022 — Computer Science Logic

14 Feb 2022 - 19 Feb 2022 • Göttingen (Germany) & Virtual, Germany

Organizer:

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL).

Abstract:

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.

Event listing ID:

1448855

Related subject(s):

Mathematical Logic and Foundations, Information Theory, Foundations of Computer Science

Event website:

https://csl2022.uni-goettingen.de/

TACAS 2022 — 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

02 Apr 2022 - 07 Apr 2022 • Munich, Germany

Abstract:

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.

Abstract submission deadline:

14 Oct 2021

Event listing ID:

1449336

Related subject(s):

Software Engineering

Event website:

https://etaps.org/2022/tacas

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!