[TYPES/announce] LFCS registration open, student support available

[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.

 

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

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.)

 

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.

 

The LFCS series provides an outlet for the fast-growing body of work in the
logical foundations of computer science, e.g., areas of fundamental
theoretical logic related to computer science. The LFCS series began with
Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R.
Meyer (MIT) and  Michael Taitslin (Tver), after which organization passed to
Anil Nerode.

 

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/20151028/d33037a2/attachment.html>