From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id D3744BB84 for ; Fri, 12 Sep 2008 16:19:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah8DADMXykjAXQImiGdsb2JhbACSKT4BAQEPIJ8Uhi4BAg X-IronPort-AV: E=Sophos;i="4.32,389,1217800800"; d="scan'208";a="14878472" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Sep 2008 16:19:00 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8CEJ0vh008007 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 12 Sep 2008 16:19:00 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4BAG8XykhKfS4djmdsb2JhbACSKT4BAQEBCQMKBw8FnxKGLgEC X-IronPort-AV: E=Sophos;i="4.32,389,1217800800"; d="scan'208";a="29113642" Received: from yw-out-2324.google.com ([74.125.46.29]) by mail4-smtp-sop.national.inria.fr with ESMTP; 12 Sep 2008 16:18:59 +0200 Received: by yw-out-2324.google.com with SMTP id 5so307287ywh.27 for ; Fri, 12 Sep 2008 07:18:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:reply-to :to:subject:mime-version:content-type:content-transfer-encoding :content-disposition; bh=m7AMQjTEtM5M7VV64Mx2A2paJmxNTna0DQ0D0hKNXok=; b=nnJtQL3Dup1gJ8K2EBokXsIsXfKRY1vAc9BV1mt9L88b88Z/0SJxlk4krVuhdetHOU vUcWIA748ekJ9MzDwbI/nUzdetmetTfbZPjWfhs5Q58ZJiLD8954PQe2r0fbGZLgISCb hDOzPmgHojC6yo9x5jwxBQPedb86G2yVhWk6o= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=message-id:date:from:reply-to:to:subject:mime-version:content-type :content-transfer-encoding:content-disposition; b=wu3H4YDi1SpepWiCJlFrlNUWuYNhjTKfsaM1CeplrYtTPgOVDou2CyQKcbreoMrL8j g/xTrvte873GNeRMKnDTt6o8GCv1fFB6biQMLZ+u68iWdLEQyhlJ6Y6KWtaxhf4ohXKJ smDcA44KTIlJO4Hg33qYSblrfV0Z6DF3CO2ko= Received: by 10.86.1.11 with SMTP id 11mr3275689fga.27.1221229136954; Fri, 12 Sep 2008 07:18:56 -0700 (PDT) Received: by 10.86.4.15 with HTTP; Fri, 12 Sep 2008 07:18:56 -0700 (PDT) Message-ID: <53ff55480809120718t70ca7e6ai81d3639748cd41e9@mail.gmail.com> Date: Fri, 12 Sep 2008 09:18:56 -0500 From: "Matthew Fluet (ICFP Publicity Chair)" Reply-To: fluet@tti-c.org To: caml-list Subject: Workshop on Generic Programming: Call for Participation (co-located w/ ICFP08) MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline X-Miltered: at discorde with ID 48CA7A54.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; icfp:01 icfp:01 co-located:01 ralf:01 hinze:01 ralf:01 hinze:01 sigplan:01 dagstuhl:01 ifip:01 stoughton:01 rewriting:01 johan:01 haskell:01 coq:01 Dear all, the Workshop on Generic Programming is only a few days away: 20th September 2008 (http://www.regmaster.com/conf/icfp2008.html). ==> Invited talk: The Generic Paradigm ==> Lambert Meertens (Utrecht University) ==> We have reserved 20 minutes for *lightning talks*. If you plan to ==> attend and if you would like to give a short talk (about half-baked, ==> exciting, new stuff) please drop me a short note. Slots will be ==> reserved on a first-come-first-serve basis. Looking forward to seeing you in Victoria, Ralf Hinze ============================================================================ CALL FOR PARTICIPATION Workshop on Generic Programming 2008 Victoria, Canada, 20th September 2008 http://www.comlab.ox.ac.uk/ralf.hinze/wgp2008/cfp.{html,pdf,ps,txt} The Workshop on Generic Programming is sponsored by ACM SIGPLAN and forms part of ICFP 2008. Previous Workshops on Generic Programming have been held in Marstrand (affiliated with MPC), Ponte de Lima (affiliated with MPC), Nottingham (informal workshop), Dagstuhl (IFIP WG2.1 Working Conference), Oxford (informal workshop), Utrecht (informal workshop), and Portland (affiliated with ICFP). ============================================================================ Preliminary program ------------------- 9:00 - 10:00, Session Chair: Ralf Hinze (University of Oxford) Welcome Invited talk: The Generic Paradigm Lambert Meertens (Utrecht University) 10:30 - 12:00, Session Chair: Jeremy Gibbons (University of Oxford) A Functional Model-View-Controller Software Architecture for Command-oriented Programs Alley Stoughton (Kansas State University) A Lightweight Approach to Datatype-Generic Rewriting Thomas van Noort (Radboud University Nijmegen), Alexey Rodriguez, Stefan Holdermans (Utrecht University), Johan Jeuring (Utrecht University and Open University of the Netherlands), Bastiaan Heeren (Open University of the Netherlands) Lightning talks 13:30 - 15:00, Session Chair: Ralf Hinze (University of Oxford) Report from the program chair Ralf Hinze (University of Oxford) Scala for Generic Programmers Bruno C. d. S. Oliveira, Jeremy Gibbons (University of Oxford) A Comparison of C++ Concepts and Haskell Type Classes Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas Priesnitz (Chalmers University of Technology and University of Gothenburg) Lightning talks 15:30 - 17:30, Session Chair: Patrik Jansson (Chalmers University of Technology and University of Gothenburg) Polytypic Programming in Coq Wendy Verbruggen, Edsko de Vries, Arthur Hughes (Trinity College Dublin) Bialgebra Views: A Way for Polytypic Programming to Cohabit with Data Abstraction Pablo Nogueira, Juan Jose Moreno-Navarro (Universidad Politecnica de Madrid) Discussion ============================================================================