[TYPES/announce] RDP 2011 - FIRST CALL FOR PARTICIPATION

Luca Paolini paolini at di.unito.it
Fri Mar 25 09:01:22 EDT 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



More information about the Types-announce mailing list