UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 

Lehrveranstaltungsplan

Mo Di Mi Do Fr Sa
08:00
09:00
AISE-PLM: Computational Metaphysics - Mechaninzing Principia Logico-Metaphysica
(nur 2.6.)
(Benzmüller)
U5/03.27
AISE-Sem-B: AI and the Ethics of the Smart City
(nur 26.5., 2.6., 16.6., 23.6., 30.6.)
(Vestrucci)
WE5/02.020
AISE-Sem-B: AI and the Ethics of the Smart City
(nur 7.7., 14.7., 21.7.)
(Vestrucci)
WE5/04.003
AISE-Sem-B: Isabelle for the working logician
(nur 21.4.)
(Fuenmayor)
AISE-PLM: Computational Metaphysics - Mechaninzing Principia Logico-Metaphysica
(nur 3.6.)
(Benzmüller)
U5/03.27
AISE-Sem-B: Isabelle for the working logician
(nur 22.4.)
(Fuenmayor)
10:00
AISE-Auto: Automation of First- and Higher-Order Logic
(Benzmüller)
WE5/02.020
AISE-Sem-B: Isabelle for the working logician
(nur 20.4.)
(Fuenmayor)
AISE-PLM: Computational Metaphysics - Mechaninzing Principia Logico-Metaphysica
(nur 1.6.)
(Benzmüller)
U5/03.27
AISE-Auto: Automation of First- and Higher-Order Logic (Gruppe1)
(Fuenmayor)
WE5/05.003
AISE-Auto: Automation of First- and Higher-Order Logic (Gruppe 2)
(N.N.)
WE5/01.003
11:00
12:00
AISE-ETH: Ethics and Epistemology of AI
(Benzmüller)
WE5/01.003
AISE-ETH: Ethics and Epistemology of AI
(nur 19.4.)
(Benzmüller)
Online-Meeting
13:00
14:00
AISE-ETH: Ethics and Epistemology of AI Gruppe 2
(Martin Peña)
WE5/02.005
AISE-ETH: Ethics and Epistemology of AI Gruppe 1
(ab 10.5.)
(Benzmüller)
WE5/04.003
15:00
16:00
17:00
AISE-Sem-M: Masterseminar zu KI-Systementwicklung
(Benzmüller)
WE5/05.003
18:00
UnivIS ist ein Produkt der Config eG, Buckenhof