[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

=====================================================================
                        Call for Participation

            The 12th ACM SIGPLAN International Conference
                on Functional Programming (ICFP 2007)

         http://www.informatik.uni-bonn.de/~ralf/icfp07.html

                 Freiburg, Germany, 1-3 October 2007
=====================================================================

ICFP 2007 provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.

Preliminary program:
 * http://www.informatik.uni-bonn.de/~ralf/schedule.html
 * Invited speakers:
   + John Hughes (Chalmers University of Technology)
   + Frank Pfenning (Carnegie Mellon University)
   + John Lloyd (Australian National University)
 * The Program committee has *deliberately* created extra breaks so as
   to give participants more time to talk with colleagues.

Schedule including related workshops:
 *  30 Sep: ACM SIGPLAN Haskell Workshop
 *  30 Sep: ACM SIGPLAN Workshop on Scheme and Functional Programming
 * 1-3 Oct: ICFP07
 *   4 Oct: ACM SIGPLAN Commercial Users of Functional Programming
 *   4 Oct: ACM SIGPLAN Workshop on Mechanizing Metatheory
 *   5 Oct: ACM SIGPLAN Erlang Workshop
 *   5 Oct: ACM SIGPLAN Workshop on ML
 *   5 Oct: ACM SIGPLAN Programming Languages meets Program Verification

Registration information:
 * http://proglang.informatik.uni-freiburg.de/ICFP2007/registration.shtml
 * Early registration deadline: September 7, 2007

Accommodations information:
 * http://proglang.informatik.uni-freiburg.de/ICFP2007/accommodation.shtml
 * Conference reservation/rate deadline: September 1, 2007
 * September/October is Freiburg's main tourist season; participants
   are advised to book rooms as early as possible.

Conference organizers:
 * General Chair: Ralf Hinze (Universit├Ąt Bonn)
 * Program Chair: Norman Ramsey (Harvard University)
 * Local Arrangements Chair: Peter Thiemann (Universit├Ąt Freiburg)
 * Workshop Co-Chairs: Graham Hutton (University of Nottingham)
   and Matthias Blume (Toyota Technological Institute at Chicago)
 * Programming Contest Chair: Johan Jeuring (Universiteit Utrecht)
 * Publicity Chair: Matthew Fluet (Toyota Technological Institute at Chicago)

Reply via email to