caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Aleksy Schubert <alx@mimuw.edu.pl>
To: caml-list@inria.fr
Subject: [Caml-list] RDP 2015 Last Call for Workshops
Date: Mon, 10 Nov 2014 22:44:37 +0100	[thread overview]
Message-ID: <546131C5.6040200@mimuw.edu.pl> (raw)

[apologies for cross posting]

-----------------------------------------------------------------------
RDP 2015 Last Call for Workshops
(Rewriting, Deduction, and Programming, June-July 2015, Warsaw, Poland)
-----------------------------------------------------------------------


RDP 2015 is the eighth edition of the International Conference on
Rewriting, Deduction, and Programming, consisting of two main
conferences

* RTA (Rewriting Techniques and Applications)
* TLCA (Typed Lambda Calculi and Applications)

Previous RDPs were held in 2003 in Valencia (Spain), 2004 in Aachen
(Germany), 2005 in Nara (Japan), 2007 in Paris (France), 2009 in
Brasilia (Brasil), 2011 in Novi Sad (Serbia), 2013 in Eindhoven (The
Netherlands).

We solicit proposals for satellite workshops of RDP 2015 that are
related in topics to one or both of the RDP conferences.

We plan the workshops to proceed for up to 2 days (possibilities of
longer workshops should be discussed with the organisers). It is
tradition at RDP that attendance to workshops is open to participants
of parallel events, similar to the way FLoC workshops are run. There
will be one day (Sunday, June 28, 2015) reserved for workshops only,
however, it will also be possible to run workshops on the other days
in parallel to one of the main conferences.

RDP will provide the possibility to print workshop proceedings,
details of the procedure will be posted later by the local organising
committee. RDP will not be able to reimburse invited workshop speakers
for travel or living expenses, though it may be possible to waive part
of the registration fees for invited speakers. The priority of RDP
will be to keep registration fees for the conferences and workshops
low.

If you want to organise a workshop, please send the following
information to rdp15@mimuw.edu.pl:

* Workshop title and description of the topic
* Names and affiliations of the organisers
* Pointers to descriptions of previous editions of the workshop, if any
* Proposed workshop duration (from one day to two days)
* Proposed format and agenda (for example, paper presentations,
   tutorials, demo sessions, etc.)
* Plans for invited speakers or special sessions (round-table
   discussion, tutorials, etc.)
* Estimate of the audience size
* Procedures for selecting papers and participants
* Plans for the publication of proceedings (informal proceedings
   distributed to participants, electronic journal, proceedings with
   separate selection process, etc.)
* Other potential organisational issues


IMPORTANT DATES

Submission of workshop proposals:   November 18, 2014 (Tuesday)
Notification date:                  November 26, 2014 (Wednesday)
Workshop dates:                     June 28-July 3, 2014 (Sunday-Friday)


CONTACT INFORMATION

Questions regarding workshop proposals should be sent to
rdp15@mimuw.edu.pl.

RDP 2015 MAIN ORGANISER
Aleksy Schubert http://www.mimuw.edu.pl/~alx/
Faculty of Mathematics, Informatics and Mechanics
University of Warsaw

                 reply	other threads:[~2014-11-10 21:44 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=546131C5.6040200@mimuw.edu.pl \
    --to=alx@mimuw.edu.pl \
    --cc=caml-list@inria.fr \
    /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;
as well as URLs for NNTP newsgroup(s).