Mintsfest: A Conference in Celebration of Grigori Mints's 70th Birthday

Please join us on June 7, 2009 to celebrate Grigori Mints's 70th birthday!

Invited Speakers

Jeremy Avigad (CMU): “The computational content of classical arithmetic” (abstract)
Johan van Benthem (Amsterdam, Stanford): “Correspondence and definability in modal predicate logic” (abstract)
Yuri Gurevich (Microsoft): “Linear time reasoning” (abstract)
Vladimir Lifschitz (Texas): “Proving program correctness in answer set programming” (abstract)
John McCarthy (Stanford, Em.): “Human type common sense needs an extension to logic” (abstract)
Dana Scott (CMU, Em.): “Mixing modality and probability” (abstract)
Henry Towsner (UCLA): “Hindman's theorem: an ultrafilter proof in second-order arithmetic” (abstract)

Schedule

9:00–9:20	Coffee
9:20–9:30	Welcome and opening remarks (Solomon Feferman)
9:30–10:30	Vladimir Lifschitz
10:30–11:30	Henry Towsner
11:30–12:30	Jeremy Avigad
12:30–1:45	Lunch
1:45–2:45	Yuri Gurevich
2:45–3:45	Johan van Benthem
3:45–4:00	Coffee
4:00–5:00	John McCarthy
5:00–5:30	Dana Scott

Conference Location

All conference events will be held at CSLI in Cordura Hall, Room 100 (follow the link for directions).

Banquet Information

The banquet will be held in the Gold Room of the Stanford Faculty Club, beginning with a reception from 6:30 PM to 7:30 PM in its patio. (Follow the link for directions to the Faculty Club and the link from that to a Google Map.) To open the words of tribute at the banquet, Boris Kushner will share his reminiscences going back forty-five years as a friend and colleague of Grisha Mints.

NB: The reception and banquet are by reservation only and since the room limit has been reached, we regret that the reservation list is now closed.

Organizing Committee