Veranstalter: Prof. Dr. Christoph Benzmüller Mittwoch, 1.6.2022: 14:00 - 18:00 Uhr; WE5/04.00313:45 — 14:00: Christoph Benzmüller (Professor for AI Systems Engineering, University of Bamberg & FU Berlin) : Welcome - Brief Introduction to the AISE Research Group at the University of Bamberg
14:00 — 15:00: Edward N. Zalta (Senior Research Scholar, Philosophy Department, Stanford University) : Resolving Ambiguities in the Data: How to Connect Logic and Deep Learning Methodologies
15:00 — 15:30: Daniel Kirchner (Doctoral Candidate in Mathematics, FU Berlin & Ethereum Foundation): Applying computational methods to a foundational metaphysical theory.
Coffee Break
16:00 — 17:00: Peter Fritz (Professor for Philosophy, Australian Catholic University, Melbourne, Australia): Higher-Order Logic and the Individuation of Propositions
17:00 — 17:30: Luke Burke (Postdoctoral Researcher in Theoretical Computer Science, University of Bamberg): Dynamic approaches to Logical Omniscience and natural language semantics
17:30 — 18:00: David Fuenmayor (Doctoral Candidate in Computer Science, FU Berlin & University of Luxemburg & University of Bamberg): On using mathematical proof assistants for logico-philosophical investigations
Der Termin wird im Veranstaltungskalender angezeigt. |