[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
**************************************************************************** *** Federated Conference on Rewriting, Deduction, and Programming *** RDP 2015 *** June 26 - July 3, 2015 *** Warsaw, Poland *** http://rdp15.mimuw.edu.pl *** *** CALL FOR PARTICIPATION *** ***************************************************************************** ************* EARLY REGISTRATION CLOSES ON MAY 22 ************* --------------------------------------------------------------------- -- REGISTRATION -- --------------------------------------------------------------------- For online registration visit: http://rdp15.mimuw.edu.pl/index.php?site=registration Early registration closes on May 22. --------------------------------------------------------------------- -- ABOUT RDP -- --------------------------------------------------------------------- RDP'15 is the eighth edition of the biannual Federated Conference on Rewriting, Deduction, and Programming, consisting of two main conferences and related events. --------------------------------------------------------------------- -- RDP MAIN CONFERENCES -- --------------------------------------------------------------------- RTA 2015 The 26th International Conference on Rewriting Techniques and Applications June 29 - July 1, 2015 TLCA 2015 The 13th International Conference on Typed Lambda Calculi and Applications July 1 - July 3, 2015 --------------------------------------------------------------------- -- RDP 2015 INVITED SPEAKERS -- --------------------------------------------------------------------- Grigore Roşu (University of Illinois at Urbana-Champaign, USA) Carolyn Talcott (SRI International, USA) Hélène Kirchner (INRIA, France) Herman Geuvers (RU, Nijmegen and TU/e, The Netherlands) Martin Hofmann (LMU, Germany) --------------------------------------------------------------------- -- WORKSHOPS -- --------------------------------------------------------------------- HDRA: Higher-Dimensional Rewriting and Applications, June 28 IFIP WG 1.6: IFIP Working Group 1.6 on Term Rewriting, June 28 HoTT/UF: Workshop on Homotopy Type Theory / Univalent Foundations, June 29-30 UNIF: International Workshop on Unification, June 28 WPTE: Workshop on Rewriting Techniques for Program Transformations and Evaluation, July 2 --------------------------------------------------------------------- -- TUTORIALS -- --------------------------------------------------------------------- PhD Open: Implicit Computational Complexity, Ugo Dal Lago, June 26-27 HFL: Homotopy for Laymen, Krzysztof Ziemiański, June 28 CAT: Coq for Algebraic Topologists, Jacek Chrząszcz, June 28 --------------------------------------------------------------------- -- REGISTRATION (again) -- --------------------------------------------------------------------- For online registration visit: http://rdp15.mimuw.edu.pl/index.php?site=registration Early registration closes on May 22. --------------------------------------------------------------------- -- CONTACT -- --------------------------------------------------------------------- WWW: http://rdp15.mimuw.edu.pl/ E-mail: rd...@mimuw.edu.pl ---------------------------------------------------------------------