/***
name = Doumane-Ackerman-prize
date = 2018-06-15
image = :actualites:ressources:perso-amina-doumane.png
image tag = Amina Doumane
extra link = http://eacsl.kahle.ch/award.html
for 2 weeks until 12 July 2018, priority=low
***/
Amina Doumane (former PhD student at IRIF, now at LIP) was awarded the **Ackermann prize of EACSL** for her PhD thesis entitled [[https://www.irif.fr/~doumane/these.pdf|On the infinitary proof theory of logics with fixed points]].