Konferenzen zum Thema Informationstheorie und Grundlagen der Informatik in Deutschland

Wählen Sie ein Land aus
1
ESA 2022 — 30th European Symposium on Algorithms
05. Sep 2022 - 09. Sep 2022 • Potsdam, Deutschland
Zusammenfassung:
The European Symposium on Algorithms (ESA) is one of the premier conferences on algorithms. It is organized in collaboration with the European Association for Theoretical Computer Science (EATCS) and is a part of ALGO 2022.
Einsendeschluss für Abstracts:
21. Apr 2022
Eintrags-ID:
1481599
2
Autumn school "Proof and Computation"
26. Sep 2022 - 01. Okt 2022 • Fischbachau near Munich, Deutschland
Zusammenfassung:
An international autumn school "Proof and Computation" will be held from 26th September to 1st October 2022 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, and Extraction of Programs from Proofs.
Eintrags-ID:
1489222
3
FATIL2022 — The First International Conference on Foundations, Applications, and Theory of Inductive Logic
12. Okt 2022 - 14. Okt 2022 • München, Deutschland
Zusammenfassung:
Inductive reasoning is one of the most important reasoning techniques for humans and formalises the intuitive notion of "reasoning from experience". It has thus influenced both theoretical work on the formalisation of rational models of thought in Philosophy as well as practical applications in the areas of Artificial Intelligence and, in particular, Machine Learning. The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022) aims at bringing together experts from all fields concerned with inductive reasoning.
Eintrags-ID:
1489232


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.

Kein Tracking | Keine Pop-ups | Keine Animationen
Stand vom 28. Mai 2022