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

View: session overviewtalk overview

08:00-09:00 Registration
09:00-10:30 Session 1: Tutorial 1: Shaukat Ali Mahsa & Varshosaz. Testing Cyber-Physical Systems
Chair:
Clemens Dubslaff
Location: A706
10:30-11:00 Coffee Break
11:00-12:30 Session 2: Tutorial 1: Shaukat Ali Mahsa & Varshosaz. Testing Cyber-Physical Systems
Chair:
Clemens Dubslaff
Location: A706
12:30-14:00 Lunch - UTEC canteen
14:00-15:30 Session 3: Tutorial 2: Ina Schaefer & Maximilian Kodetzki. Correctness-by-Construction Approach to Programming
Chair:
Erika Abraham
Location: A706
15:30-16:00 Coffee Break
16:00-17:30 Session 4: Tutorial 2: Ina Schaefer & Maximilian Kodetzki. Correctness-by-Construction Approach to Programming
Chair:
Erika Abraham
Location: A706