From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3L9J6YL007143 for ; Thu, 21 Apr 2011 11:19:06 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsEALL1r02FBs3D/2dsb2JhbAClSHfEdYV2BIVy X-IronPort-AV: E=Sophos;i="4.64,250,1301868000"; d="scan'208";a="106393570" Received: from rigel.sakabe.i.is.nagoya-u.ac.jp ([133.6.205.195]) by mail1-smtp-roc.national.inria.fr with ESMTP; 21 Apr 2011 11:19:00 +0200 Received: from localhost (august.trs.cm.is.nagoya-u.ac.jp [133.6.205.188]) by rigel.sakabe.i.is.nagoya-u.ac.jp (Postfix) with ESMTP id F08A54C7C4 for ; Thu, 21 Apr 2011 18:18:57 +0900 (JST) Date: Thu, 21 Apr 2011 18:18:57 +0900 (JST) Message-Id: <20110421.181857.105175287.sakai@is.nagoya-u.ac.jp> To: caml-list@inria.fr From: Masahiko Sakai (RTA publicity chair) X-Mailer: Mew version 6.3 on Emacs 21.3 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Validation-by: sakai@is.nagoya-u.ac.jp Subject: [Caml-list] RDP 2011: Second Call for Participation [We apologise for multiple copies.] ******************************************************************** *** Federated Conference on Rewriting, Deduction, and Programming*** *** RDP 2011 *** *** May 29 - June 3, 2011 *** *** Novi Sad, Serbia *** *** http://www.rdp2011.uns.ac.rs *** *** *** *** SECOND CALL FOR PARTICIPATION *** *** *** ******************************************************************** --------------------------------------------------------------------- -- REGISTRATION -- --------------------------------------------------------------------- For online registration visit: http://www.rdp2011.uns.ac.rs/practical/registration.html Regular registration closes on May 10. --------------------------------------------------------------------- -- ABOUT RDP -- --------------------------------------------------------------------- RDP'11 is the sixth edition of the biannual Federated Conference on Rewriting, Deduction, and Programming, consisting of two main conferences and related events. --------------------------------------------------------------------- -- RDP MAIN CONFERENCES -- --------------------------------------------------------------------- RTA 2011 The 22nd International Conference on Rewriting Techniques and Applications May 30 - June 1, 2011 TLCA 2011 The Tenth International Conference on Typed Lambda Calculi and Applications June 1 - 3, 2011 --------------------------------------------------------------------- -- RDP 2011 INVITED SPEAKERS -- --------------------------------------------------------------------- Alexandre Miquel (Ecole Normale Superieure de Lyon, France) Sophie Tison (Universite Lille and LIFL, France) Ashish Tiwari (SRI, USA) Vladimir Voevodsky (Institute of Advanced Study, USA) Stephanie Weirich (University of Pennsylvania, USA) (in alphabetical order) --------------------------------------------------------------------- -- WORKSHOPS -- --------------------------------------------------------------------- COBRA 2011 Compilers by Rewriting, Automated HDTT 2011 Higher Dimensional Type Theory TPDC 2011 Theory and Practice of Delimited Continuations (TPDC) 2FC 2011 Two Faces of Complexity (2FC) WRS 2011 Reduction Strategies in Rewriting and Programming IFIP WG 1.6 Working Group 1.6 Term Rewriting --------------------------------------------------------------------- -- HOST CITY: NOVI SAD, SERBIA -- --------------------------------------------------------------------- Novi Sad is capital of Vojvodina, the northern region of Serbia. Situated on the Danube river, 80km from the capital city Belgrade, it is treasured regional and cultural center. With the population of about 300,000, Novi Sad is a modern and pleasant city with wide boulevards, modern buildings and the historical Central Square surrounded by the Old Town Hall, the Roman catholic church and similar buildings dating mainly from the early nineteenth century. The city, as well as whole of Vojvodina is well-known multicultural, multinational and multiconfesional region. Among the cultural-historical monuments, the best known is the Petrovaradin fortress with its underground corridors, promenades, museums, restaurants and art studios. There are also many churches, monasteries and other cultural monuments. Novi Sad is also known by the longest and the most beautiful sandy beach on the Danube, as well as by nearby Fruska Gora mountain. As a university town, Novi Sad is known for a lively night life, with lots of nice restaurants, bars, cafes and clubs. Several international theater and music festivals take place here. For travel and accommodation information, please consult the RDP 2011 website: http://www.rdp2011.uns.ac.rs RDP 2011 is organized by the University of Novi Sad, Faculty of Technical Sciences, and Mathematical Institute SASA and will take place in the University Campus, at the Faculty of Technical Sciences. --------------------------------------------------------------------- -- REGISTRATION (again) -- --------------------------------------------------------------------- For online registration visit: http://www.rdp2011.uns.ac.rs/practical/registration.html Regular registration closes on May 10. --------------------------------------------------------------------- -- CONTACT -- --------------------------------------------------------------------- See http://www.rdp2011.uns.ac.rs Any question can be addressed to rdp2011@uns.ac.rs