[Agda] RDP 2013 Call for Participation

Luca Paolini paolini at di.unito.it
Tue May 14 09:53:45 CEST 2013


*********************************************************************
*** Federated Conference on Rewriting, Deduction, and Programming ***
***                            RDP 2013                           ***
***                    June 23 - June 28, 2013                    ***
***                   Eindhoven, The Netherlands                  ***
***                 http://www.win.tue.nl/rdp2013/                ***
***                                                               ***
***                     CALL FOR PARTICIPATION                    ***
***                                                               ***
*********************************************************************


*************   EARLY REGISTRATION CLOSES ON JUNE 1     *************

---------------------------------------------------------------------
-- REGISTRATION --
---------------------------------------------------------------------

For online registration visit:
   http://www.win.tue.nl/rdp2013/reg.html

Early registration closes on June 1.

---------------------------------------------------------------------
-- ABOUT RDP --
---------------------------------------------------------------------

RDP'13 is the seventh edition of the biannual Federated Conference on
Rewriting, Deduction, and Programming, consisting of two main
conferences and related events.

---------------------------------------------------------------------
-- RDP MAIN CONFERENCES --
---------------------------------------------------------------------

RTA 2013      The 24th International Conference on
               Rewriting Techniques and Applications
               June 24 - June 26, 2013

TLCA 2013     The 11th International Conference on
               Typed Lambda Calculi and Applications
               June 26 - June 28, 2013

---------------------------------------------------------------------
-- RDP 2013 INVITED SPEAKERS --
---------------------------------------------------------------------

Hugo Herbelin (INRIA, France)

Jarkko Kari (University of Turku, Finland)

Damiano Mazza (CNRS and Universite Paris-Nord, France)

Mitsu Okada (Keio University, Japan)

Simon Peyton-Jones (Microsoft Research, UK)

---------------------------------------------------------------------
-- WORKSHOPS --
---------------------------------------------------------------------

COS: Control Operators and their Semantics, June 24-25

IFIP WG 1.6: IFIP Working Group 1.6 on Term Rewriting, June 27

HART: Haskell And Rewriting Techniques, June 27

UNIF: International Workshop on Unification, June 27

IWC: International Workshop on Confluence, June 28

WIR: Workshop on Infinitary Rewriting, June 28

---------------------------------------------------------------------
-- REGISTRATION (again) --
---------------------------------------------------------------------

For online registration visit:
   http://www.win.tue.nl/rdp2013/reg.html

Early registration closes on June 1.

---------------------------------------------------------------------
-- CONTACT --
---------------------------------------------------------------------

See http://www.win.tue.nl/rdp2013/

---------------------------------------------------------------------


More information about the Agda mailing list