Registration is open for NLS, SLSS, and GandALF 2024! Early registration deadline for all: May 31.

First Reykjavik Summer of Cool Logic 2024 (SCooL 2024)

Reykjavik Summer of Cool Logic 2024 (SCooL 2024), Reykjavik 10-21/6 2024

alt text for screen readers

NLS 2024 and SLSS 2024 are supported by the Collaboration Fund project “Icelandic advantage in computer-assisted proof”

SCooL 2024 is supported by:

the logo of Reykjavik University     the ASL logo     the ICE-TCS logo

If you have any questions, please contact Antonis Achilleos:, Aggeliki Chalki:, or Jana Wagemaker: