Herr Andre Frochaux wird einen Vortrag halten zum Thema

"Static Analysis for Monadic Datalog on Finite Labeled Trees"

Mit diesem Vortrag möchte er Ihnen sein Promotionsthema vorstellen.

Alle Interessierten sind herzlich eingeladen!