FW: [IcfpSC] Call for spam -- one more time-sensitive round
Simon Peyton-Jones
simonpj@microsoft.com
Wed, 30 Jul 2003 09:16:36 +0100
Gentle Haskellfolk
ICFP is nearly upon us. Early registration ends today! So this would =
be a good moment to click.
Simon
-------------------------------------------------------------------------=
------
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=20
Declarative Programming)
- LOPSTR (International Symposium on Logic-based Program Synthesis=20
and Transformation)
- Haskell Workshop
- Erlang Workshop
- MERLIN (Mechanised Reasoning About Languages with Variable Binding)
- DPCOOL (Declarative Programming in the Context of Object-oriented=20
Languages)=20
* 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,=20
reversible, and quantum computing
Thomas Knight, Jr. (MIT Artificial Intelligence Laboratory)=20
Session I: 10:30-12:30
----------------------
Scripting the type-inference process
Bastiaan Heeren, Jurriaan Hage, Doaitse Swierstra (Universiteit =
Utrecht)=20
Discriminative sum types locate the source of type errors
Matthias Neubauer, Peter Thiemann (Universit=E4t Freiburg)=20
MLF: Raising ML to the power of system F
Didier Le Botlan, Didier Remy (INRIA Rocquencourt)=20
An extension of HM(X) with bounded existential and universal =
data-types
Vincent Simonet (INRIA Rocquencourt)=20
Session II: 2:15-3:45
---------------------
CDuce: an XML-centric general-purpose language
V=E9ronique Benzaken (LRI, Universit=E9 Paris Sud, Orsay),=20
Giuseppe Castagna (CNRS, LIENS, =C9cole Normale Sup=E9rieure),=20
Alain Frisch (LIENS, =C9cole Normale Sup=E9rieure, Paris)=20
Compiling regular patterns
Michael Levin (University of Pennsylvania)=20
Software is discrete mathematics
Rex Page (University of Oklahoma)=20
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=20
(University of Cambridge)=20
Dynamic rebinding for marshalling and update, with destruct-time =
lambda
Gavin Bierman (University of Cambridge), Michael Hicks (University =
of=20
Maryland, College Park), Peter Sewell (University of Cambridge), =
Gareth=20
Stoyle (University of Cambridge), Keith Wansbrough (University of=20
Cambridge)=20
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)=20
Report on ICFP 2003 & 2004
Olin Shivers & Kathleen Fisher=20
=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=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
Tuesday 26 August 2003
Invited talk: 9:00-10:00
------------------------
From Hilbert space to Dilbert space: Context semantics as a language =
for=20
games and flow analysis
Harry Mairson (Brandeis University)=20
Session IV: 10:30-12:30
-----------------------
A theory of aspects
David Walker (Princeton University), Steve Zdancewic (University of=20
Pennsylvania), Jay Ligatti (Princeton University)=20
Dependency-style Generic Haskell
Andres L=F6h, Dave Clarke, Johan Jeuring (Universiteit Utrecht)=20
Functional automatic differentiation with Dirac impulses
Henrik Nilsson (Yale University)=20
A user-centred approach to functions in Excel
Simon Peyton Jones (Microsoft Research), Alan Blackwell (University =
of=20
Cambridge), Margaret Burnett (Oregon State University)=20
Session V: 2:15-3:45
--------------------
A sound and complete axiomatization of delimited continuations
Yukiyoshi Kameyama (University of Tsukuba), Masahito Hasegawa (Kyoto =
University)=20
Call-by-value is dual to call-by-name
Philip Wadler (Avaya Labs)=20
Disjunctive normal forms and local exceptions
Emmanuel Beffara, Vincent Danos (Universit=E9 Paris 7)=20
Session VI: 4:15-6:00
---------------------
An effective theory of type refinements
Yitzhak Mandelbaum (Princeton University), David Walker (Princeton=20
University), Robert Harper (Carnegie Mellon University)=20
A static type system for JVM access control
Tomoyuki Higuchi, Atsushi Ohori (Japan Advanced Institute of Science =
and=20
Technology)=20
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)=20
=20
=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=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
Wednesday 27 August 2003
Session VII: 9:00-10:30
-----------------------
Boxes go bananas: Encoding higher-order abstract syntax with =
parametric=20
polymorphism
Geoffrey Washburn, Stephanie Weirich (University of Pennsylvania)=20
FreshML: Programming with binders made simple
Mark Shinwell, Andrew Pitts, Murdoch Gabbay (University of =
Cambridge)=20
Meta-programming through typeful code representation
Chiyan Chen, Hongwei Xi (Boston University)=20
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)=20
Invited talk (joint with PPDP'03): 11:30-12:30
----------------------------------------------
Understanding aspects
Mitchell Wand (Northeastern University)
_______________________________________________
IcfpSC mailing list
IcfpSC@mailman.cs.luc.edu
http://mailman.cs.luc.edu/mailman/listinfo/icfpsc