Department of Intelligent Systems

Events, Seminars

2.6-7.9.2017	Život kolem nás - výstava fotografií U3V
6.-7.4.2017	Seminář doktorandů ÚITS,
30.3.2017	PART 1: Modelling of dynamical systems, application examples; PART 2: Realtime emulation of complex, high-order system dynamics in a test rig
17.2.2017	Jens Katalaan: Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic

Your IPv4 address: 3.82.52.91
Switch to https