Conference on Automated Deduction
International Conference on Automated Deduction (CADE) – konferencja na temat automatycznego dowodzenia twierdzeń. Jest organizowana od 1975 roku co rok lub dwa lata, gromadząc zazwyczaj ok. 100 uczestników[1].
Prekursorem cyklu tych konferencji było Symposium on Automatic Demonstration z 1968 ("CADE-0"), którego organizatorami byli Marcel-Paul Schützenberger, Daniel Lacombe i Louis Nolin. Sympozjum to miało miejsce w nowo utworzonym Institut de recherche en informatique et en automatique, przekształconym później w Institut national de recherche en informatique et en automatique (Inria).
Nazwa Conference on Automated Deduction i skrót CADE zostały użyte po raz pierwszy w odniesieniu do konferencji z 1980 roku, jednak ze względu na to, że cztery poprzednie wydarzenia (w latach 1977 i 1979 pod nazwą Workshop on Automated Deduction) organizowało to samo środowisko naukowe, przyjęto, że pierwszą konferencją cyklu ("CADE-1") jest IEEE Workshop on Automated Theorem Proving z 1975 roku (konferencję z 1980 uznano za CADE-5)[1].
W 2001 organizatorzy CADE rozpoczęli współpracę z International Joint Conference on Automated Reasoning (IJCAR) i od 2003 w latach nieparzystych odbywają się CADE, a w parzystych IJCAR[1][2]. W 2011 roku konferencja CADE-23 miała miejsce we Wrocławiu[1].
W czerwcu 2023 w Rzymie odbyła się CODE-29, na którą przyjechało 90 osób, a zaproszonymi prelegentami byli Jasmin Blanchette, Maribel Fernandez i Mateja Jamnik. CODE-30 ma się odbyć w 2025 w Stuttgarcie[1].
Na konferencji przyznaje się obecnie pięć nagród z których najstarszą i najważniejszą jest ustanowiona w 1992 roku Herbrand Award[3], przyznawana za wybitny wkład w automatyczne rozumowanie. Jedna z pozostałych nagród skierowana jest do studentów, jedna przyznawana za doktorat, a dwie za pracę przedstawioną na CADE[4].
Przypisy
edytuj- ↑ a b c d e Conferences [online], cadeinc.org [dostęp 2024-07-25] .
- ↑ Conferences [online], ijcar.org [dostęp 2024-07-25] .
- ↑ Herbrand Award [online], cadeinc.org [dostęp 2024-07-25] .
- ↑ Awards [online], cadeinc.org [dostęp 2024-07-25] .