Home
Meetings
Proceedings
Steering Committee
Credits
Last updated:
Jul 2025
FroCoS
The International Symposium on Frontiers of Combining Systems
Meetings
| FroCoS 2025 | September 29 – October 1, 2025, Reykjavik, Iceland |
| IJCAR 2024 (*) | July 1–6, 2024, Nancy, France |
| FroCoS 2023 | September 20‐22, 2023, Prague, Czech Republic |
| IJCAR 2022 (*) | August 7–12, 2022, Haifa, Israel |
| FroCoS 2021 | September 8‐10, 2021, Birmingham, United Kingdom |
| IJCAR 2020 (*) | June 29 ‐ July 5, 2020, Paris, France |
| FroCoS 2019 | September 4‐6, 2019, London, United Kingdom |
| IJCAR 2018 (*) | July 14‐17, 2018, Oxford, United Kingdom |
| FroCoS 2017 | September 25‐29, 2017, Brasília, Brazil |
| IJCAR 2016 (*) | June 27‐July 2,27 2016, Coimbra, Portugal |
| FroCoS 2015 | September 19‐24, 2015, Wroclaw, Poland |
| IJCAR 2014 (*) | July 19‐22, 2014, Vienna, Austria |
| FroCoS 2013 | September 18‐20, 2013, Nancy, France |
| IJCAR 2012 (*) | June 26‐July 1, 2012, Manchester, UK |
| FroCoS 2011 | October 5‐7, 2011, Saarbrücken, Germany |
| IJCAR 2010 (*) | July 16‐19, 2010, Edinburgh, UK |
| FroCoS 2009 | September 16‐18, 2009, Trento, Italy |
| IJCAR 2008 (*) | August 12‐15, 2008, Sydney, Australia |
| FroCoS 2007 | September 10-12, 2007, Liverpool, UK |
| IJCAR 2006 (*) | August 16‐21, 2006, Seattle, USA |
| FroCoS 2005 | September 19-21, Vienna, Austria |
| IJCAR 2004 (*) | July 4‐8, 2004, Cork, Ireland |
| FroCoS 2002 | April 8‐10, 2002, Santa Margherita Ligure, Italy |
| FroCoS 2000 | March 22‐24, 2000 Nancy, France |
| FroCoS 1998 | October 2‐4, 1998, Amsterdam, the Netherlands |
| FroCoS 1996 | March 26‐29, 1996, Munich, Germany |
(*) Merged with other meetings (such as CADE, FTP, ITP, and TABLEAUX) into IJCAR, the International Joint Conference on Automated Reasoning.