Fusing AI and Formal Methods for Automated Synthesis
in CS Seminar
Speakers: Priyanka Golia
Date and Time: Wednesday, April 12, 2023 from 11:00 AM to 12:00 PM
Location: ENGR 4201
Speakers: Priyanka Golia
Date and Time: Wednesday, April 12, 2023 from 11:00 AM to 12:00 PM
Location: ENGR 4201
Speakers: Ting Li
Date and Time: Wednesday, April 12, 2023 from 10:00 AM to 12:00 PM
Location: TBD
Speakers: Ibrahim Sabek, Postdoc at MIT and an NSF/CRA Computing Innovation Fellow
Date and Time: Friday, April 07, 2023 from 11:00 AM to 12:00 PM
Location: ENGR 4801
Speakers: Amanda Coston
Date and Time: Thursday, April 06, 2023 from 11:00 AM to 12:00 PM
Location: ENGR 4201
Speakers: Saikat Dutta, PhD candidate in Computer Science at the University of Illinois Urbana-Champaign
Date and Time: Friday, March 31, 2023 from 02:00 PM to 03:00 PM
Location: ENGR 4201
Speakers: Mohammad Amiri
Date and Time: Friday, March 31, 2023 from 11:00 AM to 12:00 PM
Location: JC GOLD ROOM