[Agda] RDP 2011 - Second Call for Participation

Luca Paolini paolini at di.unito.it
Thu Apr 21 10:20:04 CEST 2011


[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 at uns.ac.rs






More information about the Agda mailing list