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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6D0F57EFCD for ; Mon, 10 Nov 2014 22:44:42 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alx@mimuw.edu.pl) identity=pra; client-ip=193.0.96.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alx@mimuw.edu.pl"; x-sender="alx@mimuw.edu.pl"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alx@mimuw.edu.pl) identity=mailfrom; client-ip=193.0.96.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alx@mimuw.edu.pl"; x-sender="alx@mimuw.edu.pl"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.mimuw.edu.pl) identity=helo; client-ip=193.0.96.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alx@mimuw.edu.pl"; x-sender="postmaster@mail.mimuw.edu.pl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkUCADMxYVTBAGAGmWdsb2JhbABcFoNMWYMGtSuTTYh1FgEBAQEBEQEBAQEBCAsLBxQuhCYGFTAQNgIFEwMLAgsDAgECATQkBgIBAYhBp3mPQpAXhgEMIIEthQ2HDYNrgmGBVAWGOpdrgTSDT4JyhyxRgyGFTg+Ba2uCSwEBAQ X-IPAS-Result: AkUCADMxYVTBAGAGmWdsb2JhbABcFoNMWYMGtSuTTYh1FgEBAQEBEQEBAQEBCAsLBxQuhCYGFTAQNgIFEwMLAgsDAgECATQkBgIBAYhBp3mPQpAXhgEMIIEthQ2HDYNrgmGBVAWGOpdrgTSDT4JyhyxRgyGFTg+Ba2uCSwEBAQ X-IronPort-AV: E=Sophos;i="5.07,355,1413237600"; d="scan'208";a="87398005" Received: from mail.mimuw.edu.pl ([193.0.96.6]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 10 Nov 2014 22:44:41 +0100 Received: from localhost (localhost [127.0.0.1] ident=amavis) by duch.mimuw.edu.pl (Postfix) with ESMTP id 1EAB148 for ; Mon, 10 Nov 2014 22:44:40 +0100 (CET) X-Virus-Scanned: amavisd-new at mimuw.edu.pl Received: from duch.mimuw.edu.pl ([127.0.0.1]) by localhost (mail.mimuw.edu.pl [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id DyhlBAj-2dnr for ; Mon, 10 Nov 2014 22:44:38 +0100 (CET) Received: from limba.mimuw.edu.pl (p5B2A21D2.dip0.t-ipconnect.de [91.42.33.210]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by duch.mimuw.edu.pl (Postfix) with ESMTPSA for ; Mon, 10 Nov 2014 22:44:37 +0100 (CET) Message-ID: <546131C5.6040200@mimuw.edu.pl> Date: Mon, 10 Nov 2014 22:44:37 +0100 From: Aleksy Schubert User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.2.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] RDP 2015 Last Call for Workshops [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