34 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. International Workshop on Logic, Language, Information, and Computation (WoLLIC)
   series, 32 events, 1994 to 2026
   Computer and information sciences
   s10assy
4. Advances in Modal Logic (AiML)
   series, 16 events, 1996 to 2026
   Computer and information sciencesPhilosophy, ethics and religion
   s10b1nw
5. International Conference on Inductive Logic Programming (ILP)
   series, 5 events, 2009 to 2020
   Computer and information sciencesPhilosophy, ethics and religion
   s126j1w
6. IEEE Symposium on Logic in Computer Science (LICS)
   series, 35 events, 1988 to 2020
   Philosophy, ethics and religion
   s126mpf
7. International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
   series, 5 events, 2016 to 2020
   Philosophy, ethics and religion
   s126mqd
8. International Symposium on Temporal Representation and Reasoning (TIME)
   series, 3 events, 2018 to 2020
   Philosophy, ethics and religion
   s126v0n
9. 26th International Symposium on Temporal Representation and Reasoning (TIME 2019)
   2019-10-16/19 · Málaga, Spain
   Philosophy, ethics and religion
   e127bmt
10. 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019)
    2019-10-08/10 · Porto, Portugal
    Philosophy, ethics and religion
    e124zyr
11. 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019)
    2019-06-24/27 · Vancouver, Canada
    Philosophy, ethics and religion
    e124z93
12. 25 th TIME International Symposium on Temporal Representation and Reasoning (TIME 2018)
    2018-10-15/17 · Warsaw, Poland
    Philosophy, ethics and religion
    e127bpp
13. 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
14. 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018)
    2018-09-04/06 · Frankfurt, Germany
    Philosophy, ethics and religion
    e124zxt
15. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018)
    2018-07-09/12 · Oxford, United Kingdom
    Philosophy, ethics and religion
    e124z85
16. 27th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2017)
    2017-10-10/12 · Namur, Belgium
    Philosophy, ethics and religion
    e124zww
17. 26th EACSL Annual Conference on Computer Science Logic (CSL 2017, CSL)
    2017-08-20/24 · Stockholm, Sweden
    Computer and information sciencesPhilosophy, ethics and religion
    e10y1gz
18. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)
    2017-06-20/23 · Reykjavík, Iceland
    Philosophy, ethics and religion
    e124z77
19. 5th Workshop on Logic and Search (LaSh 2016)
    2016-10-17 · New York City, United States
    Computer and information sciencesPhilosophy, ethics and religion
    e124wdy
20. 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016)
    2016-09-06/08 · Edinburgh, United Kingdom
    Philosophy, ethics and religion
    e124zvy
21. 25th EACSL Annual Conference on Computer Science Logic (CSL 2016, CSL)
    2016-08-29 to 2016-09-01 · Marseille, France
    Computer and information sciencesPhilosophy, ethics and religion
    e10y1f2
22. 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016)
    2016-07-05/08 · New York City, United States
    Philosophy, ethics and religion
    e124z69
23. 24th EACSL Annual Conference on Computer Science Logic (CSL 2015, CSL)
    2015-09-07/10 · Berlin, Germany
    Computer and information sciencesPhilosophy, ethics and religion
    e10y1e4
24. 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)
    2015-07-06/10 · Kyoto, Japan
    Philosophy, ethics and religion
    e124z5b
25. 23rd EACSL Annual Conference on Computer Science Logic (CSL 2014, CSL)
    2014-07-14/18 · Vienna, Austria
    Computer and information sciencesPhilosophy, ethics and religion
    e10y1d6

As JSON: https://labs.confref.org/api/search?discipline=Q8078&from=2010&to=2019