[go: nahoru, domu]
Jump to content

Conference on Automated Deduction: Difference between revisions

Edit links
From Wikipedia, the free encyclopedia
Browse history interactively
← Previous edit
Content deleted Content added
VisualWikitext
Bender the Bot (talk | contribs)
Bots
1,008,858 edits
m →‎top: http→https for Google Books and Google News using AWB
 
(13 intermediate revisions by 8 users not shown)
Line 1: Line 1:
The '''Conference on Automated Deduction''' ('''CADE''') is the premier [[academic conference]] on [[Automated theorem proving|automated deduction]] and related fields.<ref>{{cite book|last=Lu|first=James J.|title=Computer Science Handbook|year=2004|publisher=CRC Press|page=61-24|edition=Second|author2=Erik Rosenthal|editor=Alan B. Tucker|url=https://books.google.com/books?id=9IFMCsQJyscC&printsec=frontcover&hl=de&source=gbs_atb#v=onepage&q&f=false|chapter=Logic-Based Reasoning for Intelligent Systems}}</ref> The first CADE was organized in 1974 at the [[Argonne National Laboratory]] near [[Chicago]]. Most CADE meetings have been held in [[Europe]] and the United States. However, conferences have been held all over the world. Since 1996, CADE has been held yearly. In 2001, CADE was, for the first time, merged into the [[International Joint Conference on Automated Reasoning]] (IJCAR).<ref>{{cite book|last=Goré|first=Rajeev|title=Automated Reasoning - First International Joint Conference, IJCAR 2001, Siena, Italy|year=2001|publisher=[[Springer Science+Business Media|Springer]] |author2=Alexander Leitsch |author3=[[Tobias Nipkow]]|chapter=Foreword}}</ref> This has been repeated biannually since 2004.<ref>{{cite web|title=The International Conference on Automated Deduction - conferences|url=http://www.cadeinc.org/Conferences.html|publisher=CADE, Inc|accessdate=4 May 2013}}</ref>
The '''Conference on Automated Deduction''' ('''CADE''') is the premier [[academic conference]] on [[Automated theorem proving|automated deduction]] and related fields.<ref>{{cite book|last=Lu|first=James J.|title=Computer Science Handbook|year=2004|publisher=CRC Press|page=61-24|edition=Second|author2=Erik Rosenthal|editor=Alan B. Tucker|url=https://books.google.com/books?id=9IFMCsQJyscC|chapter=Logic-Based Reasoning for Intelligent Systems}}</ref> The first CADE was organized in 1974 at the [[Argonne National Laboratory]] near [[Chicago]]. Most CADE meetings have been held in [[Europe]] and the United States. However, conferences have been held all over the world. Since 1996, CADE has been held yearly. In 2001, CADE was, for the first time, merged into the [[International Joint Conference on Automated Reasoning]] (IJCAR).<ref>{{cite book|last=Goré|first=Rajeev|title=Automated Reasoning - First International Joint Conference, IJCAR 2001, Siena, Italy|url=https://archive.org/details/springer_10.1007-3-540-45744-5|year=2001|publisher=[[Springer Science+Business Media|Springer]] |author2=Alexander Leitsch |author3=Tobias Nipkow |author3-link=Tobias Nipkow |chapter=Foreword}}</ref> This has been repeated biannually since 2004.<ref>{{cite web|title=The International Conference on Automated Deduction - conferences|url=http://www.cadeinc.org/conferences|publisher=CADE, Inc|accessdate=4 May 2013}}</ref>


In 1996, CADE Inc. was formed as a non-profit sub-corporation of the [[Association for Automated Reasoning]] to organize the previously individually organized conferences.
In 1996, CADE Inc. was formed as a non-profit sub-corporation of the [[Association for Automated Reasoning]] to organize the formerly individually organized conferences.


{| class="wikitable"
{| class="wikitable"
|-
|-
! Nr !! Proceedings !! Date !! Year !! Location !! Editor(s)
! Nr !! Proceedings !! Date !! Year !! Location !! Editor(s)
|-
|-
! !! [[LNAI]] !! !! !! !!
! !! [[LNAI]] !! !! !! !!
|-
|-
|| 01 || || || 1975 || ||
|| 01 || || || 1975 || ||
|-
|-
|| 02 || || || 1976 || ||
|| 02 || || || 1976 || ||
|-
|-
|| 03 || || || 1977 || ||
|| 03 || || || 1977 || ||
|-
|-
|| 04 || || || 1979 || ||
|| 04 || || || 1979 || ||
|-
|-
|| 05 || 0087 || || 1980 || [[Les Arcs]], France || [[Wolfgang Bibel]], [[Robert Kowalski]]
|| 05 || 0087 || || 1980 || [[Les Arcs]], France || [[Wolfgang Bibel]], [[Robert Kowalski]]
|-
|-
|| 06 || 0138 || || 1982 || New York, USA || [[Donald W. Loveland]]
|| 06 || 0138 || || 1982 || New York, USA || [[Donald W. Loveland]]
|-
|-
|| 07 || 0170 || May 14–16, || 1984 || Napa, California, USA || R. E. Shostak
|| 07 || 0170 || May 14–16 || 1984 || Napa, California, USA || [[Robert Shostak]]
|-
|-
|| 08 || 0230 || July 27 - August 1, || 1986 || Oxford, England || Jörg H. Siekmann
|| 08 || 0230 || {{nowrap|Jul 27 – Aug 1}} || 1986 || Oxford, England || Jörg H. Siekmann
|-
|-
|| 09 || 0310 || May 23–26, || 1988 || Argonne, Illinois, USA || E. Lusk and [[Ross A. Overbeek]]
|| 09 || 0310 || May 23–26 || 1988 || Argonne, Illinois, USA || E. Lusk, [[Ross A. Overbeek]]
|-
|-
|| 10 || 0449 || || 1990 || Kaiserslautern, Germany || [[Mark Stickel]]
|| 10 || 0449 || || 1990 || Kaiserslautern, Germany || [[Mark Stickel]]
|-
|-
|| 11 || 0607 || || 1992 || Saratoga Springs, USA || D. Kapur
|| 11 || 0607 || Jun 15–18 || 1992 || Saratoga Springs, USA || D. Kapur
|-
|-
|| 12 || 0814 || June 26 - July 1, || 1994 || Nancy, France || [[Alan Bundy]]
|| 12 || 0814 || Jun 26 – Jul 1 || 1994 || Nancy, France || [[Alan Bundy]]
|-
|-
|| 13 || 1104 || July 30 - August 3, || 1996 || New Brunswick, NJ, USA || [[Michael A. McRobbie]] and J.K. Slaney
|| 13 || 1104 || Jul 30 – Aug 3 || 1996 || New Brunswick, NJ, USA || [[Michael A. McRobbie]], J.K. Slaney
|-
|-
|| 14 || 1249 || July 13–17, || 1997 || Townsville, North Queensland, Australia || [[William McCune]]
|| 14 || 1249 || Jul 13–17 || 1997 || Townsville, North Queensland, Australia || [[William McCune]]
|-
|-
|| 15 || 1421 || July 5–10, || 1998 || Lindau, Germany || Claude Kirchner and Hélène Kirchner
|| 15 || 1421 || Jul 5–10 || 1998 || Lindau, Germany || Claude Kirchner, Hélène Kirchner
|-
|-
|| 16 || 1632 || July 7–10 || 1999 || Trento, Italy || [[Harald Ganzinger]]
|| 16 || 1632 || Jul 7–10 || 1999 || Trento, Italy || [[Harald Ganzinger]]
|-
|-
|| 17 || 1831 || June 17–20, || 2000 || Pittsburgh, PA, USA || [[David A. McAllester]]
|| 17 || 1831 || Jun 17–20 || 2000 || Pittsburgh, PA, USA || [[David A. McAllester]]
|-
|-
|| 18 || 2392 || July 27–30 || 2002 || Copenhagen, Denmark || [[Andrei Voronkov]]
|| 18 || 2392 || Jul 27–30 || 2002 || Copenhagen, Denmark || [[Andrei Voronkov]]
|-
|-
|| 19 || 2741 || July 28 -August 2, || 2003 || Miami Beach, FL, USA || [[Franz Baader]]
|| 19 || 2741 || Jul 28 – Aug 2 || 2003 || Miami Beach, FL, USA || [[Franz Baader]]
|-
|-
|| 20 || 3632 || July 22–27, || 2005 || Tallinn, Estonia || Robert Nieuwenhuis
|| 20 || 3632 || Jul 22–27 || 2005 || Tallinn, Estonia || Robert Nieuwenhuis
|-
|-
|| 21 || 4603 || July 17–20, || 2007 || Bremen, Germany || [[Frank Pfenning]]
|| 21 || 4603 || Jul 17–20 || 2007 || Bremen, Germany || [[Frank Pfenning]]
|-
|-
|| 22 || 5663 || August 2–7, || 2009 || Montreal, Canada || Renate A. Schmidt
|| 22 || 5663 || Aug 2–7 || 2009 || Montreal, Canada || Renate A. Schmidt
|-
|-
|| 23 || 6803 || July 31-August 5, || 2011 || [[Wrocław, Poland]] || Nikolaj Bjørner and Viorica Sofronie-Stokkermans
|| 23 || 6803 || Jul 31 – Aug 5 || 2011 || [[Wrocław|Wrocław, Poland]] || Nikolaj Bjørner, Viorica Sofronie-Stokkermans
|-
|-
|| 24 || 7898 || June 9–14 || 2013 || [[Lake Placid, New York]], USA || Maria Paola Bonacina
|| 24 || 7898 || Jun 9–14 || 2013 || [[Lake Placid, New York]], USA || Maria Paola Bonacina
|-
|-
|| 25 || 9195 || August 1–7 || 2015 || [[Berlin]], Germany || Amy Felty and Aart Middeldorp
|| 25 || 9195 || Aug 1–7 || 2015 || [[Berlin]], Germany || Amy Felty, Aart Middeldorp
|-
|| 26 || 10395 || Aug 6–11 || 2017 || [[Gothenburg]], Sweden || Leonardo de Moura
|-
|| 27 || 10900 || Jul 14–17 || 2018 || [[Oxford]], United Kingdom || Didier Galmiche, Stephan Schulz, Roberto Sebastiani
|-
|| 28 || 11716 || Aug 23–30 || 2019 || [[Natal, Rio Grande do Norte|Natal]], Brazil || Pascal Fontaine
|-
|| 29 || 12166–7 || Jun 29 – Jul 6 || 2020 || [[Paris]], France || Nicolas Peltier, Viorica Sofronie-Stokkermans
|-
|| 30 || || Jul 11–16 || 2021 || <S>[[Pittsburgh]], USA</S> (virtual) ||
|}
|}

⚫
== References ==
{{Reflist}}


==External links==
==External links==
* [http://www.cadeinc.org/ CADE web page]
* {{Official website|www.cadeinc.org}}, CADE
* [http://www.aarinc.org AAR web page]
* {{Official website|www.aarinc.org}}, AAR


{{Authority control}}
⚫
== References ==
{{reflist}}


[[Category:Theoretical computer science conferences]]
[[Category:Theoretical computer science conferences]]
Line 72: Line 84:


{{Comp-sci-stub}}
{{Comp-sci-stub}}
{{compu-conference-stub}}
{{Compu-conference-stub}}

Latest revision as of 05:49, 12 April 2024

The Conference on Automated Deduction (CADE) is the premier academic conference on automated deduction and related fields.[1] The first CADE was organized in 1974 at the Argonne National Laboratory near Chicago. Most CADE meetings have been held in Europe and the United States. However, conferences have been held all over the world. Since 1996, CADE has been held yearly. In 2001, CADE was, for the first time, merged into the International Joint Conference on Automated Reasoning (IJCAR).[2] This has been repeated biannually since 2004.[3]

In 1996, CADE Inc. was formed as a non-profit sub-corporation of the Association for Automated Reasoning to organize the formerly individually organized conferences.

Nr Proceedings Date Year Location Editor(s)
LNAI
01 1975
02 1976
03 1977
04 1979
05 0087 1980 Les Arcs, France Wolfgang Bibel, Robert Kowalski
06 0138 1982 New York, USA Donald W. Loveland
07 0170 May 14–16 1984 Napa, California, USA Robert Shostak
08 0230 Jul 27 – Aug 1 1986 Oxford, England Jörg H. Siekmann
09 0310 May 23–26 1988 Argonne, Illinois, USA E. Lusk, Ross A. Overbeek
10 0449 1990 Kaiserslautern, Germany Mark Stickel
11 0607 Jun 15–18 1992 Saratoga Springs, USA D. Kapur
12 0814 Jun 26 – Jul 1 1994 Nancy, France Alan Bundy
13 1104 Jul 30 – Aug 3 1996 New Brunswick, NJ, USA Michael A. McRobbie, J.K. Slaney
14 1249 Jul 13–17 1997 Townsville, North Queensland, Australia William McCune
15 1421 Jul 5–10 1998 Lindau, Germany Claude Kirchner, Hélène Kirchner
16 1632 Jul 7–10 1999 Trento, Italy Harald Ganzinger
17 1831 Jun 17–20 2000 Pittsburgh, PA, USA David A. McAllester
18 2392 Jul 27–30 2002 Copenhagen, Denmark Andrei Voronkov
19 2741 Jul 28 – Aug 2 2003 Miami Beach, FL, USA Franz Baader
20 3632 Jul 22–27 2005 Tallinn, Estonia Robert Nieuwenhuis
21 4603 Jul 17–20 2007 Bremen, Germany Frank Pfenning
22 5663 Aug 2–7 2009 Montreal, Canada Renate A. Schmidt
23 6803 Jul 31 – Aug 5 2011 Wrocław, Poland Nikolaj Bjørner, Viorica Sofronie-Stokkermans
24 7898 Jun 9–14 2013 Lake Placid, New York, USA Maria Paola Bonacina
25 9195 Aug 1–7 2015 Berlin, Germany Amy Felty, Aart Middeldorp
26 10395 Aug 6–11 2017 Gothenburg, Sweden Leonardo de Moura
27 10900 Jul 14–17 2018 Oxford, United Kingdom Didier Galmiche, Stephan Schulz, Roberto Sebastiani
28 11716 Aug 23–30 2019 Natal, Brazil Pascal Fontaine
29 12166–7 Jun 29 – Jul 6 2020 Paris, France Nicolas Peltier, Viorica Sofronie-Stokkermans
30 Jul 11–16 2021 Pittsburgh, USA (virtual)

References

[edit]
  1. ^ Lu, James J.; Erik Rosenthal (2004). "Logic-Based Reasoning for Intelligent Systems". In Alan B. Tucker (ed.). Computer Science Handbook (Second ed.). CRC Press. p. 61-24.
  2. ^ Goré, Rajeev; Alexander Leitsch; Tobias Nipkow (2001). "Foreword". Automated Reasoning - First International Joint Conference, IJCAR 2001, Siena, Italy. Springer.
  3. ^ "The International Conference on Automated Deduction - conferences". CADE, Inc. Retrieved 4 May 2013.
[edit]


Stub icon

This computer science article is a stub. You can help Wikipedia by expanding it.

This article about a computer conference is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Conference_on_Automated_Deduction&oldid=1218520804"