Clarke Symposium 2014:
Celebrating 25 Years of Model Checking


Registration for the Clarke Symposium 2014 is required. There is no fee for invited guests to attend any part of the symposium. However, all attendees, including CMU faculty and students, must register here by June 1, 2014.

Please indicate if you plan to attend the Friday and/or Saturday technical sessions and the Saturday evening reception.

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. Please consider giving a talk and submit your title below.

Full name:
Job title:
Postal address:
Would you like to give a short talk? yes   no
If so, please give us a title.
Which days will you be attending? Fri. Sept. 19th   Sat. Sept. 20th
Reception Sat. night   Unable to attend
Will you be bringing a guest? yes   no
If so, who?
Food Specifications: Vegetarian   Vegan   Kosher   Allergies, please specify:
Relationship to Ed
(please select all that apply):
Graduate Student   Post-Doc   Visitor
Research Collaborator   Thesis Committee   Other

Even if you are unable to attend, we would love to hear from you!
Please share your memories, thoughts, and well wishes to the Ed and Martha, we will include them in a memory book.

Please note, all information provided will be used for event planning only.