[TYPES/announce] LFCS registration deadline DEC 18, hotel deadline DEC 3

[Robert Lubarsky]

SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'16)

Boca Raton/Deerfield Beach (Florida Atlantic University), Florida, January
4-7, 2016

http://lfcs.info/lfcs-2016/

 

Registration is now open:

https://fauf.fau.edu/NetCommunity/college-of-science/math/16-math-lfcs-sympo
sium

or from the registration link at the lfcs '16 home page.

NOTE: THE DEADLINE FOR REGISTRATION IS DEC. 18.

 

Limited financial support is available for students. To apply for this,
write to Sergei Artemov:

 <mailto:sartemov at gmail.com> sartemov at gmail.com.

 

For making a reservation at the conference hotel, see:

http://lfcs.info/lfcs-2016/hotel-information/

or go to the hotel link at the lfcs '16 home page. 

(If you think the room is expensive, believe me, for Florida in winter on
the beach, it's not.)

NOTE: THE DEADLINE FOR A HOTEL RESERVATION AT THE SEPCIAL CONFERENCE PRICE
IS DEC. 3.

 

To travel to the conference hotel, the closest airport is Ft. Lauderdale,
followed by West Palm Beach and Miami. From any of those airports you can
take a shared van ride with the Super Shuttle, or a taxi or similar service.
Alternatively, cheaper and environmentally sounder, you can take a free bus
shuttle to the Tri-Rail (local train) to the Deerfield Beach Station and a
cab or similar service from there. (Keep your cell phone handy. Cabs are
typically not waiting at the station. This is not Europe.) Amtrak also stops
in Deerfield Beach.

 

For questions about local arrangements, you can write to me at
Lubarsky.Robert at comcast.net.

 

LFCS Steering Committee:

Anil Nerode, Ithaca, NY (General Chair);

Stephen Cook, Toronto;

Dirk van Dalen, Utrecht;

Yuri Matiyasevich, St. Petersburg;

J. Alan Robinson, Syracuse, NY;

Gerald Sacks, Cambridge, MA;

Dana Scott, Pittsburgh, PA. 

 

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20151111/05492ccd/attachment-0001.html>