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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 12FD8BC69 for ; Thu, 18 Oct 2007 14:36:32 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4FAJHwFkdRqY+E/2dsb2JhbACBWo5Z X-IronPort-AV: E=Sophos;i="4.21,295,1188770400"; d="scan'208";a="18201353" Received: from h615406.serverkompetenz.net ([81.169.143.132]) by mail4-smtp-sop.national.inria.fr with ESMTP; 18 Oct 2007 14:36:22 +0200 Received: from h615406.serverkompetenz.net (localhost [127.0.0.1]) by h615406.serverkompetenz.net (Postfix) with ESMTP id AD2B9170EB; Thu, 18 Oct 2007 14:36:20 +0200 (MST) Received: from valmont.local (p54A0CA78.dip.t-dialin.net [84.160.202.120]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by h615406.serverkompetenz.net (Postfix) with ESMTP id 3277D170E7; Thu, 18 Oct 2007 14:36:20 +0200 (MST) Received: by valmont.local (Postfix, from userid 2246) id B6F833C9CCF; Thu, 18 Oct 2007 14:36:16 +0200 (CEST) From: Michael Sperber Newsgroups: comp.lang.functional,comp.lang.ml,comp.lang.scheme To: coq-club@pauillac.inria.fr, eapls@jiscmail.ac.uk, events@fmeurope.org, haskell@haskell.org, isabelle-users@cl.cam.ac.uk, prog-lang@diku.dk, spls@dcs.gla.ac.uk, theory@brics.dk, types@lists.chalmers.se, appsem@lists.tcs.ifi.lmu.de, fop@Cs.Nott.AC.UK, church-announce@types.bu.edu, concurrency@cwi.nl, clean-list@cs.kun.nl, clp@comp.nus.edu.sg, eacsl@dimi.uniud.it, ecoop-info@ecoop.org, erlang-questions@erlang.org, formal-methods@cs.uidaho.edu, forum@jsoftware.com, grin@di.unipi.it, kgs@logic.tuwien.ac.at, lprolog@cs.umn.edu, mercury-ads@cs.mu.oz.au, prog-lang@it.edu, prolog-vendors@sics.se, pvs@csl.sri.com, sicstus-users@sics.se, theorem-provers@ai.mit.edu, theorynt@listserv.nodak.edu, users@mozart-oz.org, types@cis.upenn.edu, erlang-announce@erlang.org, sml-list@lists.sourceforge.net, cufp@googlegroups.com, caml-list@yquem.inria.fr, generic-haskell@cs.uu.nl Subject: ICFP 2008 Call for Workshop Proposals Date: Thu, 18 Oct 2007 14:36:08 +0200 Message-ID: User-Agent: Gnus/5.110006 (No Gnus v0.6) XEmacs/21.5-b28 (darwin) Cancel-Lock: sha1:cYGV+wihuqGC1tzHY04txnJXhqk= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Posted-To: comp.lang.functional,comp.lang.ml,comp.lang.scheme X-Virus-Scanned: ClamAV using ClamSMTP X-Spam: no; 0.00; sperber:01 sperber:01 icfp:01 icfp:01 sigplan:01 sigplan:01 organising:01 thiemann:01 freiburg:01 2007.:98 2007,:98 functional:02 functional:02 interaction:02 co-chairs:02 CALL FOR WORKSHOP PROPOSALS ICFP 2008 13th ACM SIGPLAN International Conference on Functional Programming September 22-24, 2008 Victoria, British Columbia, Canada http://www.icfpconference.org/icfp2008/index.html The 13th ACM SIGPLAN International Conference on Functional Programming (ICFP 2008) will be held in Victoria, Canada from 22nd to 24th September 2008. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for workshops to be affiliated with ICFP 2008 and sponsored by SIGPLAN. These workshops should be more informal and focused than ICFP itself, include sessions that enable interaction among the workshop attendees, and be fairly low cost. The preference is for one-day workshops, but other schedules can also be considered. The workshops themselves will be held between September 18th and September 27th, as hotel capacity allows. ---------------------------------------------------------------------- Submission details Deadline for submission: 21th November 2007 Notification of acceptance: 19th December 2007 Prospective workshop organisers are invited to submit a completed workshop proposal form in plain text format to the ICFP 2008 workshop co-chairs (Mike Sperber and Graham Hutton), via email to icfp08-workshops at deinprogramm.de by 21th November 2007. Please note that this is a firm deadline. Organisers will be notified if their proposal is accepted by 19th December 2007, and if successful are required to produce a final report after the workshop has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available here: http://www.icfpconference.org/icfp2008/workshops/icfp08-workshops-form.txt Further information about SIGPLAN sponsorship is available at here: http://acm.org/sigplan/sigplan_workshop_proposal.htm ---------------------------------------------------------------------- Selection committee The workshop proposals will be evaluated by a committee comprising the following members of the ICFP 2008 organising committee, together with the members of the SIGPLAN executive committee. Mike Sperber DeinProgramm Workshops co-chair Graham Hutton University of Nottingham Workshops co-chair Jim Hook Portland State University General chair Peter Thiemann University of Freiburg Program chair ---------------------------------------------------------------------- Further information Any queries regarding ICFP 2008 workshop proposals should be addressed to the workshops co-chairs (Mike Sperber and Graham Hutton), via email to icfp08-workshops at deinprogramm.de. ----------------------------------------------------------------------