Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

1 October 2019, Algebra|Coalgebra Seminar, Vincenzo Ciancia

Speaker: Vincenzo Ciancia (Institute of Information Science and Technologies 'A. Faedo')
Title: Spatial Model Checking and Applications to Medical Image Analysis
Date: Tuesday 1 October 2019
Time: 16:00-17:00
Location: Room F1.15, ILLC, Science Park 107, Amsterdam
For more information, see https://events.illc.uva.nl/alg-coalg or contact Jan Rooduijn at .

Please note that this newsitem has been archived, and may contain outdated information or links.