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 Research Foundation

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


Martin E. Segal Theater, ground floor at

The Graduate Center of CUNY

365 Fifth Avenue

New York, NY 10016

NE corner of 34th St and Fifth Ave, diagonally across from the Empire State Building


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


air: JFK, LGA, EWR all serve NYC

See the links for ground transportation options.


New York Penn Station is serviced by

    Amtrak, LIRR, and NJT

Grand Central Terminal is serviced by




discouraged due to the difficulty and expense of parking


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

A good transit and walking planner is