| 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: Tue, 20 Jan 2026 20:57:54 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: A040:B6F55:4D1AE:56605:696FE9FA
accept-ranges: bytes
age: 0
date: Tue, 20 Jan 2026 20:47:54 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210081-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768942075.736226,VS0,VE215
vary: Accept-Encoding
x-fastly-request-id: 35513abf44e72d28127de7a9987949ee111bcb00
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.