SALA SUM
Sessions
- Session 9 (Dec 06 08:50-09:00) Opening of ICTAC 2023
- Session 10 (Dec 06 09:00-10:00) Invited Speaker: Marijn J.H. Heule. Without Loss of Satisfaction.
- Session 11 (Dec 06 10:30-12:00) Security and privacy
- Session 12 (Dec 06 14:00-15:00) Proof complexity
- Session 13 (Dec 07 09:00-10:00) Invited Speaker: Pedro R. D'Argenio. Optimal Route Synthesis in Space DTN using Markov Decision Processes.
- Session 14 (Dec 07 10:30-12:00) Logics and languages I
- Session 15 (Dec 07 14:00-15:30) Logics and languages II
- Session 16 (Dec 07 16:00-17:00) Synthesis
- Session 17 (Dec 08 09:00-10:00) Invited Speaker: Ana Cavalcanti. Learning in RoboStar.
- Session 18 (Dec 08 10:30-12:00) Modeling languages
- Session 19 (Dec 08 14:00-15:30) Verification I
- Session 20 (Dec 08 16:00-17:30) Verification II