Międzynarodowa Konferencja na Temat Automatycznego Dowodzenia Twierdzeń (CADE)
Międzynarodowa Konferencja na Temat Automatycznego Dowodzenia Twierdzeń, znana jako CADE, jest cyklicznym wydarzeniem organizowanym od 1975 roku, które odbywa się co roku lub co dwa lata. Konferencja gromadzi zazwyczaj około 100 uczestników i koncentruje się na automatycznym dowodzeniu twierdzeń.
Historia
Prekursorem CADE było Symposium on Automatic Demonstration, które odbyło się w 1968 roku i uznawane jest za „CADE-0”. Organizatorem tego wydarzenia byli Marcel-Paul Schützenberger, Daniel Lacombe oraz Louis Nolin. Sympozjum 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 oraz skrót CADE po raz pierwszy pojawiły się w kontekście konferencji z 1980 roku. Jednak ze względu na to, że wcześniejsze wydarzenia (w latach 1977 i 1979) miały charakter warsztatowy, uznano, że pierwszą konferencją cyklu jest IEEE Workshop on Automated Theorem Proving z 1975 roku. Konferencję z 1980 roku sklasyfikowano jako CADE-5.
Nagrody
W ramach konferencji przyznawane są nagrody za wybitny wkład w dziedzinie automatycznego rozumowania. Wyróżnienia obejmują:
- Nagrodę dla studentów
- Nagrodę za najlepszą pracę doktorską
- Dwie nagrody za prace przedstawione na CADE
W 2011 roku konferencja CADE-23 odbyła się we Wrocławiu, podkreślając znaczenie tego wydarzenia w społeczności naukowej.
Linki zewnętrzne
CADE jest uznawana za istotne wydarzenie w dziedzinie informatyki i matematyki, koncentrując się na automatycznym dowodzeniu twierdzeń.
