83 results · clear filters Sort: newest oldest name

1. Annual Conference on Computer Science Logic (CSL)
   series, 39 events, 1987 to 2026
   Computer and information sciencesPhilosophy, ethics and religion
   s109f9b
2. International Conference on Implementation and Application of Automata (CIAA)
   series, 31 events, 1996 to 2026
   Computer and information sciencesPhilosophy, ethics and religion
   s10as65
3. Advances in Modal Logic (AiML)
   series, 16 events, 1996 to 2026
   Computer and information sciencesPhilosophy, ethics and religion
   s10b1nw
4. 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
   2024-02-19/23 · Naples, Italy
   Computer and information sciencesPhilosophy, ethics and religion
   e10y1pk
5. 27th International Conference on Implementation and Application of Automata (CIAA 2023)
   2023-09-19/22 · Agios Sergios, Cyprus
   Computer and information sciencesPhilosophy, ethics and religion
   e11ze56
6. 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
   2023-02-13/16 · Warsaw, Poland
   Computer and information sciencesPhilosophy, ethics and religion
   e10y1nn
7. 26th International Conference on Implementation and Application of Automata (CIAA 22)
   2022-06-28 to 2022-07-01 · Rouen, France
   Computer and information sciencesPhilosophy, ethics and religion
   e11ze48
8. 30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
   2022-02-14/19 · Göttingen, Germany · online
   Computer and information sciencesPhilosophy, ethics and religion
   e10y1mq
9. 29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
   2021-01-25/28 · Ljubljana, Slovenia · online
   Computer and information sciencesPhilosophy, ethics and religion
   e10y1ks
10. 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
    2020-09-23/25 · Italy
    Philosophy, ethics and religion
    e127bkw
11. International Conference on Inductive Logic Programming (ILP 2020)
    2020-09-09/11 · Athens, Greece
    Philosophy, ethics and religion
    e12498v
12. 25th International Conference on Implementation and Application of Automata (CIAA 2020)
    2020-09-08/11 · Loughborough, United Kingdom
    Computer and information sciencesPhilosophy, ethics and religion
    e12fwhz
13. 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2020)
    2020-09-07/09 · Bologna, Italy
    Philosophy, ethics and religion
    e124zzp
14. International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX 2020)
    2020-06-29 to 2020-07-05 · Paris, France
    Philosophy, ethics and religion
    e127dc9
15. 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
    2020-01-13/16 · Barcelona, Spain
    Computer and information sciencesPhilosophy, ethics and religion
    e10y1jv
16. International Conference on Inductive Logic Programming (ILP)
    series, 5 events, 2009 to 2020
    Computer and information sciencesPhilosophy, ethics and religion
    s126j1w
17. IEEE Symposium on Logic in Computer Science (LICS)
    series, 35 events, 1988 to 2020
    Philosophy, ethics and religion
    s126mpf
18. International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
    series, 5 events, 2016 to 2020
    Philosophy, ethics and religion
    s126mqd
19. International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)
    series, 1 events, 2020 to 2020
    Philosophy, ethics and religion
    s126tvz
20. International Symposium on Temporal Representation and Reasoning (TIME)
    series, 3 events, 2018 to 2020
    Philosophy, ethics and religion
    s126v0n
21. 26th International Symposium on Temporal Representation and Reasoning (TIME 2019)
    2019-10-16/19 · Málaga, Spain
    Philosophy, ethics and religion
    e127bmt
22. 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019)
    2019-10-08/10 · Porto, Portugal
    Philosophy, ethics and religion
    e124zyr
23. 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019)
    2019-06-24/27 · Vancouver, Canada
    Philosophy, ethics and religion
    e124z93
24. 25 th TIME International Symposium on Temporal Representation and Reasoning (TIME 2018)
    2018-10-15/17 · Warsaw, Poland
    Philosophy, ethics and religion
    e127bpp
25. 27th EACSL Annual Conference on Computer Science Logic (CSL 2018, CSL)
    2018-09-04/07 · Birmingham, United Kingdom
    Computer and information sciencesPhilosophy, ethics and religion
    e10y1hx

As JSON: https://labs.confref.org/api/search?field=6&discipline=Q8078