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.…
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
+------------------------------------------------------------+
| CALL FOR PAPERS |
| 5th European Lisp Workshop |
| July 7, Paphos, Cyprus - co-located with ECOOP 2008 |
+------------------------------------------------------------+
Important Dates:
****************
Submission deadline (papers & breakout groups): May 04, 2008
Notification of acceptance: May 19, 2008
ECOOP early registration deadline: June 01, 2008
5th European Lisp Workshop: July 07, 2008
For more information visit http://elw.bknr.net/2008/
Contact: Didier Verna, didier(a)lrde.epita.fr
Organizers
**********
Didier Verna, EPITA Research and Development Laboratory, Paris
Christophe Rhodes, Goldsmiths College, University of London
Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel
Hans Hübner, Software Developer, Berlin
Overview
********
"...Please don't assume Lisp is only useful for Animation and
Graphics, AI, Bioinformatics, B2B and E-Commerce, Data Mining,
EDA/Semiconductor applications, Expert Systems, Finance, Intelligent
Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation,
Natural Language, Optimization, Research, Risk Analysis, Scheduling,
Telecom, and Web Authoring just because these are the only things they
happened to list."
-- Kent Pitman
Lisp is one of the oldest computer languages still in use today. In
the decades of its existence, Lisp has been a fruitful basis for
language design experiments as well as the preferred implementation
language for applications in diverse fields.
The structure of Lisp makes it easy to extend the language or even to
implement entirely new dialects without starting from scratch. Common
Lisp, with the Common Lisp Object System (CLOS), was the first
object-oriented programming language to receive an ANSI standard and
retains the most complete and advanced object system of any
programming language, while influencing many other object-oriented
programming languages that followed.
It is clear that Lisp is gaining momentum: there is a steadily growing
interest in Lisp itself, with numerous user groups in existence
worldwide, and in Lisp's metaprogramming notions which are being
transferred to other languages, as for example in Aspect-Oriented
Programming, support for Domain-Specific Languages, and so on.
This workshop will address the near-future role of Lisp-based
languages in research, industry and education. We solicit papers and
suggestions for breakout groups that discuss the opportunities Lisp
provides to capture and enhance the possibilities in software
engineering. We want to promote lively discussion between researchers
proposing new approaches and practitioners reporting on their
experience with the strengths and limitations of current Lisp
technologies.
The workshop will have two components: there will be
formally-presented talks, and breakout groups discussing or working on
particular topics. Additionally, there will be opportunities for
short, informal talks and demonstrations on experience reports,
underappreciated results, software under development, or other topics
of interest.
Papers
******
Formal presentations in the workshop should take between 20 minutes
and half an hour; additional time will be given for questions and
answers. We encourage that papers be published on the website, to
provide all participants with background information in advance.
Suggested Topics:
- New language features or abstractions
- Experience reports or case studies
- Protocol Metaprogramming and Libraries
- Educational approaches
- Software Evolution
- Development Aids
- Persistent Systems
- Dynamic Optimization
- Implementation techniques
- Innovative Applications
- Hardware Support for Lisp systems
- Macro-, reflective-, meta- and/or rule-based development approaches
- Aspect-Oriented, Domain-Oriented and Generative Programming
Breakout Groups
***************
The workshop will provide for the opportunity to meet face to face and
work on focused topics. We will organize these breakout groups and
provide for rooms and infrastructure.
Suggested Topics for Breakout Groups:
- Lisp Infrastructure Development and Distribution
- Language Features (e.g. Predicate Dispatching)
- Environments for creating web applications
- Brainstorming sessions for new or existing open source projects
- Persistence Systems
- Compiler technology
- Lisp on bare metal / Lisp hardware / Lisp operating systems
- Compare and enhance curricula for computer science education
Submission Guidelines
*********************
Potential attendees are encouraged to submit:
- a long paper (10 pages) presenting scientific and/or
empirical results about Lisp-based uses or new approaches for
software engineering purposes,
- a short essay (5 pages) defending a position about where
research, practice or education based on Lisp should be heading in
the near future,
- a proposal for a breakout group (1-2 pages) describing the theme, an
agenda and/or expected results.
Submissions should be mailed as PDF to Didier Verna
(didier(a)lrde.epita.fr) before the submission deadline.
--
Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier
EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85
94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org
3RD CALL FOR PARTICIPATION
6TH INTERNATIONAL SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING 2008
(AFP ’08)
RADBOUD UNIVERSITY NIJMEGEN AND UTRECHT UNIVERSITY, THE NETHERLANDS
MAY 19-24, 2008
http://www.st.cs.ru.nl/AFP_TFP_2008/
[ EARLY REGISTRATION CLOSES ON MONDAY APRIL 14 ]
[ THIS IS THE CORRECT DATE ]
AFP is a series of international summer schools which aims to
bring computer scientists, in particular young researchers and
programmers, up to date with the latest advances in practical
advanced functional programming. Functional programming
emphasizes the evaluation of expressions rather than the
execution of commands. We focus on functional programming
techniques in “programming in the real world” and bridge the
gap between results presented at programming conferences and
material from textbooks on functional programming. In this
school you will receive in depth lectures about advanced
functional programming techniques, taught by experts in the
field. Lectures are accompanied by practical problems to be
solved by the students at the school.
AFP 2008 is hosted by the Radboud University Nijmegen, and
Utrecht University, The Netherlands, and will be held in the
rural setting of Center Parcs “Het Heijderbos”, Heijen (in the
vicinity of Nijmegen), The Netherlands.
AFP 2008 is co-located with the 9th Symposium on Trends in
Functional Programming (TFP’08), which is held after AFP’08.
PROGRAM INFORMATION
The following speakers will give the lectures (in alphabetic
order):
Umut Acar (Toyota Technological Institute,
University of Chicago, US)
Richard Bird (University of Oxford, UK)
Olivier Danvy (University of Aarhus, DK)
Johan Jeuring (Utrecht University, NL)
Mark Jones (Portland State University, US)
Ulf Norell (Chalmers University, SE)
Simon Peyton Jones (Microsoft Research, UK)
Rinus Plasmeijer (Radboud University Nijmegen, NL)
During the summer school, all participants receive printed
lecture notes. Participants are expected to have a notebook,
in order to be able to participate with the practical problems.
After the summer school, all lecture notes will be revised,
reviewed, and published in the LNCS series of Springer. All
registered participants receive a copy of these lecture notes.
VENUE INFORMATION
AFP (and TFP) 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.
SUMMER SCHOOL FEES
AFP 2008 includes accommodation, conference, breakfast – lunch –
diner, speakers, and proceedings costs. The early registration fee
is € 995; the late registration fee is € 1095.
REGISTRATION INFORMATION
You can still register early until monday april 14 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.
IMPORTANT DATES (ALL 2008)
Early Registration Deadline: April 14
Late Registration Opens: April 15
Late Registration Deadline: May 5
AFP Summer School: May 19-24
ORGANIZATION
Programme Chair: Rinus Plasmeijer, Pieter Koopman, Radboud
University Nijmegen, NL
Doaitse Swierstra, Utrecht University, NL
Arrangements: Peter Achten, Simone Meeuwsen, Radboud University
Nijmegen, NL
E-mail: afp_tfp_2008(a)cs.ru.nl
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 “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.…
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 early registration fee
is € 595; the late registration fee is € 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ü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
3RD CALL FOR PARTICIPATION
6TH INTERNATIONAL SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING 2008
(AFP ’08)
RADBOUD UNIVERSITY NIJMEGEN AND UTRECHT UNIVERSITY, THE NETHERLANDS
MAY 19-24, 2008
http://www.st.cs.ru.nl/AFP_TFP_2008/
[ EARLY REGISTRATION CLOSES ON MONDAY MAY 14 ]
AFP is a series of international summer schools which aims to
bring computer scientists, in particular young researchers and
programmers, up to date with the latest advances in practical
advanced functional programming. Functional programming
emphasizes the evaluation of expressions rather than the
execution of commands. We focus on functional programming
techniques in “programming in the real world” and bridge the
gap between results presented at programming conferences and
material from textbooks on functional programming. In this
school you will receive in depth lectures about advanced
functional programming techniques, taught by experts in the
field. Lectures are accompanied by practical problems to be
solved by the students at the school.
AFP 2008 is hosted by the Radboud University Nijmegen, and
Utrecht University, The Netherlands, and will be held in the
rural setting of Center Parcs “Het Heijderbos”, Heijen (in the
vicinity of Nijmegen), The Netherlands.
AFP 2008 is co-located with the 9th Symposium on Trends in
Functional Programming (TFP’08), which is held after AFP’08.
PROGRAM INFORMATION
The following speakers will give the lectures (in alphabetic
order):
Umut Acar (Toyota Technological Institute,
University of Chicago, US)
Richard Bird (University of Oxford, UK)
Olivier Danvy (University of Aarhus, DK)
Johan Jeuring (Utrecht University, NL)
Mark Jones (Portland State University, US)
Ulf Norell (Chalmers University, SE)
Simon Peyton Jones (Microsoft Research, UK)
Rinus Plasmeijer (Radboud University Nijmegen, NL)
During the summer school, all participants receive printed
lecture notes. Participants are expected to have a notebook,
in order to be able to participate with the practical problems.
After the summer school, all lecture notes will be revised,
reviewed, and published in the LNCS series of Springer. All
registered participants receive a copy of these lecture notes.
VENUE INFORMATION
AFP (and TFP) 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.
SUMMER SCHOOL FEES
AFP 2008 includes accommodation, conference, breakfast – lunch –
diner, speakers, and proceedings costs. The early registration fee
is € 995; the late registration fee is € 1095.
REGISTRATION INFORMATION
You can still register early until monday april 14 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.
IMPORTANT DATES (ALL 2008)
Early Registration Deadline: April 14
Late Registration Opens: April 15
Late Registration Deadline: May 5
AFP Summer School: May 19-24
ORGANIZATION
Programme Chair: Rinus Plasmeijer, Pieter Koopman, Radboud
University Nijmegen, NL
Doaitse Swierstra, Utrecht University, NL
Arrangements: Peter Achten, Simone Meeuwsen, Radboud University
Nijmegen, NL
E-mail: afp_tfp_2008(a)cs.ru.nl
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 MAY 14 ]
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.…
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 early registration fee
is € 595; the late registration fee is € 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ü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