25 results · clear filters Sort: newest oldest name

1. Frontiers of Combining Systems - 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings
   2025 · Reykjavík, Iceland
   Computer and information sciences
   e113yjm
2. Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
   2023 · Prague, Czech Republic
   Computer and information sciences
   e113yhp
3. Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings
   2021 · Birmingham, United Kingdom
   Computer and information sciences
   e113ygr
4. Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings (FROCOS)
   2019-09-04/06 · London, United Kingdom
   Computer and information sciences
   e113yfv
5. Frontiers of Combining Systems (FroCoS) (FROCOS)
   2018-07-14/17 · Oxford, United Kingdom
   Computer and information sciences
   e12k5q1
6. International Joint Conference on Automated Reasoning (IJCAR)
   2018-07-14/17 · Oxford, United Kingdom
   Computer and information sciences
   e12m6ha
7. International Symposium on Frontiers of Combining Systems (FroCoS)
   2017-09-27/29 · Brasília, Brazil
   Computer and information sciences
   e103gfa
8. International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2016)
   2016-06-27 to 2016-07-02 · Coimbra, Portugal
   Computer and information sciences
   e103gec
9. International Symposium on Frontiers of Combining Systems (FROCOS)
   2015-09-21/24 · Wrocław, Poland
   Computer and information sciences
   e103gde
10. International Joint Conference on Automated Reasoning (FROCOS, IJCAR)
    2014-07-19/22 · Vienna, Austria
    Computer and information sciences
    e103gcg
11. International Symposium on Frontiers of Combining Systems (FroCoS 2013, FroCoS)
    2013-09-18/20 · Nancy, France
    Computer and information sciences
    e103gbj
12. International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2012)
    2012-06-26/29 · Manchester, United Kingdom
    Computer and information sciences
    e103gam
13. International Symposium on Frontiers of Combining Systems (FroCoS)
    2011-10-05/07 · Saarbrücken, Germany
    Computer and information sciences
    e103g9p
14. International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2010)
    2010-07-16/19 · Edinburgh, United Kingdom
    Computer and information sciences
    e103g8r
15. International Symposium on Frontiers of Combining Systems (FroCoS)
    2009-09-16/18 · Trento, Italy
    Computer and information sciences
    e103g7t
16. International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2008)
    2008-08-12/15 · Sydney, Australia
    Computer and information sciences
    e103g6w
17. International Symposium on Frontiers of Combining Systems (FroCoS 2007, FroCoS)
    2007-09-10/12 · Liverpool, United Kingdom
    Computer and information sciences
    e103g5y
18. International Joint Conference on Automated Reasoning (FROCOS, IJCAR)
    2006-08-17/20 · Seattle, United States
    Computer and information sciences
    e103g40
19. International Workshop on Frontiers of Combining Systems (FroCoS)
    2005-09-19/21 · Vienna, Austria
    Computer and information sciences
    e103g32
20. International Joint Conference on Automated Reasoning (FROCOS, IJCAR)
    2004-07-04/08 · Cork, Ireland
    Computer and information sciences
    e103g24
21. International Workshop on Frontiers of Combining Systems (FroCoS)
    2002-04-08/10 · Santa Margherita Ligure, Italy
    Computer and information sciences
    e103g16
22. International Joint Conference on Automated Reasoning (IJCAR)
    2001-06-18/23 · Siena, Italy
    Computer and information sciences
    e103g08
23. International Workshop on Frontiers of Combining Systems (FroCoS)
    2000-03-22/24 · Nancy, France
    Computer and information sciences
    e103fza
24. Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings (FROCOS)
    1998-01-01 · Kingdom of the Netherlands
    Computer and information sciences
    e113yex
25. Frontiers of Combining Systems, First International Workshop FroCoS 1996, Munich, Germany, March 26-29, 1996, Proceedings (FROCOS)
    1996-03-26/29 · Munich, Germany
    Computer and information sciences
    e113ydz

As JSON: https://labs.confref.org/api/search?kind=event&field=1&series=s109qes