В пятницу 4 мая в 15:00 в семинарской комнате ИСИ СО РАН состоится доклад Ольги Тверетиной (University of Hertfordshire, UK).
Тема доклада: On Techniques for Formal Verification. В докладе речь пойдет о подходах к верификации, в том числе, гибридных систем, а также проблематике propositional proof complexity, связанной с этими подходами. Это будет первый вводный доклад, который, как планируется, будет дополнен 1-2 более специализированными докладами по названным темам.
Приглашаются все желающие.