From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id FAA21296; Thu, 17 Jul 2003 05:33:26 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id FAA30932 for ; Thu, 17 Jul 2003 05:33:15 +0200 (MET DST) Received: from sark.cc.gatech.edu (sark.cc.gatech.edu [130.207.7.23]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h6H3XET05113 for ; Thu, 17 Jul 2003 05:33:14 +0200 (MET DST) Received: from tokyo.cc.gatech.edu (tokyo.cc.gatech.edu [130.207.114.15]) by sark.cc.gatech.edu (8.12.9/8.12.8) with ESMTP id h6H3OsOG014430; Wed, 16 Jul 2003 23:24:56 -0400 (EDT) Received: (from shivers@localhost) by tokyo.cc.gatech.edu (8.12.9/8.12.8) id h6H3OdaW011034; Wed, 16 Jul 2003 23:24:39 -0400 (EDT) Date: Wed, 16 Jul 2003 23:24:39 -0400 (EDT) Message-Id: <200307170324.h6H3OdaW011034@tokyo.cc.gatech.edu> X-Authentication-Warning: tokyo.cc.gatech.edu: shivers set sender to shivers@cc.gatech.edu using -f From: Olin Shivers To: amast@cs.utwente.nl, appsem@cs.chalmers.se, caml-list@pauillac.inria.fr, ccp@sics.se, church-announce@types.bu.edu, clean-list@cs.kun.nl, clp@comp.nus.edu.sg, compunode@dfki.de, concurrency@cwi.nl, eacsl@dimi.uniud.it, eapls@mailbase.ac.uk, eatcs-it@cs.unibo.it, erlang-questions@erlang.org, formal-methods@cs.uidaho.edu, forum@jsoftware.com, grin@di.unipi.it, gulp@di.unipi.it, haskell@haskell.org, logic@cs.cornell.edu, logic@theory.lcs.mit.edu, lprolog@cis.upenn.edu, lprolog@cs.umn.edu, mercury-users@cs.mu.OZ.AU, mlnet@swi.psy.uva.nl, pl-seminar@ccs.neu.edu, plt-scheme@fast.cs.utah.edu, prog-lang@diku.dk, prolog-vendors@sics.se, rewriting@ens-lyon.fr, sicstus-users@sics.se, theorem-provers@ai.mit.edu, theorynt@listserv.nodak.edu, types@cis.upenn.edu, users@mozart-oz.org Subject: [Caml-list] ICFP 2003 -- Call for Participation Reply-to: shivers@ai.mit.edu X-Loop: caml-list@inria.fr X-Spam: no; 0.00; olin:01 shivers:01 gatech:01 hotels:99 chairman:99 applicative:01 abstractions:01 sigplan:01 ppdp:01 declarative:01 haskell:01 erlang:01 hotel:99 varies:01 quantum:99 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk ICFP (the International Conference on Functional Programming) is coming up soon -- August 25-29, in Uppsala, Sweden. The following "Call for Participation" has the important bits, but here are the two key things you need to know if you are thinking of attending this year: - Registration is open *now*. - You want to register *well before* July 30 -- the deadline for early registration is 7/30, and most hotels will close out their guaranteed reservations by then, if not earlier. I also append the complete program of talks. See you in Sweden... -Olin Shivers program chairman ------------------------------------------------------------------------------- Call for Participation ICFP 2003: ACM International Conference on Functional Programming August 25-29, 2003 Uppsala, Sweden * About ICFP ------------ The goal of ICFP is to - stimulate and promote international research on functional programming, and - act as focal point to bring together the functional-programming community for intellectual cross-pollination and collaboration. The scope of the conference includes all languages that encourage programming with functions, including both purely applicative and imperative languages, as well as languages that support objects and concurrency. The topics covered range from principles to practice, from foundations to features, and from abstractions to applications. The conference is affiliated with PLI, a confederation of international meetings sponsored by ACM SIGPLAN, which this year will also include - PPDP (International Conference on Principles and Practice of Declarative Programming) - LOPSTR (International Symposium on Logic-based Program Synthesis and Transformation) - Haskell Workshop - Erlang Workshop - MERLIN (Mechanised Reasoning About Languages with Variable Binding) - DPCOOL (Declarative Programming in the Context of Object-oriented Languages) * Useful URLs ------------- - Main web page for the entire PLI meeting; contains information on accepted papers, registration, accomodation, and social events: http://www.it.uu.se/pli03/ - Main web page for ICFP: http://www-users.cs.york.ac.uk/~colin/icfp2003.html - ICFP programme: http://www.cc.gatech.edu/~shivers/icfp03/schedule.html * Registration now open ----------------------- Registration is now open and the early registration deadline is July 30th. NOTE: The cut-off date for guaranteed hotel reservations varies with the hotel and is typically *before* July 30th. It is advisable to make your hotel reservations soon. ------------------------------------------------------------------------------- * Conference programme ---------------------- Monday 25 August 2003 Invited talk: 9:00-10:00 ------------------------ Conservation of information: Applications in functional, reversible, and quantum computing Thomas Knight, Jr. (MIT Artificial Intelligence Laboratory) Session I: 10:30-12:30 ---------------------- Scripting the type-inference process Bastiaan Heeren, Jurriaan Hage, Doaitse Swierstra (Universiteit Utrecht) Discriminative sum types locate the source of type errors Matthias Neubauer, Peter Thiemann (Universität Freiburg) MLF: Raising ML to the power of system F Didier Le Botlan, Didier Remy (INRIA Rocquencourt) An extension of HM(X) with bounded existential and universal data-types Vincent Simonet (INRIA Rocquencourt) Session II: 2:15-3:45 --------------------- CDuce: an XML-centric general-purpose language Véronique Benzaken (LRI, Université Paris Sud, Orsay), Giuseppe Castagna (CNRS, LIENS, École Normale Supérieure), Alain Frisch (LIENS, École Normale Supérieure, Paris) Compiling regular patterns Michael Levin (University of Pennsylvania) Software is discrete mathematics Rex Page (University of Oklahoma) Session III: 4:15-6:00 ---------------------- Global abstraction-safe marshalling with hash types James Leifer (INRIA Rocquencourt), Gilles Peskine(INRIA Rocquencourt), Peter Sewell (University of Cambridge), Keith Wansbrough (University of Cambridge) Dynamic rebinding for marshalling and update, with destruct-time lambda Gavin Bierman (University of Cambridge), Michael Hicks (University of Maryland, College Park), Peter Sewell (University of Cambridge), Gareth Stoyle (University of Cambridge), Keith Wansbrough (University of Cambridge) Iterative-free program analysis Mizuhito Ogawa (Japan Advanced Institute of Science and Technology), Zhenjiang Hu (University of Tokyo), Isao Sasano (Japan Advanced Institute of Technology and Science) Report on ICFP 2003 & 2004 Olin Shivers & Kathleen Fisher =============================================================================== Tuesday 26 August 2003 Invited talk: 9:00-10:00 ------------------------ From Hilbert space to Dilbert space: Context semantics as a language for games and flow analysis Harry Mairson (Brandeis University) Session IV: 10:30-12:30 ----------------------- A theory of aspects David Walker (Princeton University), Steve Zdancewic (University of Pennsylvania), Jay Ligatti (Princeton University) Dependency-style Generic Haskell Andres Löh, Dave Clarke, Johan Jeuring (Universiteit Utrecht) Functional automatic differentiation with Dirac impulses Henrik Nilsson (Yale University) A user-centred approach to functions in Excel Simon Peyton Jones (Microsoft Research), Alan Blackwell (University of Cambridge), Margaret Burnett (Oregon State University) Session V: 2:15-3:45 -------------------- A sound and complete axiomatization of delimited continuations Yukiyoshi Kameyama (University of Tsukuba), Masahito Hasegawa (Kyoto University) Call-by-value is dual to call-by-name Philip Wadler (Avaya Labs) Disjunctive normal forms and local exceptions Emmanuel Beffara, Vincent Danos (Université Paris 7) Session VI: 4:15-6:00 --------------------- An effective theory of type refinements Yitzhak Mandelbaum (Princeton University), David Walker (Princeton University), Robert Harper (Carnegie Mellon University) A static type system for JVM access control Tomoyuki Higuchi, Atsushi Ohori (Japan Advanced Institute of Science and Technology) Parsing polish, step by step (functional pearl) John Hughes (Chalmers University), Doaitse Swierstra (Universiteit Utrecht) Programming contest awards presentation John Hughes et al. (Chalmers University of Technology) =============================================================================== Wednesday 27 August 2003 Session VII: 9:00-10:30 ----------------------- Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism Geoffrey Washburn, Stephanie Weirich (University of Pennsylvania) FreshML: Programming with binders made simple Mark Shinwell, Andrew Pitts, Murdoch Gabbay (University of Cambridge) Meta-programming through typeful code representation Chiyan Chen, Hongwei Xi (Boston University) Session VIII: 11:00-11:30 ------------------------- Optimistic evaluation: An adaptive evaluation strategy for non-strict programs Robert Ennals (University of Cambridge), Simon Peyton Jones (Microsoft Research) Invited talk (joint with PPDP'03): 11:30-12:30 ---------------------------------------------- Understanding aspects Mitchell Wand (Northeastern University) ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners