Conferences  >  Didactics, History and Philosophy of Science and Technology  >  Academic Philosophy  >  Germany

Select a location
1
Declarative AI 2022 — 6th International Joint Conference on Rules and Reasoning
26 Sep 2022 - 30 Sep 2022 • Berlin, Germany
Abstract:
Declarative AI 2022 brings together the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), DecisionCAMP 2022, and the 18th Reasoning Web Summer School (RW 2022). It will take place at Berlin during 26 Sept - 30 Sept, 2022. With its general topic "Declarative AI", the event aims at presenting the latest advancements in AI and rules, reasoning, decisions, and explanations and their adoption in IT systems towards improving key fields such as environment, health and societies.
Topics:
Rules, Reasoning, Decisions, and Explanations
Event listing ID:
1489234
2
Autumn school "Proof and Computation"
26 Sep 2022 - 01 Oct 2022 • Fischbachau near Munich, Germany
Abstract:
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.
Topics:
Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs.
Event listing ID:
1489244
3
FATIL2022 — The First International Conference on Foundations, Applications, and Theory of Inductive Logic
12 Oct 2022 - 14 Oct 2022 • Munich, Germany
Abstract:
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.
Event listing ID:
1489287


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!

No tracking | No pop-ups | No animations
Last updated: 28 May 2022