coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] RDP 2015- Call for Participation -

From: Sophie Tison <sophie.tison AT univ-lille1.fr>
To: "sophie.tison AT univ-lille1.fr Tison" <sophie.tison AT univ-lille1.fr>
Cc: "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "alg.announce AT catalyse.net" <alg.announce AT catalyse.net>, "alp-diffusion AT univ-lille1.fr" <alp-diffusion AT univ-lille1.fr>, "appsem AT tcs.informatik.uni-muenchen.de" <appsem AT tcs.informatik.uni-muenchen.de>, "asl AT vassar.edu" <asl AT vassar.edu>, "cade AT itu.dk" <cade AT itu.dk>, "caml-list AT inria.fr" <caml-list AT inria.fr>, "categories AT mta.ca" <categories AT mta.ca>, "clean-list AT science.ru.nl" <clean-list AT science.ru.nl>, "clp AT comp.nus.edu.sg" <clp AT comp.nus.edu.sg>, "comlab AT comlab.ox.ac.uk" <comlab AT comlab.ox.ac.uk>, "complog AT cs.nmsu.edu" <complog AT cs.nmsu.edu>, "comprox AT doc.ic.ac.uk" <comprox AT doc.ic.ac.uk>, "compulognet-parimp AT dia.fi.upm.es" <compulognet-parimp AT dia.fi.upm.es>, "concurrency AT cwi.nl" <concurrency AT cwi.nl>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "cphc-conf AT jiscmail.ac.uk" <cphc-conf AT jiscmail.ac.uk>, "csd AT lists.ut.ee" <csd AT lists.ut.ee>, "dmanet AT zpr.uni-koeln.de" <dmanet AT zpr.uni-koeln.de>, "elsnet-list AT let.uu.nl" <elsnet-list AT let.uu.nl>, "finite-model-theory AT lists.rwth-aachen.de" <finite-model-theory AT lists.rwth-aachen.de>, "fmics AT inrialpes.fr" <fmics AT inrialpes.fr>, "gdr-im AT gdr-im.fr" <gdr-im AT gdr-im.fr>, "gratra AT lists.uni-paderborn.de" <gratra AT lists.uni-paderborn.de>, "haskell AT haskell.org" <haskell AT haskell.org>, "hol-info AT lists.sourceforge.net" <hol-info AT lists.sourceforge.net>, "ki-inf AT uni-koblenz.de" <ki-inf AT uni-koblenz.de>, "lfcs-interest AT dcs.ed.ac.uk" <lfcs-interest AT dcs.ed.ac.uk>, "linear AT cs.stanford.edu" <linear AT cs.stanford.edu>, "loco AT csc.liv.ac.uk" <loco AT csc.liv.ac.uk>, "logic AT cs.stanford.edu" <logic AT cs.stanford.edu>, "logic AT math.uni-bonn.de" <logic AT math.uni-bonn.de>, "logic-list AT helsinki.fi" <logic-list AT helsinki.fi>, "logik AT math.uni-freiburg.de" <logik AT math.uni-freiburg.de>, "lprolog AT cs.umn.edu" <lprolog AT cs.umn.edu>, "math.logik AT gmx.net" <math.logik AT gmx.net>, "Maude-users AT cs.uiuc.edu" <Maude-users AT cs.uiuc.edu>, "moca-announce AT list.it.uu.se" <moca-announce AT list.it.uu.se>, "newsletter AT aarinc.org" <newsletter AT aarinc.org>, "nvti-list AT cwi.nl" <nvti-list AT cwi.nl>, "om-announce AT openmath.org" <om-announce AT openmath.org>, "pmt6sbc AT leeds.ac.uk" <pmt6sbc AT leeds.ac.uk>, "PlanetKR AT KR.ORG" <PlanetKR AT KR.ORG>, "prog-lang AT diku.dk" <prog-lang AT diku.dk>, "prole AT babel.ls.fi.upm.es" <prole AT babel.ls.fi.upm.es>, "proof-complexity AT math.cas.cz" <proof-complexity AT math.cas.cz>, "puml-list AT cs.york.ac.uk" <puml-list AT cs.york.ac.uk>, "relmics-l AT McMaster.CA" <relmics-l AT McMaster.CA>, "rewriting AT listes.ens-lyon.fr" <rewriting AT listes.ens-lyon.fr>, "sicstus-users-request AT sics.se" <sicstus-users-request AT sics.se>, "softtech AT cs.uu.nl" <softtech AT cs.uu.nl>, "spin_list AT research.bell-labs.com" <spin_list AT research.bell-labs.com>, "theorem-provers AT ai.mit.edu" <theorem-provers AT ai.mit.edu>, "theory AT cl.cam.ac.uk" <theory AT cl.cam.ac.uk>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "vki-list AT dfki.de" <vki-list AT dfki.de>
Subject: [Coq-Club] RDP 2015- Call for Participation -
Date: Wed, 8 Apr 2015 09:57:21 +0200

****************************************************************************
*** 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:
rdp15 AT mimuw.edu.pl

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

[Coq-Club] RDP 2015- Call for Participation -, Sophie Tison, 04/08/2015