Program for Tuesday, December 5th: Session View

ICTAC2023: 20TH INTERNATIONAL COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING

PROGRAM AUTHORS KEYWORDS

PROGRAM FOR TUESDAY, DECEMBER 5TH: SESSION VIEW

Days:

View: with abstracts talk overview

8:00

8:30

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

08:00-09:00

09:00-10:30

Tutorial 3: Einar Broch Johnsen. Semantically Lifted Digital Twin

10:30-11:00

11:00-12:30

Tutorial 4: Maurice H. ter Beek. Formal Methods and Tools for Software Product Lines

12:30-14:00

Lunch - UTEC canteen

14:00-15:30

Tutorial 5: Martin Leucker. Automata Learning

15:30-16:00

16:00-17:30

Tutorial 5: Martin Leucker. Automata Learning

17:45-19:30

Disclaimer | Powered by EasyChair Smart Program