[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

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs