Scam Alert

Please verify and be careful about any phishing and scam attempts from external companies.
All conferences and research programs at IML are free of charge.
We will not ask you for any payments regarding your accommodation or travel arrangements

Amar Hadzihasanovic: alifib: a language founded on higher-dimensional rewriting

Date: 2026-06-11

Time: 11:10 - 12:00

Zoom link: https://kva-se.zoom.us/j/9217561890

Speaker
Amar Hadzihasanovic, Tallinn University of Technology

Abstract
I will give an introduction to alifib, an experimental programming language founded on higher-dimensional rewriting, and demonstrate a web-based proof assistant built around it; this is joint work with Alex Kavvos.