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.