Conference series Beta

International Conference on Automated Deduction

CADE

Events: 37 (1980 to 2025)
Academic field: Natural sciences: Computer and information sciences
Disciplines: automated theorem proving, computer science
Identifier: https://id.confref.org/series/s109anq

Events (37)

19802025

Year	No.	Event	Place	Date
2025	30	Automated Deduction - CADE 30 - 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings	Stuttgart
2023	29	Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings	Rome
2021	28	Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
2019	27	Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings CADE	Natal	2019-08-27/30
2018		International Conference on Automated Deduction (CADE) CADE	Oxford	2018-07-13/19
2017	26	International Conference on Automated Deduction CADE	Gothenburg	2017-08-06/11
2016		International Conference on Automated Deduction (CADE) CADE	Coimbra	2016-06-01 to 2016-07-02
2015	25	International Conference on Automated Deduction CADE	Berlin	2015-08-01/07
2014		International Conference on Automated Deduction (CADE) CADE	Vienna	2014-07-19/24
2013	24	International Conference on Automated Deduction CADE	Lake Placid	2013-06-09/14
2012		International Conference on Automated Deduction (CADE) CADE	Manchester	2012-06-01 to 2012-07-30
2011	23	International Conference on Automated Deduction CADE	Wrocław	2011-07-31 to 2011-08-05
2010		International Conference on Automated Deduction (CADE) CADE	Edinburgh	2010-03-14
2009	22	International Conference on Automated Deduction CADE	Montreal	2009-08-02/07
2008		International Conference on Automated Deduction (CADE) CADE	Sydney	2008-08-10/15
2007	21	International Conference on Automated Deduction CADE	Bremen	2007-07-17/20
2007	4	Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007	Bremen
2007	17	Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007	Bremen
2006		International Conference on Automated Deduction (CADE) CADE	Seattle	2006-08-17/20
2005	20	International Conference on Automated Deduction CADE	Tallinn	2005-07-22/27
2004		International Conference on Automated Deduction (CADE) CADE	Cork	2004-07-04/08
2003	19	International Conference on Automated Deduction CADE	Miami Beach	2003-07-28 to 2003-08-02
2002	18	International Conference on Automated Deduction CADE	Copenhagen	2002-07-27/30
2001		International Conference on Automated Deduction (CADE) CADE	Siena	2001-01-01
2000	17	International Conference on Automated Deduction CADE	Pittsburgh	2000-06-17/20
1999	16	International Conference on Automated Deduction CADE	Trento	1999-07-07/10
1998	15	International Conference on Automated Deduction CADE	Lindau	1998-07-05/10
1997	14	International Conference on Automated Deduction CADE	Townsville	1997-07-13/17
1996	13	International Conference on Automated Deduction CADE	New Brunswick	1996-07-30 to 1996-08-03
1994	12	International Conference on Automated Deduction CADE	Nancy	1994-06-26 to 1994-07-01
1992	11	International Conference on Automated Deduction CADE	Saratoga Springs	1992-06-15/18
1990	10	International Conference on Automated Deduction CADE	Kaiserslautern	1990-07-24/27
1988	9	International Conference on Automated Deduction CADE	Argonne	1988-05-23/26
1986	8	International Conference on Automated Deduction CADE	Oxford	1986-07-27 to 1986-08-01
1984	7	International Conference on Automated Deduction CADE	Napa	1984-05-14/16
1982	6	International Conference on Automated Deduction CADE	New York City	1982-06-07/09
1980	5	International Conference on Automated Deduction CADE	Les Arcs	1980-07-08/11

The events on the map · in the search · calendar of coming events

Ratings

As the rating systems gave them at the date shown; a rating dataset keeps them as its source published them.

System	Value	Date	Dataset
CORE	App	2017-04-06	ratings-springer-lod
GII-GRIN-SCIE	A	2017-04-06	ratings-springer-lod
h5-index	17	2017	ratings-springer-lod · source
h5-median	42	2017	ratings-springer-lod · source
Qualis	A	2017-04-06	ratings-springer-lod

Sources

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/confseries/cade`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/cade`
Wikidata	`http://www.wikidata.org/entity/Q5159939`
dblp	`https://dblp.org/streams/conf/cade`
GND	`https://d-nb.info/gnd/125954-4`

Cite

International Conference on Automated Deduction. confref identifier s109anq. https://id.confref.org/series/s109anq

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.