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.

9 results · clear filters Sort: newest oldest name

  1. 34th EACSL Annual Conference on Computer Science Logic, CSL 2026, Paris, France, February 23-28, 2026
    2026 · Paris, France
    Computer and information sciences
    e10y1rf
  2. Advances in Modal Logic (AiML 2022)
    2022-08-22/25 · Rennes, France
    Computer and information sciences
    e10q5g9
  3. 26th International Conference on Implementation and Application of Automata (CIAA 22)
    2022-06-28 to 2022-07-01 · Rouen, France
    Computer and information sciencesPhilosophy, ethics and religion
    e11ze48
  4. International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX 2020)
    2020-06-29 to 2020-07-05 · Paris, France
    Philosophy, ethics and religion
    e127dc9
  5. 25th EACSL Annual Conference on Computer Science Logic (CSL 2016, CSL)
    2016-08-29 to 2016-09-01 · Marseille, France
    Computer and information sciencesPhilosophy, ethics and religion
    e10y1f2
  6. 26th International Workshop on Computer Science Logic (CSL 2012, CSL)
    2012-09-03/06 · Fontainebleau, France
    Computer and information sciencesPhilosophy, ethics and religion
    e10y1ba
  7. Proceedings of the 11th Workshop on Logic, Language, Information and Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004
    2004 · Fontainebleau, France
    Computer and information sciences
    e120gvn
  8. 15th International Workshop on Computer Science Logic (CSL 2001, CSL)
    2001-09-10/13 · Paris, France
    Computer and information sciencesPhilosophy, ethics and religion
    e101zfz
  9. e124ygn (LICS 1994)
    1994-04-07 · Paris, France
    Philosophy, ethics and religion
    e124ygn

As JSON: https://labs.confref.org/api/search?discipline=Q8078&country=FR