From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 9CD73BC8E for ; Thu, 17 Feb 2005 21:43:44 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j1HKhflf021960 for ; Thu, 17 Feb 2005 21:43:42 +0100 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 VAA05190 for ; Thu, 17 Feb 2005 21:43:41 +0100 (MET) Received: from coltrane.tcs.informatik.uni-muenchen.de (coltrane.tcs.informatik.uni-muenchen.de [129.187.228.100]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j1HKhfUH019543 for ; Thu, 17 Feb 2005 21:43:41 +0100 Received: from anagni.tcs.informatik.uni-muenchen.de (wayne.tcs.informatik.uni-muenchen.de [129.187.228.122]) by coltrane.tcs.informatik.uni-muenchen.de (Netscape Messaging Server 4.15) with ESMTP id IC2PKR00.H6W; Thu, 17 Feb 2005 21:43:39 +0100 Date: Thu, 17 Feb 2005 21:43:39 +0100 From: Hans-Wolfgang Loidl To: haskell@haskell.org, generic-haskell@generic-haskell.org, clean-list@cs.kun.nl, fp-nl@cs.uu.nl, safe-nl@nic.surfnet.nl, erlang-questions@erlang.org, prolog-vendors@sics.se, sicstus-users@sics.se, prog-lang@it.edu, clp@comp.nus.edu.sg, lprolog@cis.upenn.edu, mercury-ads@cs.mu.oz.au, mlnet@swi.psy.uva.nl, plt-scheme@fast.flux.utah.edu, users@mozart-oz.org, pept@yl.is.s.u-tokyo.ac.jp, caml-list@inria.fr, polyml@inf.ed.ac.uk, smlnet-users@jiscmail.ac.uk Subject: Announcement: APPSEM-II Summer School, Sep 8-12 Message-Id: <20050217214339.3676449f.hwloidl@informatik.uni-muenchen.de> Organization: LMU Muenchen X-Mailer: Sylpheed version 0.9.6claws (GTK+ 1.2.10; i686-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 421501FD.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 421501FD.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; appsem-ii:01 appsem:01 semantics:01 appsem-ii:01 syntax:01 semantics:01 inference:01 barthe:01 hankin:01 appsem:01 gardner:98 reasoning:01 pottier:01 deadlines:01 data:02 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: APPSEM II Summer School Frauenchiemsee, September 8-12, 2005 1st CALL FOR PARTICIPATION The IST-FET Summer School on Applied Semantics (APPSEM-II) will take place September 8-12, 2005 in Frauenchiemsee near Munich. We are proud to announce the following confirmed speakers: Andrew Pitts, Cambridge: Nominal Syntax and Semantics Philippa Gardner, London: Local Reasoning about Data Update Francois Pottier, Paris: A modern eye on ML type inference: old techniques and recent developments Gilles Barthe, Nice: Dependent Types in Programming Chris Hankin, London: Principles of Program Analysis The school is open to all interested graduated and (senior) undergraduate students as well as researchers. A limited number of student grants covering all fees, accommdation, and travel, are available. Neither participation nor grants are restricted to APPSEM sites. For details including deadlines please see the WWW page at http://www.appsem.org/summer_school.html