Workshops
Spring 2021

Synthesis of Models and Systems

Feb. 8, 2021, Feb. 22, 2021, Mar. 1, 2021, Mar. 8, 2021, Mar. 15, 2021, Mar. 22, 2021, Mar. 29, 2021, Apr. 5, 2021, Apr. 12, 2021, Apr. 26, 2021, May 3, 2021, May 10, 2021
Add to My Calendar
Monday, February 8th, 2021
8:30 am10:30 am
Bernd Finkbeiner (CISPA Helmholtz Center for Information Security)
Monday, February 22nd, 2021
8:30 am10:30 am
Rajeev Alur (University of Pennsylvania)
Monday, March 1st, 2021
8:30 am9:00 am
9:00 am9:10 am
Q&A
9:10 am9:40 am
Elizabeth Polgreen (University of Edinburgh)
9:40 am9:50 am
Q&A
9:50 am10:10 am
Andrew J. Reynolds (University of Iowa)
10:10 am10:20 am
Q&A
10:20 am10:25 am
Mark Santolucito (Barnard College)
10:25 am10:30 am
Q&A
Monday, March 8th, 2021
8:30 am10:30 am
TBD
Monday, March 15th, 2021
8:30 am10:30 am
TBD