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
- 34th EACSL Annual Conference on Computer Science Logic, CSL 2026, Paris, France, February 23-28, 2026Computer and information sciencese10y1rf
- Advances in Modal Logic (AiML 2022)Computer and information sciencese10q5g9
- 26th International Conference on Implementation and Application of Automata (CIAA 22)Computer and information sciencesPhilosophy, ethics and religione11ze48
- International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX 2020)Philosophy, ethics and religione127dc9
- 25th EACSL Annual Conference on Computer Science Logic (CSL 2016, CSL)Computer and information sciencesPhilosophy, ethics and religione10y1f2
- 26th International Workshop on Computer Science Logic (CSL 2012, CSL)Computer and information sciencesPhilosophy, ethics and religione10y1ba
- Proceedings of the 11th Workshop on Logic, Language, Information and Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004Computer and information sciencese120gvn
- 15th International Workshop on Computer Science Logic (CSL 2001, CSL)Computer and information sciencesPhilosophy, ethics and religione101zfz
- e124ygn (LICS 1994)Philosophy, ethics and religione124ygn
As JSON: https://labs.confref.org/api/search?discipline=Q8078&country=FR