Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: David Van Horn <icfp.publicity@googlemail.com>
To: agda <agda@lists.chalmers.se>, agents <agents@cs.umbc.edu>,
	 appsem <appsem@lists.tcs.ifi.lmu.de>, bforum <bforum@inrets.fr>,
	 bigloo <bigloo@sophia.inria.fr>,
	bx <bx@liste.es.e-technik.tu-darmstadt.de>,
	 caml-list <caml-list@inria.fr>, categories <categories@mta.ca>,
	 chicken-scheme <chicken-users@nongnu.org>,
	clean <clean-announce@science.ru.nl>,
	 concurrency <concurrency@cwi.nl>, coq-club <coq-club@inria.fr>,
	eapls <EAPLS@jiscmail.ac.uk>,  ecoop <ecoop-info@ecoop.org>,
	erlang-questions <erlang-questions@erlang.org>,
	 fmeurope <events@fmeurope.org>, fp-nl <fp-nl@cs.uu.nl>,
	fun <fun@cs.nott.ac.uk>,
	 "functional-programming@st-and"
	<functional-programming@cs.st-and.ac.uk>,
	 gambit-list <gambit-list@iro.umontreal.ca>,
	gpce <gpce-news@cs.rice.edu>,  haskell <haskell@haskell.org>,
	haskell-cafe <haskell-cafe@haskell.org>,
	 isabelle users <isabelle-users@cl.cam.ac.uk>,
	k-users <k-user@cs.uiuc.edu>,  kgs <kgs@logic.tuwien.ac.at>,
	lprolog <lprolog@cs.umn.edu>,  mercury <mercury-ads@cs.mu.oz.au>,
	mlton <mlton-user@mlton.org>,  mozart <users@mozart-oz.org>,
	nvti <nvti-list@cwi.nl>, prog-lang <prog-lang@diku.dk>,
	 racket-users <users@racket-lang.org>,
	relics <relmics-l@McMaster.CA>,
	 seworld <seworld@cs.colorado.edu>,
	SIGPLAN Infodir <infodir_sigplan@acm.org>,
	 sml-list <sml-list@cs.cmu.edu>, spls <spls@dcs.gla.ac.uk>,
	 theory-logic <theory-logic@cs.cmu.edu>,
	theory-nt <theorynt@LISTSERV.NODAK.EDU>,
	 types-announce <types-announce@lists.seas.upenn.edu>,
	zforum <zforum@comlab.ox.ac.uk>
Subject: [Caml-list] ICFP 2014: Call for Workshop & Co-located Even Proposals
Date: Wed, 30 Oct 2013 14:42:52 -0400	[thread overview]
Message-ID: <CAAmpXigtvA=6pdq6aTsYQ5rcehrncDmZ-+0WqYr6-oHUC_DrUA@mail.gmail.com> (raw)

         CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
                            ICFP 2014
 19th ACM SIGPLAN International Conference on Functional Programming
                   August 31 – 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.

                 reply	other threads:[~2013-10-30 18:42 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAAmpXigtvA=6pdq6aTsYQ5rcehrncDmZ-+0WqYr6-oHUC_DrUA@mail.gmail.com' \
    --to=icfp.publicity@googlemail.com \
    --cc=EAPLS@jiscmail.ac.uk \
    --cc=agda@lists.chalmers.se \
    --cc=agents@cs.umbc.edu \
    --cc=appsem@lists.tcs.ifi.lmu.de \
    --cc=bforum@inrets.fr \
    --cc=bigloo@sophia.inria.fr \
    --cc=bx@liste.es.e-technik.tu-darmstadt.de \
    --cc=caml-list@inria.fr \
    --cc=categories@mta.ca \
    --cc=chicken-users@nongnu.org \
    --cc=clean-announce@science.ru.nl \
    --cc=concurrency@cwi.nl \
    --cc=coq-club@inria.fr \
    --cc=dvanhorn@cs.neu.edu \
    --cc=ecoop-info@ecoop.org \
    --cc=erlang-questions@erlang.org \
    --cc=events@fmeurope.org \
    --cc=fp-nl@cs.uu.nl \
    --cc=fun@cs.nott.ac.uk \
    --cc=functional-programming@cs.st-and.ac.uk \
    --cc=gambit-list@iro.umontreal.ca \
    --cc=gpce-news@cs.rice.edu \
    --cc=haskell-cafe@haskell.org \
    --cc=haskell@haskell.org \
    --cc=infodir_sigplan@acm.org \
    --cc=isabelle-users@cl.cam.ac.uk \
    --cc=k-user@cs.uiuc.edu \
    --cc=kgs@logic.tuwien.ac.at \
    --cc=lprolog@cs.umn.edu \
    --cc=mercury-ads@cs.mu.oz.au \
    --cc=mlton-user@mlton.org \
    --cc=nvti-list@cwi.nl \
    --cc=prog-lang@diku.dk \
    --cc=relmics-l@McMaster.CA \
    --cc=seworld@cs.colorado.edu \
    --cc=sml-list@cs.cmu.edu \
    --cc=spls@dcs.gla.ac.uk \
    --cc=theory-logic@cs.cmu.edu \
    --cc=theorynt@LISTSERV.NODAK.EDU \
    --cc=types-announce@lists.seas.upenn.edu \
    --cc=users@mozart-oz.org \
    --cc=users@racket-lang.org \
    --cc=zforum@comlab.ox.ac.uk \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox