| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Fri, 19 Dec 2025 13:27:39 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"694552cb-1be0"
expires: Mon, 29 Dec 2025 04:46:40 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 1FB4:123DE:840C8E:947913:69520556
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 04:36:40 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210035-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766983000.064419,VS0,VE202
vary: Accept-Encoding
x-fastly-request-id: 1b9de864fd56f15708903e60dab2a2479d142761
content-length: 2245
Home - CADE
Home - CADE
CADE is the major international forum at which research on all aspects of automated deduction is presented. The first conference was held in 1975. Previous CADEs were mostly biennial, and annual conferences started in 1996. Since 2001 CADE has participated in the International Joint Conference on Automated Reasoning (IJCAR).
Next Conference:
See the IJCAR web pages