Clarke Symposium 2014:
Celebrating 25 Years of Model Checking

To celebrate and honor our colleague, teacher, advisor, and friend


A scientific symposium will be held on Friday-Saturday, 19-20 of September 2014, at Carnegie Mellon University in Pittsburgh. The symposium will not only highlight the scientific achievements of Ed Clarke, but also those of the Model Checking community.

The technical sessions are designed for you to present short talks on your current research. We encourage as many of you as possible to participate. There will be lots of opportunities for you to talk with old friends and engage in lively discussions.  The symposium will conclude on Saturday evening with a reception to celebrate Ed’s impending retirement in 2015.

Registration for the Clarke Symposium is required. There is no fee for invited guests to attend any part of the symposium. Please register at your earliest convenience, but no later than June 1, if you intend to participate and if you are interested in giving a short talk.

We are looking forward to meeting you in Pittsburgh!

Scientific organizers: Orna Grumberg, Daniel Kroening, and Helmut Veith

Logistics and coordination: Charlotte Yano, (yano*AT*, 412-268-7656)