Konferenzen zum Thema Informationstheorie und Grundlagen der Informatik in Deutschland

Wählen Sie ein Land aus
1
DEON 2020/21 — 15th International Conference on Deontic Logic and Normative Systems
21. Jul 2021 - 24. Jul 2021 • München, Deutschland
Zusammenfassung:
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.
Eintrags-ID:
1395298
Verwandte Fachgebiete:
2
Autumn school "Proof and Computation"
20. Sep 2021 - 26. Sep 2021 • Fischbachau, Deutschland
Zusammenfassung:
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.
Themen:
Predicative Foundations Constructive Mathematics and Type Theory Computation in Higher Types Extraction of Programs from Proofs
Eintrags-ID:
1395488
3
Data Assimilation – Mathematical Foundation and Applications
20. Feb 2022 - 26. Feb 2022 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1395929
4
New Mathematical Techniques in Information Theory
13. Mär 2022 - 19. Mär 2022 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1395892


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 20. Dezember 2020