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

Return to event »

Monday, February 8th, 2021
8:30 am – 10:30 am		Reactive Synthesis Bernd Finkbeiner (CISPA Helmholtz Center for Information Security)

Monday, February 22nd, 2021
8:30 am – 10:30 am		Syntax-Guided Program Synthesis Rajeev Alur (University of Pennsylvania)

Monday, March 1st, 2021
8:30 am – 9:00 am		Data-Driven Inference of Representation Invariants Todd Millstein (UCLA)
9:00 am – 9:10 am		Q&A
9:10 am – 9:40 am		CounterExample Guided Inductive Synthesis Modulo Theories Elizabeth Polgreen (University of Edinburgh)
9:40 am – 9:50 am		Q&A
9:50 am – 10:10 am		Syntax-Guided Synthesis in SMT: A View from Inside the Solver Andrew J. Reynolds (University of Iowa)
10:10 am – 10:20 am		Q&A
10:20 am – 10:25 am		Neural Network guided Grammar Filtering For Syntax-Guided Synthesis Mark Santolucito (Barnard College)
10:25 am – 10:30 am		Q&A

Monday, March 8th, 2021
8:30 am – 10:30 am		Reactive Synthesis - Current and Future Directions TBD

Monday, March 15th, 2021
8:30 am – 10:30 am		TBD TBD