Fr, 12.05.2017 11:00

Miscellaneous: Habilitation Colloquium: Quod Erat Demonstrandum - Proofs by Computer

Speaker: Christoph Koutschan (RICAM), Location: SP3 048