Home / Conference Listings / Informatics / Information Theory, Foundations of Computer Science in Germany

Meetings/Workshops on Information Theory, Foundations of Computer Science in Germany

Select a location
Canada (1)  France (2)  Germany (4)  India (2)  Israel (7)  Japan (2)  Mexico (1)  Spain (1)  United States (1)
Germany
1
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,    Automated Theorem Proving
Event website:
https://csl2022.uni-goettingen.de/
2
Data Assimilation – Mathematical Foundation and Applications
20 Feb 2022 - 26 Feb 2022 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1395907
Related subject(s):
Courses and Events for Math Students and Early Career Researchers
Event website:
https://www.mfo.de/www/schedule/2022/all
3
New Mathematical Techniques in Information Theory
13 Mar 2022 - 19 Mar 2022 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1395892
Related subject(s):
Courses and Events for Math Students and Early Career Researchers,    Events for IT Students and Early Career Researchers
Event website:
https://www.mfo.de/www/schedule/2022/all
4
ETAPS 2022 — 25th European Joint Conferences on Theory and Practice of Software
02 Apr 2022 - 07 Apr 2022 • Munich – hybrid, Germany
Organizer:
ETAPS is supported by the ETAPS Association, hosted by Technische Universität München
Abstract:
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS and TACAS, accompanied by satellite workshops.
Abstract submission deadline:
14 Oct 2022
Event listing ID:
1448839
Related subject(s):
Software Engineering
Event website:
https://etaps.org/2022


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: 14 October 2021