74 results · clear filters Sort: newest oldest name

1. 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
   2024-02-19/23 · Naples, Italy
   Computer and information sciencesPhilosophy, ethics and religion
   e10y1pk
2. 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
3. 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
   2023-02-13/16 · Warsaw, Poland
   Computer and information sciencesPhilosophy, ethics and religion
   e10y1nn
4. 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
5. 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
6. 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
7. 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
   2020-09-23/25 · Italy
   Philosophy, ethics and religion
   e127bkw
8. International Conference on Inductive Logic Programming (ILP 2020)
   2020-09-09/11 · Athens, Greece
   Philosophy, ethics and religion
   e12498v
9. 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
10. 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2020)
    2020-09-07/09 · Bologna, Italy
    Philosophy, ethics and religion
    e124zzp
11. 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
12. 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
    2020-01-13/16 · Barcelona, Spain
    Computer and information sciencesPhilosophy, ethics and religion
    e10y1jv
13. 26th International Symposium on Temporal Representation and Reasoning (TIME 2019)
    2019-10-16/19 · Málaga, Spain
    Philosophy, ethics and religion
    e127bmt
14. 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019)
    2019-10-08/10 · Porto, Portugal
    Philosophy, ethics and religion
    e124zyr
15. 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019)
    2019-06-24/27 · Vancouver, Canada
    Philosophy, ethics and religion
    e124z93
16. 25 th TIME International Symposium on Temporal Representation and Reasoning (TIME 2018)
    2018-10-15/17 · Warsaw, Poland
    Philosophy, ethics and religion
    e127bpp
17. 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
18. 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018)
    2018-09-04/06 · Frankfurt, Germany
    Philosophy, ethics and religion
    e124zxt
19. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018)
    2018-07-09/12 · Oxford, United Kingdom
    Philosophy, ethics and religion
    e124z85
20. 27th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2017)
    2017-10-10/12 · Namur, Belgium
    Philosophy, ethics and religion
    e124zww
21. 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
22. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)
    2017-06-20/23 · Reykjavík, Iceland
    Philosophy, ethics and religion
    e124z77
23. 5th Workshop on Logic and Search (LaSh 2016)
    2016-10-17 · New York City, United States
    Computer and information sciencesPhilosophy, ethics and religion
    e124wdy
24. 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016)
    2016-09-06/08 · Edinburgh, United Kingdom
    Philosophy, ethics and religion
    e124zvy
25. 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

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