From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2O1HxB1009616 for ; Thu, 24 Mar 2011 02:18:01 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsEAOM4ik2FBs3D/2dsb2JhbAClQnfCYoVpBIU1 X-IronPort-AV: E=Sophos;i="4.63,234,1299452400"; d="scan'208";a="91008813" Received: from rigel.sakabe.i.is.nagoya-u.ac.jp ([133.6.205.195]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Mar 2011 02:17:59 +0100 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 644A24C714 for ; Thu, 24 Mar 2011 10:17:56 +0900 (JST) Date: Thu, 24 Mar 2011 10:17:56 +0900 (JST) Message-Id: <20110324.101756.31228397.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 Subject: [Caml-list] RDP 2011: 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 *** *** *** *** FIRST CALL FOR PARTICIPATION *** *** *** ******************************************************************** --------------------------------------------------------------------- -- REGISTRATION -- --------------------------------------------------------------------- For online registration visit: http://www.rdp2011.uns.ac.rs/practical/registration.html Early registration closes on April 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 --------------------------------------------------------------------- -- ASSOCIATED EVENTS -- --------------------------------------------------------------------- IFCoLog Student session organized by The International Federation for Computational Logic --------------------------------------------------------------------- -- 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 Early registration closes on April 10. --------------------------------------------------------------------- -- CONTACT -- --------------------------------------------------------------------- See http://www.rdp2011.uns.ac.rs Any question can be addressed to rdp2011@uns.ac.rs