categories - Category Theory list
 help / color / mirror / Atom feed
From: Luca Paolini <paolini-2eFfYwgyqgY1GQ1Ptb7lUw@public.gmane.org>
To: moca-announce-HnE2qM1WCGk4M/bo5TPICw@public.gmane.org,
	agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org,
	asl-zka7wQWIdxI3uPMLIKxrzw@public.gmane.org,
	cade-YidNj35/HaM@public.gmane.org,
	categories-59hdLBrVOVU@public.gmane.org,
	clean-list-FlD2LfDziEhmR6Xm/wNWPw@public.gmane.org,
	clp-re5r+meJ/dN84TsAtUCrkA@public.gmane.org,
	coq-club-YJlLV9CSrF6HKRXNmLAf3lAUjnlXr6A1@public.gmane.org,
	compulognet
Subject: RDP 2011 -- Call For Workshop Proposals
Date: Sun, 19 Sep 2010 19:04:41 +0200	[thread overview]
Message-ID: <1284915882.6892.1.camel@nbpaolini2.dipinfo.di.unito.it> (raw)

Federated Conference on Rewriting, Deduction, and Programming
                                RDP 2011
                29/5/2011 - 3/6/2011, Novi Sad, Serbia

                          Call For Workshop Proposals

RDP 2011 is a federated event comprising two major conferences:
- The 22nd International Conference on Rewriting Techniques and
 Applications (RTA'09)
- The 10th International Conference on Typed Lambda Calculi and
 Applications (TLCA'09).

Previous RDPs were held in 2003 in Valencia (Spain), 2004 in Aachen
(Germany),
2005 in Nara (Japan), 2007 in Paris (France) and 2009 in Brasilia
(Brasil).
RDP has a tradition of federating every two years RTA and TLCA, and of
hosting
related workshops.

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

Workshops should have a length of 1 or 2 days (possibilities for
longer workshops should be discussed with the organizers). 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, May 29, 2011) reserved for workshops, 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 organizing
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.

Please submit your workshop proposal by email to

    rdp2011-workshop-PMA525iaUPn1P9xLtpHBDw@public.gmane.org

Proposals should be written in plain text. The proposal should cover the
following topics:
 1. Name of workshop
2. A statement of the topics and goals of the workshop
3. Names and addresses of the organizers
4. Pointers to descriptions of previous editions of the workshop, if any
5. A description of the submission selection process
6. Plans for the publication of proceedings (informal proceedings
  distributed to participants, electronic journal,  proceedings with
  separate selection process, ...)
7. Plans for invited speakers or special sessions (round-table
  discussion, tutorials, ...)
8. Expected length of the workshop
9. Expected number of attendees
10. Any special needs (for system demonstrations ...)

The Workshop Selection Committee consists of
Luke Ong (TLCA 2011 program chair)
Manfred Schmidt-Schauss (RTA 2011 program chair)
Silvia Ghilezan (RDP 2011 general chair).

      -------------------------------------------------------
      |November 19, 2010 | deadline for proposals    |
      -------------------------------------------------------
      |November 30, 2010 | notification of acceptance|
      --------------------------------------------------------

Prospective workshop organizers are welcome to contact the workshop
selection committee in advance before sending in a formal submission and
to discuss any questions.

RDP'09 http://rdp09.cic.unb.br/
RDP'07 http://www.lsv.ens-cachan.fr/rdp07/index.html
RDP'05 http://www.kurims.kyoto-u.ac.jp/rdp05/
RDP'03 http://www.dsic.upv.es/~rdp03/
RTA    http://rewriting.loria.fr/rta/
TLCA   http://www.mimuw.edu.pl/tlca/

                 reply	other threads:[~2010-09-19 17:04 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=1284915882.6892.1.camel@nbpaolini2.dipinfo.di.unito.it \
    --to=paolini-2effywgyqgy1gq1ptb7luw@public.gmane.org \
    --cc=agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org \
    --cc=asl-zka7wQWIdxI3uPMLIKxrzw@public.gmane.org \
    --cc=cade-YidNj35/HaM@public.gmane.org \
    --cc=categories-59hdLBrVOVU@public.gmane.org \
    --cc=clean-list-FlD2LfDziEhmR6Xm/wNWPw@public.gmane.org \
    --cc=clp-re5r+meJ/dN84TsAtUCrkA@public.gmane.org \
    --cc=coq-club-YJlLV9CSrF6HKRXNmLAf3lAUjnlXr6A1@public.gmane.org \
    --cc=moca-announce-HnE2qM1WCGk4M/bo5TPICw@public.gmane.org \
    /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).