| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Thu, 31 Oct 2024 11:30:07 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"67236a3f-2d22"
expires: Sun, 25 Jan 2026 11:20:14 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: AFFC:2EC9FE:2E161B:356690:6975FA16
accept-ranges: bytes
age: 0
date: Sun, 25 Jan 2026 11:10:15 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210053-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1769339415.778414,VS0,VE223
vary: Accept-Encoding
x-fastly-request-id: fcecc060ba48c07790849259727997e8012fc6c3
content-length: 2797
First Reykjavik Summer of Cool Logic 2024 (SCooL 2024) - Reykjavik Summer of Cool Logic 2024 (SCooL 2024)
First Reykjavik Summer of Cool Logic 2024 (SCooL 2024)
Reykjavik Summer of Cool Logic 2024 (SCooL 2024), Reykjavik 10-21/6 2024
NLS 2024 and SLSS 2024 are supported by the Collaboration Fund project “Icelandic advantage in computer-assisted proof”
SCooL 2024 is supported by:
If you have any questions, please contact Antonis Achilleos: antonios@ru.is, Aggeliki Chalki: angelikic@ru.is, or Jana Wagemaker: janaw@ru.is.