Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

11 results · clear filters Sort: newest oldest name

  1. Formal Structures for Computation and Deduction (FSCD) / Rewriting Techniques and Applications (RTA) (RTA)
    2019-06-24/30 · Dortmund, Germany
    Computer and information sciences
    e12ngpm
  2. International Conference on Rewriting Techniques and Applications (RTA)
    series, 30 events, 1985 to 2019
    Computer and information sciences
    s10aggs
  3. Formal Structures for Computation and Deduction (FSCD) / Rewriting Techniques and Applications (RTA) (RTA)
    2018-07-07/12 · Oxford, United Kingdom
    Computer and information sciences
    e12ngnp
  4. Formal Structures for Computation and Deduction (FSCD) / Rewriting Techniques and Applications (RTA) (RTA)
    2017-09-03/09 · Oxford, United Kingdom
    Computer and information sciences
    e12ngmr
  5. Formal Structures for Computation and Deduction (FSCD) / Rewriting Techniques and Applications (RTA) (RTA)
    2016-06-22/26 · Porto, Portugal
    Computer and information sciences
    e12ngkt
  6. 26th International Conference on Rewriting Techniques and Applications, RTA 2015, Warsaw, Poland, June 29 - July 1, 2015 (RTA)
    2015-06-02 to 2015-07-02 · Warsaw, Poland
    Computer and information sciences
    e11qj6g
  7. International Conference on Rewriting Techniques and Applications (RTA, TLCA)
    2014-07-14/17 · Vienna, Austria
    Computer and information sciences
    e107dwa
  8. 24th International Conference on Rewriting Techniques and Applications, RTA 2013, Eindhoven, The Netherlands, June 24-26, 2013 (RTA)
    2013-06-24/26 · Kingdom of the Netherlands
    Computer and information sciences
    e11qj5j
  9. 23rd International Conference on Rewriting Techniques and Applications, RTA 2012, Nagoya, Japan, May 28 - June 2, 2012 (RTA)
    2012-05-28 to 2012-06-02 · Nagoya, Japan
    Computer and information sciences
    e11qj4m
  10. Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, Novi Sad, Serbia, May 30 - June 1, 2011 (RTA)
    2011-05-30 to 2011-06-01 · Novi Sad, Serbia
    Computer and information sciences
    e11qj3p
  11. Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, Edinburgh, Scottland, UK, July 11-13, 2010 (RTA)
    2010-07-11/13 · Edinburgh, United Kingdom
    Computer and information sciences
    e11qj2r

As JSON: https://labs.confref.org/api/search?series=s10aggs&from=2010&to=2019