The Constructive in Logic and Applications
A Conference in Honor of the 60th Birthday of Sergei Artemov

Segal Theatre at the Graduate Center, CUNY  
Conference Schedule					         	365 Fifth Avenue, New York, NY 10016

May 23, 2012, Wednesday
8:30 - 		 snack breakfast/coffee
9:00 - 9:15 	 Official Opening
9:15 - 10:00 	 Gerald Sacks (Harvard & MIT) Condensing Theories
10:00 - 10:45 	 Victor Marek (University of Kentucky) Solvers - applications of logic at the beginning of 						          the 21st Century
Coffee Break
11:00 - 11:45 	 Solomon Feferman (Stanford) Which Quantifiers are logical? A combined semantical and 
						inferential criterion
11:45 - 12:30 	 Haim Gaifman (Columbia University) TBA
Lunch
2:00 - 2:45	 Sergei Artemov (CUNY) A classical view of constructive semantics
2:45 - 3:30 	 Dexter Kozen (Cornell University) TBA
Coffee Break
3:45 - 4:15 	 Bryan Renne (University of Amsterdam & University of British Columbia) The Dynamic Logic 									     of Justified Knowledge and Belief
4:15 - 5:00 	 Harvey Friedman (Ohio State University, Columbus) Invariant Maximality

5:00 - 6:30 	 Welcome party: wine and cheese at the Graduate Center
6:30 - 8:00 	 Piano recital by Harvey Friedman

May 24, 2012, Thursday
8:30 - 		 snack breakfast/coffee
9:00 - 9:45 	 Robert Constable (Cornell University) Intersection Types in Constructive Type Theory
9:45 -10:30 	 Andre Scedrov (University of Pennsylvania) Collaborative Systems
Coffee Break
10:45 - 11:30 	 Joan Moschovakis (Occidental College and MPLA in Athens) 'At Most One' constructively
11:30 - 12:15 	 Yiannis Moschovakis (UCLA & University of Athens) Intrinsic complexity in arithmetic and 								         algebra
Lunch
2:00 - 2:45	 Sam Buss (UC San Diego) Algorithmic Randomness via Probabilistic Algorithms
2:45 - 3:30 	 Johan van Benthem (University of Amsterdam and Stanford University) Evidence Dynamics 										       in Neighborhood Logics
Coffee Break
3:45 - 4:15	 Robert Milnikel (Kenyon College) The Logic of Uncertain Justifications
4:15 - 5:00	 Anil Nerode (Cornell University) Sergei Artemov from 4 to 60
6:00 Conference Dinner

May 25, 2012, Friday
8:30 - 		 snack breakfast/coffee
9:00 - 9:45	 Adam Brandenburger (NYU) From Positive to Zero to Negative Probability
9:45 -10:3 	 Arnon Avron (Tel-Aviv University) Domain Independence, Predicativity, and Constructivity
Coffee Break
10:45 - 11:30 	 Vaughan Pratt (Stanford University) Geodesic spaces: Euclid's five postulates as an 							         equational theory, starting with the second
11:30 - 12:30 	 Round Table chaired by Rohit Parikh (CUNY) Knowledge and Rationality
Lunch
2:00 - 2:45 	 Jeff Remmel (University of California, San Diego) Hybrid Answer Set Programming
2:45 - 3:30 	 Melvin Fitting (CUNY) Realization Made Simpler
3:30 - 4:00 	 Pavel Naumov (McDaniel College) On interchangeability of Nash equilibria in multi-player 						      zero-sum  gamess