[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