The Constructive in Logic and Applications
A Conference in Honor of the 60th Birthday of Sergei Artemov
Home Registration Speakers & Schedule Travel & Housing Call for Participation
The Constructive in Logic and Applications
A Conference in Honor of the 60th Birthday of Sergei Artemov
Home Registration Speakers & Schedule Travel & Housing Call for Participation
This conference made possible with the sponsorship of
CUNY Graduate Center Provost’s Office
CUNY Ph.D. Programs in Computer Science, Mathematics, and Philosophy
May 23 – May 25, 2012
Graduate Center, City University of New York
image courtesy of Elena Nogina
VENUE
Martin E. Segal Theater, ground floor at
365 Fifth Avenue
New York, NY 10016
NE corner of 34th St and Fifth Ave, diagonally across from the Empire State Building
SCHEDULE
8:30 a.m. - 6p.m. Wed-Fri, May 23-25, 2012
Detailed schedule available at menu link above.
There will be a conference dinner Thursday.
ACCOMMODATIONS -- in progress
There is no official conference hotel.
Most below are within easy walking distance of
the venue. Locations are shown on map above.
[Prices shown per night are approximate and don’t include NYC/NYS hotel taxes, ~$3.50+14.75% per night.]
The New Yorker Hotel $350
Hotel Pennsylvania $225
(30% discounts for reservation made by 4/15)
Red Roof Inn $210
Hotel 31 $200
La Quinta Inn $190
Hotel Grand Union $185
Larchmont Hotel $120
TRAVEL
air: JFK, LGA, EWR all serve NYC
See the links for ground transportation options.
rail:
New York Penn Station is serviced by
Grand Central Terminal is serviced by
car:
discouraged due to the difficulty and expense of parking
LOCAL TRANSPORTATION
The Grad Center is close to many subway stops.
are at
34th St/Herald Square. Walk 1 block East to the GC.
are at
34th St (7th Avenue). Walk 2 blocks East to the GC.
are at
34th St (8th Avenue). Walk 3 blocks East to the GC.
is at
33rd St (Park Avenue). Walk 1 block North and 2 blocks West to the GC.
For service changes see MTA.info.
A good transit and walking planner is hopstop.com.