Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
7 results · clear filters Sort: newest oldest name
- 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
- European Conference on Computing and Philosophy (ECAP 2008)Philosophy, ethics and religione12gbn5
- 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?field=6.3&country=FR