From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA14283 for caml-redist; Fri, 21 Apr 2000 19:28:52 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA08654; Fri, 21 Apr 2000 17:21:13 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id RAA27027; Fri, 21 Apr 2000 17:21:12 +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 RAA05653 for ; Fri, 21 Apr 2000 17:21:10 +0200 (MET DST) Received: from animal.cs.chalmers.se (animal.cs.chalmers.se [129.16.225.30]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id RAA09712 for ; Fri, 21 Apr 2000 17:21:09 +0200 (MET DST) Received: from fennec.inria.fr (root@fennec.inria.fr [138.96.90.9]) by animal.cs.chalmers.se (8.8.5/8.8.5) with ESMTP id RAA20568; Fri, 21 Apr 2000 17:19:28 +0200 (MET DST) Received: from fennec.inria.fr by fennec.inria.fr (8.10.0/8.10.0) with ESMTP id e3LFJOX18782; Fri, 21 Apr 2000 17:19:24 +0200 Message-Id: <200004211519.e3LFJOX18782@fennec.inria.fr> X-Mailer: exmh version 2.0.2 2/24/98 To: amast@cs.utwente.nl, appsem@cs.chalmers.se, bra-types@cs.chalmers.se, caml-list@inria.fr, categories@mta.ca, colibri@let.uu.nl, concurrency@cwi.nl, coq-club@pauillac.inria.fr, eacsl@dimi.uniud.it, eapls-request@mailbase.ac.uk, haskell@haskell.org, info-hol@jaguar.cs.byu.edu, isabelle-users@cl.cam.ac.uk, lambda-usergroup@dcs.ed.ac.uk, lego-club@dcs.ed.ac.uk, licsr@sun7.mathematik.uni-freiburg.de, pvs@csl.sri.com, rewriting@ens-lyon.fr, types@cis.upenn.edu Subject: Extended Deadline for early registration to APPSEM'2000 Summer school Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Date: Fri, 21 Apr 2000 17:19:24 +0200 From: Simao Desousa Sender: weis Dear Colleagues, I apologize if you receive multiple copies of this message. I would be grateful if you could distribute the Summer School Call For Participation given below with the new deadline for early registration (May 6th). Best regards, S. Sousa C A L L F O R P A R T I C I P A T I O N ------------------------------------------ INTERNATIONAL SUMMER SCHOOL ON APPLIED SEMANTICS ---APPSEM'2000--- Caminha, Portugal, 9-15 September 2000 http://www-sop.inria.fr/oasis/Caminha00/index.html OBJECTIVE AND BACKGROUND Programming languages are the basic tools with which all applications of computers are built. It is important, therefore, that they should be well designed and well implemented. Achieving these goals requires both a good theoretical understanding of programming language designs, and practical skills in the development of high quality compilers. The summer school is addressed to postgraduate students, researchers and industrials who want to learn about recent developments in programming language research, both in semantic theory and in implementation. The programme will consist of introductory and advanced courses on the following themes: - description of existing programming language features; - design of new programming language features; - implementation and analysis of programming languages; - transformation and generation of programs; - verification of programs. LOCATION The summer school is located in Caminha, a picturesque village by the sea and on the Rio Minho, on the northern border between Portugal and Spain. PROGRAMME - Andrew Pitts, Cambridge University. Operational Semantics. - John Hughes, Chalmers University, Eugenio Moggi, Genova University, and Nick Benton, Microsoft Research. Monads and Effects. - Pierre-Louis Curien, CNRS and Paris 7 University. Games and Abstract Machines. - Thierry Coquand, Chalmers University, and Gilles Barthe, INRIA. Dependent Types in Programming. - Olivier Danvy, BRICS and Peter Dybjer, Chalmers University. Normalization and Partial Evaluation. - Cédric Fournet, Microsoft Research and Georges Gonthier, INRIA. Join Calculus: a model for distributed programming. - Xavier Leroy, INRIA, and Didier Rémy, INRIA. Objects, Classes and Modules in Objective CAML. - Martin Odersky, Ecole Polytechnique Federale de Lausanne. Functional Nets. - Abbas Edalat, Imperial College, and Achim Jung, Birmingham University. Exact Real Number Computation. REGISTRATION The registration fees covers proceedings, full boarding, refreshments, social events and a banquet: - early registration (before May 5st) ************** * single room: 120 000 PTE * double room: 100 000 PTE - late registration * single room: 140 000 PTE * double room: 120 000 PTE There is no deadline for late registration but accommodation is not guaranteed if you applied after the 1st July 2000. See http://www-sop.inria.fr/oasis/Caminha00/registration.html for further information. FURTHER INFORMATION For further information, please contact the organizing committee by email (appsem-school@di.uminho.pt).