ICTAC2023: 20TH INTERNATIONAL COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING
PROGRAM FOR TUESDAY, DECEMBER 5TH
Days:
previous day
next day
all days

View: session overviewtalk overview

08:00-09:00 Registration
09:00-10:30 Session 5: Tutorial 3: Einar Broch Johnsen. Semantically Lifted Digital Twin
Chair:
Ina Schaefer
Location: A706
10:30-11:00 Coffee Break
11:00-12:30 Session 6: Tutorial 4: Maurice H. ter Beek. Formal Methods and Tools for Software Product Lines
Chair:
Ina Schaefer
Location: A706
12:30-14:00 Lunch - UTEC canteen
14:00-15:30 Session 7: Tutorial 5: Martin Leucker. Automata Learning
Chair:
Gerardo Schneider
Location: A706
15:30-16:00 Coffee Break
16:00-17:30 Session 8: Tutorial 5: Martin Leucker. Automata Learning
Chair:
Gerardo Schneider
Location: A706
17:45-19:30 Reception
Location: UTEC terrasse