22 results · clear filters Sort: newest oldest name

1. 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
2. Frontiers of Combining Systems (FroCoS) (FROCOS)
   2018-07-14/17 · Oxford, United Kingdom
   Computer and information sciences
   e12k5q1
3. International Joint Conference on Automated Reasoning (IJCAR)
   2018-07-14/17 · Oxford, United Kingdom
   Computer and information sciences
   e12m6ha
4. International Symposium on Frontiers of Combining Systems (FroCoS)
   2017-09-27/29 · Brasília, Brazil
   Computer and information sciences
   e103gfa
5. International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2016)
   2016-06-27 to 2016-07-02 · Coimbra, Portugal
   Computer and information sciences
   e103gec
6. International Symposium on Frontiers of Combining Systems (FROCOS)
   2015-09-21/24 · Wrocław, Poland
   Computer and information sciences
   e103gde
7. International Joint Conference on Automated Reasoning (FROCOS, IJCAR)
   2014-07-19/22 · Vienna, Austria
   Computer and information sciences
   e103gcg
8. International Symposium on Frontiers of Combining Systems (FroCoS 2013, FroCoS)
   2013-09-18/20 · Nancy, France
   Computer and information sciences
   e103gbj
9. International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2012)
   2012-06-26/29 · Manchester, United Kingdom
   Computer and information sciences
   e103gam
10. International Symposium on Frontiers of Combining Systems (FroCoS)
    2011-10-05/07 · Saarbrücken, Germany
    Computer and information sciences
    e103g9p
11. International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2010)
    2010-07-16/19 · Edinburgh, United Kingdom
    Computer and information sciences
    e103g8r
12. International Symposium on Frontiers of Combining Systems (FroCoS)
    2009-09-16/18 · Trento, Italy
    Computer and information sciences
    e103g7t
13. International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2008)
    2008-08-12/15 · Sydney, Australia
    Computer and information sciences
    e103g6w
14. International Symposium on Frontiers of Combining Systems (FroCoS 2007, FroCoS)
    2007-09-10/12 · Liverpool, United Kingdom
    Computer and information sciences
    e103g5y
15. International Joint Conference on Automated Reasoning (FROCOS, IJCAR)
    2006-08-17/20 · Seattle, United States
    Computer and information sciences
    e103g40
16. International Workshop on Frontiers of Combining Systems (FroCoS)
    2005-09-19/21 · Vienna, Austria
    Computer and information sciences
    e103g32
17. International Joint Conference on Automated Reasoning (FROCOS, IJCAR)
    2004-07-04/08 · Cork, Ireland
    Computer and information sciences
    e103g24
18. International Workshop on Frontiers of Combining Systems (FroCoS)
    2002-04-08/10 · Santa Margherita Ligure, Italy
    Computer and information sciences
    e103g16
19. International Joint Conference on Automated Reasoning (IJCAR)
    2001-06-18/23 · Siena, Italy
    Computer and information sciences
    e103g08
20. International Workshop on Frontiers of Combining Systems (FroCoS)
    2000-03-22/24 · Nancy, France
    Computer and information sciences
    e103fza
21. 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
22. 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&discipline=Q21198&series=s109qes