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

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