coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] RDP 2013 (RTA+TLCA) Call for Participation

From: Herman Geuvers <herman AT cs.ru.nl>
To: coq-club AT inria.fr
Subject: [Coq-Club] RDP 2013 (RTA+TLCA) Call for Participation
Date: Wed, 22 May 2013 09:44:03 +0200

*********************************************************************
*** Federated Conference on Rewriting, Deduction, and Programming ***
*** RDP 2013: RTA + TLCA ***
*** 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/

[Coq-Club] RDP 2013 (RTA+TLCA) Call for Participation, Herman Geuvers, 05/22/2013