Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
88 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
- Implementation and Application of Automata - 30th International Conference, CIAA 2026, Kingston, ON, Canada, August 5-8, 2026, ProceedingsComputer and information sciencese11ze80
- Logic, Language, Information, and Computation - 32nd International Workshop, WoLLIC 2026, Lima, Peru, August 3-6, 2026, ProceedingsComputer and information sciencese11zymq
- Implementation and Application of Automata - 29th International Conference, CIAA 2025, Palermo, Italy, September 22-25, 2025, ProceedingsComputer and information sciencese11ze72
- Logic, Language, Information, and Computation - 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, ProceedingsComputer and information sciencese11zyks
- 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)Computer and information sciencesPhilosophy, ethics and religione10y1pk
- Logic, Language, Information, and Computation - 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, ProceedingsComputer and information sciencese11zyjv
- 27th International Conference on Implementation and Application of Automata (CIAA 2023)Computer and information sciencesPhilosophy, ethics and religione11ze56
- 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)Computer and information sciencesPhilosophy, ethics and religione10y1nn
- Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, ProceedingsComputer and information sciencese11zyhx
- 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
- 30th EACSL Annual Conference on Computer Science Logic (CSL 2022)Computer and information sciencesPhilosophy, ethics and religione10y1mq
- Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, ProceedingsComputer and information sciencese11zygz
- International Conference on Implementation and Application of Automata (CIAA 2021)Computer and information sciencese11ze3a
- 29th EACSL Annual Conference on Computer Science Logic (CSL 2021)Computer and information sciencesPhilosophy, ethics and religione10y1ks
- Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, ProceedingsComputer and information sciencese11zyf2
- 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)Philosophy, ethics and religione127bkw
- International Conference on Inductive Logic Programming (ILP 2020)Philosophy, ethics and religione12498v
- 25th International Conference on Implementation and Application of Automata (CIAA 2020)Computer and information sciencesPhilosophy, ethics and religione12fwhz
- 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2020)Philosophy, ethics and religione124zzp
- International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX 2020)Philosophy, ethics and religione127dc9
- 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)Computer and information sciencesPhilosophy, ethics and religione10y1jv
- 26th International Symposium on Temporal Representation and Reasoning (TIME 2019)Philosophy, ethics and religione127bmt
- 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019)Philosophy, ethics and religione124zyr
As JSON: https://labs.confref.org/api/search?kind=event&discipline=Q8078