The Best of Model Checking
Workshop in Honor of Orna Grumberg
Professor Orna Grumberg is one of the pioneers of Model Checking
Professor Orna Grumberg is one of the pioneers of Model Checking
The Best of Model Checking workshop will be held in her honor alongside the
The Best of Model Checking workshop will be held in her honor alongside the
on July 13th, 2019 in New York, USA.
on July 13th, 2019 in New York, USA.
Invited speakers include:
Invited speakers include:
- Rajeev Alur, University of Pennsylvania
- Aarti Gupta, Princeton University
- Arie Gurfinkel, University of Waterloo
- Daniel Kroening, University of Oxford
- Kenneth L. McMillan, Microsoft Research, Redmond
- Moshe Y. Vardi, Rice University
More to come!
For information regarding registration, please consult CAV’s website.
Venue: The New School in NYC
Venue: The New School in NYC
63 5th Ave, New York, NY 10003
Lecture Hall: TBD
Sponsored by AWS Automated Reasoning Group
Sponsored by AWS Automated Reasoning Group
