********************************************************************* *** 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/ --------------------------------------------------------------------- ------------------------------------------------------------------------------ AlienVault Unified Security Management (USM) platform delivers complete security visibility with the essential security capabilities. Easily and efficiently configure, manage, and operate all of your security controls from a single console and one unified framework. Download a free trial. http://p.sf.net/sfu/alienvault_d2d _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
