Icelandic advantage in computer-assisted proof (Iceproof)
Iceproof is a collaboration project (2024-2025)
between Reykjavik University and
the University of Iceland, funded
by the Collaboration Fund of
Iceland's
Ministry of Higher Education, Science and Innovation.
In Iceproof, we introduce the technology of computer-assisted proof
into teaching of computer science and mathematics at RU and UI, bring
it to IT professionals in Iceland, boost Icelandic research in the
field and increase its visibility.
A project on the European level with overlapping aims is the EU
COST action
EuroProofNet (2020-2025).
People
Contributors
- Tarmo Uustalu, professor, RU, project leader
- Anders Claesson, professor, UI,
project leader at UI
- Dylan McDermott, postdoc, RU, senior RA, U. of Oxford
- Joseph Tooby-Smith, postdoc, RU
- Dagur Ásgeirsson, PhD student, U. of Copenhagen
- Calvin Lee, PhD student, RU
- Atli Franklín, PhD student, RU
- Bjarki Gunnarsson, MSc student, UI
Collaborators
Activity
Research and conference visits
- Nathanael Arkor, Tallinn UT → RU, 9-17 March 2024
(funded by EuroProofNet)
- Philip Saville, U. of Oxford → RU, 9-18 March 2024
(funded by EuroProofNet)
- Dylan McDermott, RU → U. of Cambridge (to work with Martin Hyland), 11-18 Aug. 2024
(funded by EuroProofNet)
- Giulio Fellin, U. of Brescia →RU, 30 Aug.-8 Sept. 2024
- Thorsten Altenkirch, U. of Nottingham → RU, 1-7 Sept. 2024 (funded by EuroProofNet)
- Tarmo Uustalu, RU → U. of Verona, 19 Oct.-1 Nov. 2024 (paid by U. of Verona)
Project internal meetings
- Meeting in Bifröst, 3-5 Sept. 2024, with Thorsten Altenkirch
(U. of Nottingham), Christian Bean (Keele U.) and Giulio Fellin (U. of
Brescia) as guests
Results
Courses
- 3-week intensive course Introduction to computer-assisted proof,
RU, Nov./Dec. 2024
Guest lectures
- T. Altenkirch, Πthon - dependently typed Python (joint work
with A. Penzes), talk at ICE-TCS seminar, 6 Sept. 2024
Schools and conferences
Last update 13 October 2024