From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 67CC67EE25; Wed, 30 Oct 2013 19:42:54 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of icfp.publicity@googlemail.com) identity=pra; client-ip=209.85.215.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="icfp.publicity@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of icfp.publicity@googlemail.com designates 209.85.215.41 as permitted sender) identity=mailfrom; client-ip=209.85.215.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="icfp.publicity@googlemail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-la0-f41.google.com) identity=helo; client-ip=209.85.215.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="postmaster@mail-la0-f41.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgcDANhRcVLRVdcplGdsb2JhbABZDoMxVMBzCBYOAQEBAQcLCwkSKoInBgEBGiMBARIUEiU7IhIBBQEhAQESCYdrAQMPDZwNiw6EUwEFhDIKQA2JZQaOBoV8mA2BL45uGCmEElsggTU X-IPAS-Result: AgcDANhRcVLRVdcplGdsb2JhbABZDoMxVMBzCBYOAQEBAQcLCwkSKoInBgEBGiMBARIUEiU7IhIBBQEhAQESCYdrAQMPDZwNiw6EUwEFhDIKQA2JZQaOBoV8mA2BL45uGCmEElsggTU X-IronPort-AV: E=Sophos;i="4.93,603,1378850400"; d="scan'208";a="39781257" Received: from mail-la0-f41.google.com ([209.85.215.41]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Oct 2013 19:42:38 +0100 Received: by mail-la0-f41.google.com with SMTP id el20so1477008lab.0 for ; Wed, 30 Oct 2013 11:42:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:reply-to:date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=uerBYOCZSTga6Wr03rQj84wLILpBakeFFthVsjNil04=; b=K1PVSCV3nTnjKoVqbynh6/+Rp+KED8b3nAR62x/lNBbo7oVK72r/bNvrMUTvDStmGO 7WEZ0cOgDb591vMNJquthCxqLVxv/qWLWI5BHKbfMMe1haB3H9H20eL8Q5Xclq64D8Zw RzFxf6/FegGKmwK+mJg+oZx7+IiGMrtmBiOS0plOLj+PXCMy+//g+rX9cYDwGG65rjdC 4tsSbEzoPFDsjWiLYYgWmiPzmIkJsVlvLPY184WzYGZ2jj3ebY4ngeYCTO3lnZ+qkbyp NHGkXW46mEBL5Dj0DVB89wsZuW5aC7Y8P6epU7GpYsdurLCxGqlgk1aXysx2B487/rpy U3Sg== MIME-Version: 1.0 X-Received: by 10.152.170.133 with SMTP id am5mr2487554lac.9.1383158572644; Wed, 30 Oct 2013 11:42:52 -0700 (PDT) Received: by 10.112.29.234 with HTTP; Wed, 30 Oct 2013 11:42:52 -0700 (PDT) Reply-To: dvanhorn@cs.neu.edu Date: Wed, 30 Oct 2013 14:42:52 -0400 Message-ID: From: David Van Horn To: agda , agents , appsem , bforum , bigloo , bx , caml-list , categories , chicken-scheme , clean , concurrency , coq-club , eapls , ecoop , erlang-questions , fmeurope , fp-nl , fun , "functional-programming@st-and" , gambit-list , gpce , haskell , haskell-cafe , isabelle users , k-users , kgs , lprolog , mercury , mlton , mozart , nvti , prog-lang , racket-users , relics , seworld , SIGPLAN Infodir , sml-list , spls , theory-logic , theory-nt , types-announce , zforum Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] ICFP 2014: Call for Workshop & Co-located Even Proposals CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2014 19th ACM SIGPLAN International Conference on Functional Programming August 31 =96 September 6, 2014 Gothenburg, Sweden http://icfpconference.org/icfp2014/ The 19th ACM SIGPLAN International Conference on Functional Programming will be held in Gothenburg, Sweden on August 31-September 6, 2014. 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 (and other co-located events, such as tutorials) to be affiliated with ICFP 2014 and sponsored by SIGPLAN. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules can also be considered. The workshops are scheduled to occur on August 31 (the day before ICFP) and September 4-6 (the three days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: November 15, 2013 Notification of acceptance: December 15, 2013 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2014 workshop co-chairs (Sam Tobin-Hochstadt and Tom Schrijvers), via email to icfp2014-workshops@ugent.be by November 15, 2013. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 15, 2013, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2014/icfp14-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://acm.org/sigplan/sigplan_workshop_proposal.htm ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2014 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Sam Tobin-Hochstadt (Indiana University) Workshop Co-Chair: Tom Schrijvers (Ghent University) General Chair : Johan Jeuring (Utrecht University) Program Chair: Manuel Chakravarty (University of New South Wales) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Sam Tobin-Hochstadt and Tom Schrijvers), via email to icfp2014-workshops@ugent.= be.