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.

38 results · clear filters Sort: newest oldest name

  1. Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part I
    2025 · Kutaisi, Georgia
    Computer and information sciences
    e11fw8k
  2. IEEE International Black Sea Conference on Communications and Networking, BlackSeaCom 2024, Tbilisi, Georgia, June 24-27, 2024
    2024 · Tbilisi, Georgia
    Computer and information sciences
    e10t0za
  3. 15th International Conference on Interactive Theorem Proving, ITP 2024, Tbilisi, Georgia, September 9-14, 2024
    2024 · Tbilisi, Georgia
    Computer and information sciences
    e11f3gv
  4. Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
    2023 · Batumi, Georgia
    Computer and information sciences
    e10vzec
  5. Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
    2023 · Tbilisi, Georgia
    Computer and information sciences
    e10ymcn
  6. IEEE East-West Design & Test Symposium, EWDTS 2023, Batumi, Georgia, September 22-25, 2023
    2023 · Batumi, Georgia
    Computer and information sciences
    e112ww4
  7. Logic, Language, and Computation - 14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18-22, 2023, Revised Selected Papers
    2023 · Telavi, Georgia
    Computer and information sciences
    e11wyxb
  8. Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
    2022 · Tbilisi, Georgia
    Computer and information sciences
    e11ask9
  9. Workshop Proceedings of the 16th International AAAI Conference on Web and Social Media, ICWSM 2022 Workshops, Atlanta, Georgia, USA [hybrid], June 6, 2022
    2022 · Georgia
    Computer and information sciences
    e11b411
  10. Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings
    2022 · Tbilisi, Georgia
    Computer and information sciences
    e11h06e
  11. Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings
    2022 · Tbilisi, Georgia
    Computer and information sciences
    e11je18
  12. Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings
    2022 · Tbilisi, Georgia
    Computer and information sciences
    e11ka7y
  13. PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022
    2022 · Tbilisi, Georgia
    Computer and information sciences
    e11p3n2
  14. Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings
    2022 · Tbilisi, Georgia
    Computer and information sciences
    e11qq6b
  15. Analysis of Images, Social Networks and Texts - 10th International Conference, AIST 2021, Tbilisi, Georgia, December 16-18, 2021, Revised Selected Papers
    2021 · Tbilisi, Georgia
    Computer and information sciences
    e10qc5s
  16. Recent Trends in Analysis of Images, Social Networks and Texts - 10th International Conference, AIST 2021, Tbilisi, Georgia, December 16-18, 2021, Revised Supplementary Proceedings
    2021 · Tbilisi, Georgia
    Computer and information sciences
    e10qc6q
  17. IEEE East-West Design & Test Symposium, EWDTS 2021, Batumi, Georgia, September 10-13, 2021
    2021 · Batumi, Georgia
    Computer and information sciences
    e112wv6
  18. Workshop Proceedings of the 14th International AAAI Conference on Web and Social Media, ICWSM 2020 Workshops, Atlanta, Georgia, USA [virtual], June 8, 2020
    2020 · Georgia
    Computer and information sciences
    e11b3y7
  19. 2019 IEEE East-West Design & Test Symposium, EWDTS 2019, Batumi, Georgia, September 13-16, 2019 (EWDTS)
    2019-09-13/16 · Batumi, Georgia
    Computer and information sciences
    e112wsa
  20. International Conference on Integrated Science (ICIS)
    2019-05-10/12 · Batumi, Georgia
    Computer and information sciences
    e12kr3q
  21. Language, Logic, and Computation - 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers
    2019 · Batumi, Georgia
    Computer and information sciences
    e11wywd
  22. International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC)
    2018-09-18/22 · Lagodekhi, Georgia
    Computer and information sciences
    e12p0ja
  23. 2018 IEEE International Black Sea Conference on Communications and Networking, BlackSeaCom 2018, Batumi, Georgia, June 4-7, 2018 (BLACKSEECOM)
    2018-06-04/07 · Batumi, Georgia
    Computer and information sciences
    e10t0tm
  24. 24th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2017, Batumi, Georgia, December 5-8, 2017 (ICECS 2017, ICECSYS)
    2017-12-05/08 · Batumi, Georgia
    Computer and information sciences
    e10egr1
  25. Language, Logic, and Computation - 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers (TBILLC)
    2017-09-18/22 · Lagodekhi, Georgia
    Computer and information sciences
    e11wyvf

As JSON: https://labs.confref.org/api/search?kind=event&field=1.2&country=GE