| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Fri, 01 Aug 2025 14:12:19 GMT
access-control-allow-origin: *
etag: W/"688ccb43-1740"
expires: Sun, 28 Dec 2025 19:16:34 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: B466:1F53DD:7EDB3E:8E465C:69517FB9
accept-ranges: bytes
age: 0
date: Sun, 28 Dec 2025 19:06:34 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210042-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766948794.353282,VS0,VE199
vary: Accept-Encoding
x-fastly-request-id: a2879eda4147ffcd7b1fb1424326735cd945691e
content-length: 2030
Home - IJCAR
Home - IJCAR
IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops.
Next Conference:
IJCAR 2026, Lisbon, Portugal.
Interesting links
-
The IJCAR logo designed in 2008 by Peter Baumgartner.