Meetings

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.