ELSNET-list archive

Category:   E-Conf
Email:   paolini_(on)_di.unito.it
Date received:   24 Mar 2011
Deadline:   10 Apr 2011
Start date:   29 May 2011

******************************************************************** *** 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_(at)_uns.ac.rs _______________________________________________ Elsnet-list mailing list Elsnet-list_(at)_mailman.let.uu.nl http://mailman.elsnet.org/mailman/listinfo/elsnet-list

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 11-04-2011 by Steven Krauwer Disclaimer / Contact ELSNET