Demo Price List References Contact us about COMS Features
Submit an event to the calendar Search the calendar Advertise Contact us about the calendar Browse the calendar
EN DE FR
About/GTC
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
Argentina (1)  Australia (1)  Belgium (1)  Canada (2)  China (2)  Czech Republic (1)  France (7)  Germany (5)  Greece (1)  Italy (2)  Luxembourg (1)  Mexico (1)  Netherlands (3)  Russia (3)  Singapore (1)  United Kingdom (2)  United States (1)  Vietnam (1)
1
Computability Theory
25 Apr 2021 - 01 May 2021 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1312942
Related subject(s):
Courses and Events for Math Students and Early Career Researchers,    Mathematical Logic and Foundations
Event website:
https://www.mfo.de/www/schedule/2021/all
2
DEON 2020/21 — 15th International Conference on Deontic Logic and Normative Systems
21 Jul 2021 - 24 Jul 2021 • Munich, Germany
Abstract:
The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to the general theme of the DEON conferences, DEON 2020/21 will encourage a special focus on the topic: Norms in Social Perspective.
Event listing ID:
1395265
Related subject(s):
Communication studies,    Linguistics
Event website:
https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/deon-2021/index.html
3
Autumn school "Proof and Computation"
20 Sep 2021 - 26 Sep 2021 • Fischbachau, Germany
Abstract:
An international autumn school "Proof and Computation" will be held from 20th to 26th September 2020 at Aurachhof in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.
Topics:
Predicative Foundations Constructive Mathematics and Type Theory Computation in Higher Types Extraction of Programs from Proofs
Event listing ID:
1395466
Related subject(s):
Courses and Events for Math Students and Early Career Researchers,    Mathematical Logic and Foundations
Event website:
http://www.mathematik.uni-muenchen.de/~schwicht/pc20.php
4
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
5
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:
1395870
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


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: 20 December 2020