[TYPES/announce] Second Call for Participation TFP 2008, The Netherlands

Peter Achten P.Achten at cs.ru.nl
Tue Apr 22 10:40:07 EDT 2008


SECOND CALL FOR PARTICIPATION
TRENDS IN FUNCTIONAL PROGRAMMING 2008
RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
MAY 26-28, 2008
INVITED SPEAKER: PROF. HENK BARENDREGT
http://www.st.cs.ru.nl/AFP_TFP_2008/

[ LATE REGISTRATION FEE IS SAME AS EARLY REGISTRATION FEE ]
[ LATE REGISTRATION CLOSES AT MAY 5 ]

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming languages, focusing on providing a broad view
of current and future trends in Functional Programming. It aspires to
be a lively environment for presenting the latest research results
through acceptance by extended abstracts and full papers. A formal
post-symposium refereeing process selects the best articles presented
at the symposium for publication in a high-profile volume.

TFP 2008 is hosted by the Radboud University Nijmegen, The Netherlands,
and will be held in the rural setting of Center Parcs “Het Heijderbos”,
Heijen (in the vicinity of Nijmegen), The Netherlands.

TFP 2008 is co-located with the 6th Int’l. Summer School on Advanced
Functional Programming (AFP’08), which is held immediately before TFP’08.


PROGRAM INFORMATION
We have selected papers in the following themes:

(*) Types
(*) Applications
(*) Parallellism
(*) Refactoring
(*) Reactive Systems
(*) Memory Analysis
(*) Software Construction & Program Transformation
(*) Reasoning

The preliminary program can be found on the site:

http://www.st.cs.ru.nl/AFP_TFP_2008/documents/preliminary_program_TFP_2008.pdf



VENUE INFORMATION
TFP (and AFP) is held in The Netherlands, at Center Parcs “Het
Heijderbos” which is a holiday resort in the woodlands near the
city of Nijmegen. We accomodate participants in DeLuxe Cottages,
each of which has three separate bed-rooms, shared bathroom,
toilet, kitchen, and terrace. Cottages will be shared by three
participants. If you wish to reduce costs, you can choose to
share a bedroom. The summer school and symposium will take place
in the business center of the venue. Breakfast, lunch and diner
is included within the limits of the venue. The resort features,
amongst others, a sub-tropical swimming pool (free for
participants), restaurants, shops, water sports lake, midget golf
court, squash court, and outdoor and indoor tennis courts.

Nijmegen is considered to be the oldest city of the Netherlands,
being approximately 2000 years old. Nijmegen is located at the
east border of the Netherlands, near Germany. Nijmegen can be
reached easily from several airports such as Schiphol airport,
Eindhoven airport, and Düsseldorf airport, as well as by train
and car. Conveniently close to Center Parcs “Het Heijderbos” you
will find airport Weeze in Germany. The venue Center Parcs “Het
Heijderbos” can be reached from Nijmegen by train to Boxmeer
(25 minutes). From there you will need to order a taxi. The venue
can also be reached by car: parking is free for participants of
AFP and TFP.


SYMPOSIUM FEES
TFP 2008 includes accommodation, symposium, breakfast – lunch –
diner, proceedings, and social event costs. The registration fee
is € 595. For details, we refer to the site (see above). During
the social event we will visit Nijmegen and have a symposium diner
at the river-side of De Waal.


REGISTRATION INFORMATION
Registration closes at may 5 2008. We can not guarantee accommodation
in case you wish to register later than may 5 2008. Registration can
be done on-line at the site:

http://www.st.cs.ru.nl/AFP_TFP_2008/#RegistrationInformation


IMPORTANT DATES (ALL 2008)
Late Registration Deadline: May 5
TFP Symposium: May 26-28


PROGRAMME COMMITTEE
Peter Achten (co-chair) Radboud Univ. Nijmegen, NL
Andrew Butterfield Trinity College, IE
Manuel Chakravarty Univ. of New South Wales, AU
John Clements Cal Poly State Univ., USA
Matthias Felleisen Northeastern Univ., USA
Jurriaan Hage Utrecht Univ., NL
Michael Hanus Christian-Albrechts Univ. zu Kiel, DE
Ralf Hinze Univ. of Oxford, UK
Graham Hutton Univ. of Nottingham, UK
Johan Jeuring Utrecht Univ., NL
Pieter Koopman (co-chair) Radboud Univ. Nijmegen, NL
Shriram Krishnamurthi Brown Univ., USA
Hans-Wolfgang Loidl Ludwig-Maximilians Univ.München, DE
Rita Loogen Philipps-Univ. Marburg, DE
Greg Michaelson Heriot-Watt Univ., UK
Marco T. Morazán (symp. chair) Seton Hall Univ., USA
Sven-Bodo Scholz Univ. of Hertfordshire, UK
Ulrik Schultz Univ. of Southern Denmark, DK
Clara Segura Univ. Complutense de Madrid, ES
Olin Shivers Northeastern Univ., USA
Phil Trinder Heriot-Watt Univ., UK
Varmo Vene Univ. of Tartu, EE
Viktória Zsók Eötvös Loránd Univ., HU


ORGANIZATION
Symposium Chair: Marco T. Morazán, Seton Hall University, USA
Programme Chair: Peter Achten, Pieter Koopman,
Radboud University Nijmegen, NL
Treasurer: Greg Michaelson, Heriot-Watt University, UK



More information about the Types-announce mailing list