Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
3 results · clear filters Sort: newest oldest name
- Proceedings of the Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination 2026 (CI-BD-SOQE 2026), co-located with the 9th Federated Logic Conference (FLoC 2026), Lisbon, Portugal, July 24-25, 2026.Computer and information sciencese11vkds
- Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Online Event, November 4, 2021.Computer and information sciencese11gd2b
- Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017. (SOQE)Computer and information sciencese11vkcv
As JSON: https://labs.confref.org/api/search?kind=event&field=1&series=s123je8