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: [email protected], Aggeliki Chalki: [email protected], or Jana Wagemaker: [email protected].