From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6193 Path: news.gmane.org!not-for-mail From: Luca Paolini Newsgroups: gmane.comp.lang.agda,gmane.science.mathematics.categories,gmane.comp.lang.clean,gmane.science.mathematics.logic.coq.club Subject: RDP 2011 -- Call For Workshop Proposals Date: Sun, 19 Sep 2010 19:04:41 +0200 Message-ID: <1284915882.6892.1.camel@nbpaolini2.dipinfo.di.unito.it> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1284919227 12191 80.91.229.12 (19 Sep 2010 18:00:27 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sun, 19 Sep 2010 18:00:27 +0000 (UTC) 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 Original-X-From: agda-bounces-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Sun Sep 19 20:00:20 2010 Return-path: Envelope-to: gcla-agda@m.gmane.org Original-Received: from frenesi.ita.chalmers.se ([129.16.222.46]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OxOBW-0006yt-UB for gcla-agda@m.gmane.org; Sun, 19 Sep 2010 20:00:18 +0200 Original-Received: from frenesi.ita.chalmers.se (localhost.localdomain [127.0.0.1]) by frenesi.ita.chalmers.se (Postfix) with ESMTP id 713A35E50FE; Sun, 19 Sep 2010 20:00:18 +0200 (CEST) Original-Received: from pianeta.di.unito.it (pianeta.di.unito.it [130.192.156.1]) by frenesi.ita.chalmers.se (Postfix) with ESMTP id 1C3A95E50FD for ; Sun, 19 Sep 2010 19:35:02 +0200 (CEST) X-MailScanner-From: paolini-2eFfYwgyqgY1GQ1Ptb7lUw@public.gmane.org X-SpamCheck: not spam, SpamAssassin (not cached, score=-15.666, required 3, AWL -13.17, BAYES_00 -2.60, RDNS_NONE 0.10) X-AntiVirus: Email Clean X-dipinfo-MailScanner-ID: o8JH4jU3000982 X-dipinfo-MailScanner-Information: Please contact Department of Computer Science technical staff for more information Original-Received: from pianeta.di.unito.it ([130.192.156.1]) by pianeta.di.unito.it (INFO-DIP) with ESMTP id o8JH4jU3000982 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO AuthenticatedUser=paolini ); Sun, 19 Sep 2010 19:04:53 +0200 (CEST) X-Mailer: Evolution 2.22.3.1 X-Mailman-Approved-At: Sun, 19 Sep 2010 20:00:16 +0200 X-BeenThere: agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Agda implementors and users group List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: agda-bounces-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Errors-To: agda-bounces-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Xref: news.gmane.org gmane.comp.lang.agda:1899 gmane.science.mathematics.categories:6193 gmane.comp.lang.clean:2229 gmane.science.mathematics.logic.coq.club:5245 Archived-At: 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/