SMT — PROGRAM FOR SATURDAY, 25 JULY 2026

Days: previous day all days

Saturday, 25 July 2026
09:00-10:30 Invited Talk + Parallelism SMT
Location: C1.04
10:00-11:00 Coffee Break SMT
Location: C1.04
11:00-12:30 Arrays, Datatypes & Relational Reasoning SMT
Location: C1.04
12:00-14:00 Lunch SMT
Location: C1.04
15:30-16:30 Coffee Break SMT
Location: C1.04
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑