UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:       
Das Sommersemester 2022 findet in Präsenz statt. Weitere Informationen entnehmen Sie bitte den FAQ-Seiten der Universität.
 
 Darstellung
 
Druckansicht

 
 
 Extras
 
Ausgabe als iCal

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

Lehrveranstaltungen einzelner Einrichtungen

 
 
Telefon & E-Mail

Personen/Einrichtungen

Räume

 
 
Veranstaltungskalender >>

Workshop on (Computational) Metaphysics and Intensionality

Veranstalter: Prof. Dr. Christoph Benzmüller

Mittwoch, 1.6.2022: 14:00 - 18:00 Uhr; WE5/04.003

13: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

Kontakt: Benzmüller, Christoph
Lehrstuhl für AI Systems Engineering (KI-Systementwicklung)
Telefon 0951 863-2942, E-Mail: christoph.benzmueller@uni-bamberg.de

UnivIS ist ein Produkt der Config eG, Buckenhof