Activity: Talk or presentation types › Invited talk
https://www.illc.uva.nl/NewsandEvents/Events/Conferences/newsitem/7212/29-August---1-September-2016-25th-EACSL-Annual-Conference-on-Computer-Science-Logic-CSL-2016-Marseille-France-