The Constructive in Logic and Applications A Conference in Honor of the 60th Birthday of Sergei Artemov Conference Schedule May 23, 2012, 8:30 9:00 - 9:15

Source URL: fsw01.bcc.cuny.edu

• Mathematics
• Philosophy
• Logic
• Meals
• Joan Moschovakis
• Melvin Fitting
• Rohit Jivanlal Parikh
• Break
• Coffee
• Artyomov
• Dexter Kozen
• Anil Nerode