CADE 2013 | 43.7 | | Lake Placid | USA | | 6 September 2013 | 14 June 2013 | | |
CADE 2015 | 42.9 | | Berlin | Germany | | 8 January 2015 | 8 July 2015 | | |
CADE 2017 | 44.9 | 26th International Conference on Automated Deduction | Gothenburg | Sweden | 18 February 2017 | 8 August 2017 | 11 August 2017 | | |
CADE1997 | 48.3 | | Townsville | Australia | | 13 July 1997 | 17 July 1997 | | |
CAIP 2011 | 48.3 | 14th InternationalConference on Computer Analysis of Images and Patterns | Seville | Spain | | 29 August 2011 | 31 August 2011 | | |
CAIP 2013 | 58.4 | 15th International Conference on Computer Analysis of Images and Patterns | York | UK | | 27 August 2013 | 29 August 2013 | | |
CANS 2020 | 25.4 | International Conference on Cryptology and Network Security | Vienna | Online | 5 July 2020 | 14 December 2020 | 16 December 2020 | | |
CARDIS 2017 | 29.2 | 16th Smart Card Research and Advanced Application Conference | Lugano | Switzerland | | 13 November 2017 | 15 November 2017 | | |
CARDIS 2018 | 46.4 | 17th Smart Card Research and Advanced Application Conference | Montpellier | France | | 12 November 2018 | 14 November 2018 | | |
CARDIS 2019 | 48.4 | 18th Smart Card Research and Advanced Application Conference | Prague | Czech Republic | | 11 November 2019 | 13 November 2019 | | |
CARDIS 2020 | 46.2 | Smart Card Research and Advanced Application Conference | Lübeck | Online | 14 July 2020 | 18 November 2020 | 19 November 2020 | | |
CASES 2018 | 19.4 | International Conference on Compilers, Architectures, and Synthesis for Embedded Systems | Torino | Italy | 3 April 2018 | 30 September 2018 | 5 October 2018 | | |
CAV 1992 | 41.3 | Computer Aided Verification | Montreal | Canada | | 29 June 1992 | 1 July 1992 | | |
CAV 1993 | 44.0 | Computer Aided Verification | Elouanda | Greece | | 28 June 1993 | 1 July 1993 | | |
CAV 1994 | 30.6 | Computer Aided Verification | Stanford | USA | | 21 June 1994 | 23 June 1994 | | |
CAV 1995 | 40.3 | Computer Aided Verification | Liege | Belgium | | 3 June 1995 | 5 June 1995 | | |
CAV 1996 | 34.4 | Computer Aided Verification | New Brunswick | USA | | 31 July 1996 | 3 August 1996 | | |
CAV 1997 | 40.5 | Computer Aided Verification | Haifa | Israel | | 22 June 1997 | 25 June 1997 | | |
CAV 1998 | 28.2 | Computer Aided Verification | Vancouver | Canada | | 28 June 1998 | 2 July 1998 | | |
CAV 1999 | 31.8 | Computer Aided Verification | Trento | Italy | | 6 July 1999 | 10 July 1999 | | |
CAV 2000 | 38.5 | Computer Aided Verification | Chicago | USA | | 15 July 2000 | 19 July 2000 | | |
CAV 2001 | 31.1 | Computer Aided Verification | Paris | France | | 18 July 2001 | 22 July 2001 | | |
CAV 2002 | 37.2 | Computer Aided Verification | Copenhagen | Denmark | | 27 July 2002 | 31 July 2002 | | |
CAV 2003 | 36.8 | Computer Aided Verification | Boulder | USA | | 8 July 2003 | 12 July 2003 | | |
CAV 2004 | 33.3 | Computer Aided Verification | Boston | USA | | 13 July 2004 | 17 July 2004 | | |
CAV 2005 | 26.0 | Computer Aided Verification | Edinburgh | UK | | 6 July 2005 | 10 July 2005 | | |
CAV 2006 | 28.9 | Computer Aided Verification | Seattle | USA | | 17 August 2006 | 20 August 2006 | | |
CAV 2007 | 24.6 | Computer Aided Verification | Berlin | Germany | | 3 July 2007 | 7 July 2007 | | |
CAV 2008 | 31.7 | Computer Aided Verification | Princeton | USA | | 7 July 2008 | 14 July 2008 | | |
CAV 2009 | 26.7 | Computer Aided Verification | Grenoble | France | | 26 June 2009 | 2 July 2009 | | |
CAV 2010 | 35.2 | Computer Aided Verification | Edinburgh | UK | | 15 July 2010 | 19 July 2010 | | |
CAV 2011 | 34.2 | Computer Aided Verification | Cliff Lodge | USA | | 14 July 2011 | 20 July 2011 | | |
CAV 2012 | 31.4 | Computer Aided Verification | Berkeley | USA | | 7 July 2012 | 13 July 2012 | | |
CAV 2013 | 34.0 | Computer Aided Verification | Saint Petersburg | Russia | | 13 July 2013 | 19 July 2013 | | |
CAV 2014 | 29.3 | Computer Aided Verification | Vienna | Austria | | 18 July 2014 | 22 July 2014 | | |
CAV 2015 | 27.0 | Computer Aided Verification | San Francisco | USA | | 18 July 2015 | 24 July 2015 | | |
CAV 2016 | 27.9 | Computer Aided Verification | Toronto | Canada | | 17 July 2016 | 23 July 2016 | | |
CAV 2017 | 26.2 | International Conference on Computer Aided Verification | Heidelberg | Germany | | 24 July 2017 | 28 July 2017 | | |
CAV 2018 | 24.2 | International Conference on Computer Aided Verification | Oxford | UK | | 14 July 2018 | 17 July 2018 | | |
CAV 2019 | 25.2 | International Conference on Computer-Aided Verification | New York City | USA | | 15 July 2019 | 18 July 2019 | | |
CAV 2020 | 27.1 | International Conference on Computer Aided Verification | Los Angeles | Online | 28 January 2020 | 19 July 2020 | 24 July 2020 | | |
CAiSE 2017 | 20.8 | 29th International Conference on Advanced Information Systems Engineering | Essen | Germany | 4 December 2016 | 12 June 2017 | 16 June 2017 | | |
CAiSE 2018 | 20.7 | 30th International Conference on Advanced Information Systems Engineering | Tallinn | Estonia | | 11 June 2018 | 15 June 2018 | | |
CAiSE 2019 | 19.9 | 31st Conference on Advanced Information Systems Engineering | Rome | Italy | | 3 June 2019 | 7 June 2019 | | |
CAiSE 2020 | 17.8 | 32nd International Conference on Advanced Information Systems Engineering | Grenoble | Online | | 8 June 2020 | 12 June 2020 | | |
CCC 2020 | 37.6 | 35th Computational Complexity Conference | Saarbrücken | Online | 17 February 2020 | 28 July 2020 | 31 July 2020 | | |
CCGrid 2001 | 38.1 | International Symposium on Cluster Computing and the Grid 2001 | Brisbane | | | | | | |
CCGrid 2002 | 25.0 | International Symposium on Cluster Computing and the Grid 2002 | Tokyo | | | | | | |
CCGrid 2003 | 34.2 | International Symposium on Cluster Computing and the Grid 2003 | Berlin | | | | | | |
CCGrid 2004 | 27.5 | International Symposium on Cluster Computing and the Grid 2004 | Chicago | | | | | | |