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: antonios@ru.is, Aggeliki Chalki: angelikic@ru.is, or Jana Wagemaker: janaw@ru.is.