DEFDESKR — PROGRAM

Days: Saturday, 18 July 2026

Saturday, 18 July 2026
09:15-10:00 Part 1 - Introduction: Definite Descriptions and Free Logic Semantics DefDesKR
Session Chair:
Andrzej Indrzejczak
Location: C2.05
10:00-11:00 Coffee Break DefDesKR
Location: C2.05
10:15-11:00 Part 2 - Definite Descriptions in Description Logics DefDesKR
Session Chair:
Przemysław Wałęga
Location: C2.05
11:15-12:00 Part 3 - Definite Descriptions in First-Order Modal and Temporal Logics DefDesKR
Session Chair:
Alessandro Artale
Location: C2.05
12:00-14:00 Lunch DefDesKR
Location: C2.05
12:00-12:30 Part 4 - Conclusion and Discussion DefDesKR
Session Chair:
Oliver Kutz
Location: C2.05
15:30-16:30 Coffee Break DefDesKR
Location: C2.05
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑