99 results · clear filters Sort: newest oldest name

1. 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
2. 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
   2020-01-13/16 · Barcelona, Spain
   Computer and information sciencesPhilosophy, ethics and religion
   e10y1jv
3. International Conference on Inductive Logic Programming (ILP)
   series, 5 events, 2009 to 2020
   Computer and information sciencesPhilosophy, ethics and religion
   s126j1w
4. IEEE Symposium on Logic in Computer Science (LICS)
   series, 35 events, 1988 to 2020
   Philosophy, ethics and religion
   s126mpf
5. International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
   series, 5 events, 2016 to 2020
   Philosophy, ethics and religion
   s126mqd
6. International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)
   series, 1 events, 2020 to 2020
   Philosophy, ethics and religion
   s126tvz
7. International Symposium on Temporal Representation and Reasoning (TIME)
   series, 3 events, 2018 to 2020
   Philosophy, ethics and religion
   s126v0n
8. 26th International Symposium on Temporal Representation and Reasoning (TIME 2019)
   2019-10-16/19 · Málaga, Spain
   Philosophy, ethics and religion
   e127bmt
9. 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019)
   2019-10-08/10 · Porto, Portugal
   Philosophy, ethics and religion
   e124zyr
10. 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019)
    2019-06-24/27 · Vancouver, Canada
    Philosophy, ethics and religion
    e124z93
11. 25 th TIME International Symposium on Temporal Representation and Reasoning (TIME 2018)
    2018-10-15/17 · Warsaw, Poland
    Philosophy, ethics and religion
    e127bpp
12. 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
13. 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018)
    2018-09-04/06 · Frankfurt, Germany
    Philosophy, ethics and religion
    e124zxt
14. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018)
    2018-07-09/12 · Oxford, United Kingdom
    Philosophy, ethics and religion
    e124z85
15. 27th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2017)
    2017-10-10/12 · Namur, Belgium
    Philosophy, ethics and religion
    e124zww
16. 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
17. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)
    2017-06-20/23 · Reykjavík, Iceland
    Philosophy, ethics and religion
    e124z77
18. 5th Workshop on Logic and Search (LaSh 2016)
    2016-10-17 · New York City, United States
    Computer and information sciencesPhilosophy, ethics and religion
    e124wdy
19. 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016)
    2016-09-06/08 · Edinburgh, United Kingdom
    Philosophy, ethics and religion
    e124zvy
20. 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
21. 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
22. 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
23. 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)
    2015-07-06/10 · Kyoto, Japan
    Philosophy, ethics and religion
    e124z5b
24. 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
25. e124z4d (LICS 2014)
    2014-07-14/18 · Vienna, Austria
    Philosophy, ethics and religion
    e124z4d

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