Zaproszenie na wykład “Normal Forms for Branching-Time Logic (CTL and beyond): theory and application”

utworzone przez | lut 28, 2017 | Aktualności, Bieżące

W dniach 27.02-4.03.2017 z wizytą w Instytucie Psychologii UAM przebywa dr Alexander Bolotov (Department of Computer Science, University of Westminster).

1. marca, w ramach seminarium DokMa, dr Bolotov wygłosi wykład “Normal Forms for Branching-Time Logic (CTL and beyond): theory and application”;
zapraszamy na godz. 12.00 do Laboratorium Badania Rozumowań (https://reasoning2015.wordpress.com/news/).

Skip to content