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 LAA18536; Fri, 15 Mar 2002 11:11:18 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 LAA19574 for ; Fri, 15 Mar 2002 11:11:17 +0100 (MET) Received: from mail4.microsoft.com (mail4.microsoft.com [131.107.3.122]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g2FABGD16541 for ; Fri, 15 Mar 2002 11:11:16 +0100 (MET) Received: from inet-vrs-04.redmond.corp.microsoft.com ([157.54.8.154]) by mail4.microsoft.com with Microsoft SMTPSVC(5.0.2195.4905); Fri, 15 Mar 2002 02:11:14 -0800 Received: from 157.54.8.23 by inet-vrs-04.redmond.corp.microsoft.com (InterScan E-Mail VirusWall NT); Fri, 15 Mar 2002 02:11:13 -0800 Received: from RED-MSG-10.redmond.corp.microsoft.com ([157.54.12.42]) by inet-hub-01.redmond.corp.microsoft.com with Microsoft SMTPSVC(5.0.2195.2966); Fri, 15 Mar 2002 02:11:14 -0800 x-mimeole: Produced By Microsoft Exchange V6.0.6157.0 content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] ICFP'02: 6 days to go. Date: Fri, 15 Mar 2002 02:11:13 -0800 Message-ID: <1113DDB24D4A2841951BFDF86665EE1901041B2F@RED-MSG-10.redmond.corp.microsoft.com> Thread-Topic: ICFP'02: 6 days to go. Thread-Index: AcHMCWwwqwOO1fSYS0+q3n3Bb0WLSg== From: "Simon Peyton-Jones" To: , , , , , , Cc: "Simon Peyton-Jones" X-OriginalArrivalTime: 15 Mar 2002 10:11:14.0006 (UTC) FILETIME=[BCF57760:01C1CC09] Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Last chance for your ICFP'02 paper: 6 days to go. =20 Don't let me down! Simon =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D ICFP 2002 International Conference on Functional Programming October 4-6, 2002, Pittsburgh, USA Final call for papers -------------------------------------------- Submission deadline: 21 March 2002 18:00 UTC -------------------------------------------- Program Chair: Simon Peyton Jones (Microsoft Research) Full call for papers including submission details:=20 http://icfp2002.cs.brown.edu/CfP/ =20 ICFP 2002 seeks original papers on the full spectrum of the art, science, and practice of functional programming. The conference invites submissions on all topics ranging from principles to practice, from foundations to features, and from abstraction to application. The scope covers all languages that encourage programming with functions, including both purely applicative and imperative languages, as well as languages that support objects and concurrency. Topics of interest include, but are not limited to, the following: Foundations: formal semantics, lambda calculus, type theory, monads, continuations, control, state, effects. Design: modules and type systems, concurrency and distribution, components and composition, relations to object-oriented and logic programming, multiparadigm programming. Implementation: abstract machines, compile-time and run-time optimization, just-in-time compilers, memory management, foreign-function and component interfaces. Transformation and analysis: abstract interpretation, partial evaluation, program transformation, theorem proving, specification and verification. Software development techniques for functional programming: design patterns, specification, verification and validation, debugging, test generation, etc. Human productivity of functional programming: visual, graphical (etc) approaches, evaluating language usability, empirical studies of human effectiveness, etc. Applications and domain-specific languages: scientific and numerical computing, symbolic computing and artificial intelligence, systems programming, databases, graphic user interfaces, multimedia programming, Web programming. Practice and experience: functional programming in education and industry, ramifications on other paradigms and computing disciplines. Functional pearls elegant, instructive examples of functional programming. General Chair: Mitchell Wand (Northeastern University) Program Committee Matthias Blume (Lucent)=20 Margaret Burnett (Oregon State University)=20 Manuel Chakravarty (University of New South Wales)=20 Matthew Flatt (University of Utah)=20 Haruo Hosoya (Kyoto University)=20 Uwe Nestmann (EPFL, Lausanne)=20 Chris Okasaki (United States Military Academy)=20 Norman Ramsey (Harvard University)=20 David Sands (Chalmers University)=20 Olin Shivers (Georgia Tech)=20 Stephanie Weirich (Cornell)=20 Joe Wells (Heriot Watt 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