24th Static Analysis Symposium
August 30th - September 1st, 2017, New York City, NY, USA

Online Registration

  1. The registration fees for NSAD, SASB, and TAPAS (August 29th, 2017) are $50.00 per participant.

  2. The registration fees for SAS (August 30th - September 1st, 2017) are $150.00 per participant.

  3. These registration fees include every day breakfast, two coffee breaks, and lunch, and for SAS a dinner.

  4. All registrations must be made online, no refunds.



Travel Information

The conference venue can be easily reached by plane, train, bus, subway (MTA, 24/7 service), taxi (from JFK flat rate $52.80 + tolls + $4.50 (4pm - 8pm weekdays) + tip), water taxi, ferry, water way, bycicle, or on foot.


The hotels in NYC charge a 14.75% tax and $3.50 city tax per night. You can try booking.com, expedia.com, getaroom.com, hotelplanner.com, hipmunk.com, hotels.com, kayak.com, michelin, nycgo.com, orbitz.com, priceline.com, travelocity.com, and/or tripadvisor.com, or airbnb.com.

The following hotels are ranked by estimated walking time (and distance) from the symposium site. Prices do not include charges and taxes, are indicative, and may vary significantly.


335 Bowery

25 Cooper Sq

103 Waverly Pl

5 West 8th St

2 Saint Marks Pl

134 Fourth Ave

431 Broome St

30 Kenmare St

181 Varick St

370 Canal St

27 Grand St

108 Forsyth St

231 Grand St

136 Ludlow St

36 6th Avenue

231 Hudson St

525 Greenwich St

61-63 Chrystie St

150 Delancey St

37 West 24th St

20 West 29th St

52 William St

126 Water St

125 W 26th St

40 West 45th St



























There are also hotels in New Jersey City (7% New Jersey occupancy fee in addition to the 7% New Jersey sales tax), close to NYC by The Path Train or even by foot by the Hudson River Ferry.


540 Washington Blvd, Jersey City

455 Washington Blvd, Jersey City
479 Washington Blvd, Jersey City
2 Exchange Pl, Jersey City
65 Tonnelle Ave, Jersey City




Another solution is Brooklyn


333 Adams St, Brooklyn

300 Schermerhorn Rd, Brooklyn
60 Furman St, Brooklyn
235 Meeker Ave, Brooklyn
279 Butler St, Brooklyn
1080 Broadway, Brooklyn

56 Franklin Ave, Brooklyn

2 Franklin Ave, Brooklyn

1691 East New York Ave, Brooklyn

3003 Emmons Ave, Brooklyn









Or in Queens


42-24 Crescent St, Long Island City, Queens

31-36 Queens Blvd, Long Island City, Queens

26-32 Skillman Ave, Long Island City, Queens
8707 Van Wyck Expressway, Jamaica





Local Information

The symposium and workshops will be held at the

    Courant Institute of Mathematical Studies (CIMS)

    New York University (NYU)

    Warren Weaver Hall (WWH or CIWW)

    251 Mercer Street [1]

    New York, N.Y. 10012, USA


August 29th, 2017

August 30th - September 1st, 2017
August 29th - September 1st, 2017
August 31st, 2017

WWH 1302, 13th floor

WWH 317, 3rd floor

WWH 102, ground level (1st floor)

WWH 109, ground level (1st floor)

WWH 13th Floor Faculty Lounge

Torch Club, 18 Waverly Place

Social Events

The symposium dinner on Thursday August 31st, 2017, 6:30PM, will be at the Torch Club, 18 Waverly Place, NYC (2 blocks, 3 min (0.2 mi) via Mercer Street).

About New York City

  1. NYC Official Guide, nyc.com, New York Time Arts & Entertainment Guide, TimeOut

  2. For a short walk around: Washington Square Park, Soho (cast-iron architecture), NoHo, Greenwich Village, East Village, and a little further: Chelsea, High Line, Fifth Avenue, Little Italy, Tribeca, Chinatown, Roosevelt island aerial tramway

  3. Restaurants (Eater, Michelin, New York Time): make a reservation with Open Table, Reserve, Zagat, tipping is usually 20% of the pre-tax total of a bill, sales tax is 8.875%. Vegetarian: Nix. Kosher: Sacred Chow

  4. Food carts: nearby N.Y. Dosas, Washington Sq. S. at Sullivan St. (vegetarian)

  5. Nearby historic bars: Fanelli Cafe (6 min walk), McSorley's Old Ale House (10 min walk), Pete's Tavern (18 min walk), Ear Inn (in James Brown House, 19 min walk). Many bars in the area delimited by Thompson‐Sullivan‐Macdougal Streets and W 3rd‐Bleecker Streets (7 min walk)

  6. Roof tops bars: Gansevoort meatpacking, Gansevoort Park Ave

  7. Fooding: Dean & Deluca Soho, Eataly Flatiron, Katz's Deli (15 min walk), burgers (Shake Shack Madison)

  8. Museums: The Met and The Guggenheim on the Museum Mile, MoMA, MoMath, American Museum of Natural History, South Street Seaport, The merchant's house museum (5 min walk), New Museum, (12 min walk), Lower East Side Tenement Museum (20 min walk), Whitney (26 min walk, start of the High Line)

  9. Nearby galleries: Chelsea (chelsea gallery map, Neil and Bob gallery guide)

  10. Nearby jazz: Village Vanguard, Blue Note

  11. Nearby rock: The Bowery, The Bowery Electric, Joe's pub at The Public Theater, (le) poisson rouge, Irving Plaza, Webster Hall, Highline Ballroom

  12. Nearby comedy clubs: Comedy cellar (6 min walk), The Stand comedy club (21 min walk)

  13. Nearby cinemas: Angelika film center (5 min walk), IFC center, Landmark sunshine cinema, Cinema village 12th St, AMC Village 7, Regal union square stadium 14, City cinemas village east, Quad cinema, The Roxy cinema TriBeCA

  14. Broadway theatres: reviews New York Times, Timeout, NYC theaters, Post, Hollywood reporter; Off Broadway: New York Times

  15. Dance: Lincoln Center, Joyce theater, LaMama

  16. Classical music: Carnegie Hall, Metropolitan opera, Lincoln Center, Jazz at Lincoln Center, Bargemusic (F 20 Min)

  17. Online ticket reservation: broadway.com, goldstar.com, groupon.com, seatgeek.com, showtickets.com, songkick.com, stubhub.com, ticketmaster.com, timeout.com or same day at TKTS Times Square discount booth

  18. Sports: Baseball: Yankees, (Mets@Reds), Basketball (off season): Nets and Knicks, American football (pre-season): Jets, Giants, Tennis: US Open

  19. Weather: average in August and September (hurricanes not totally impossible, climate change in New York State and City)

  20. Running: Brooklyn Bridge (early morning), Hudson River Park and East River Park (part of the Manhattan Waterfront Greenway, no cars, separate lane for bicycles), Central Park

  21. Walking: idem plus High Line

  22. Cycling: Citibike (routes, Google Earth Bike Map)

  23. Tourists never miss: Statue of Liberty, 1 WTC (Oculus), Fifth Avenue (Empire State Building), Grand Central, Times square (by night), Rockefeller Plaza (Radio City, Top of the rock), U.N. Headquarters, Central Park

  24. Cruise: Statue of Liberty, Staten Island Ferry, Circle line

  25. Beaches: Coney Island (line B, 52mn)

  26. Excursions: Philadelphia (1h10min by Amtrak Acela Express train from Penn Station), Niagara Falls (8 hours drive or 9.5 hours by Amtrak train from Penn Station)

  27. Closest services: Post office: US Post Office—Cooper Station (10 min walk), ATM: Citibank (4 min walk), Currency exchange: Union Square (14 min walk), Parking: Edison ParkFast (3 min walk)

Enjoy SAS 2017 and your stay in the city!

[1] named after Hugh Mercer.