From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4362 Path: news.gmane.org!not-for-mail From: Peter Achten Newsgroups: gmane.science.mathematics.categories Subject: First Call for Participation TFP 2008, The Netherlands Date: Thu, 10 Apr 2008 21:04:41 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241019895 12911 80.91.229.2 (29 Apr 2009 15:44:55 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:44:55 +0000 (UTC) To: undisclosed-recipients:; Original-X-From: rrosebru@mta.ca Thu Apr 10 22:24:16 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 10 Apr 2008 22:24:16 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Jk7nP-0003rA-DF for categories-list@mta.ca; Thu, 10 Apr 2008 22:11:15 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 11 Original-Lines: 133 Xref: news.gmane.org gmane.science.mathematics.categories:4362 Archived-At: FIRST 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/ [ EARLY REGISTRATION CLOSES AT MONDAY APRIL 14 ] [ THIS IS THE CORRECT DATE ] 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 =93Het Heijderbos=94= , Heijen (in the vicinity of Nijmegen), The Netherlands. TFP 2008 is co-located with the 6th Int=92l. Summer School on Advanced Functional Programming (AFP=9208), which is held immediately before TFP=92= 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_200= 8.pdf VENUE INFORMATION TFP (and AFP) is held in The Netherlands, at Center Parcs =93Het Heijderbos=94 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=FCsseldorf airport, as well as by train and car. Conveniently close to Center Parcs =93Het Heijderbos=94 you will find airport Weeze in Germany. The venue Center Parcs =93Het Heijderbos=94 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 =96 lunch =96 diner, proceedings, and social event costs. The early registration fee is =80 595; the late registration fee is =80 695. 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 Early registration is still possible until april 15 2008. Late registration opens at april 15 2008. 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) Early Registration Deadline: April 14 Late Registration Opens: April 15 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=FCnchen, DE Rita Loogen Philipps-Univ. Marburg, DE Greg Michaelson Heriot-Watt Univ., UK Marco T. Moraz=E1n (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=F3ria Zs=F3k E=F6tv=F6s Lor=E1nd Univ., HU ORGANIZATION Symposium Chair: Marco T. Moraz=E1n, Seton Hall University, USA Programme Chair: Peter Achten, Pieter Koopman, Radboud University Nijmegen, NL Treasurer: Greg Michaelson, Heriot-Watt University, UK