Latest seminars

Пятница 21.09. Пётр Смирнов: "Сложность выполнимых и невыполнимых цейтинских формул для однопроходных ветвящихся программ"

Пятница, 21 сентября, ауд. 106. Начало в 14:00.

Докладчик: Пётр Смирнов.

Тема: Сложность выполнимых и невыполнимых цейтинских формул для однопроходных ветвящихся программ.

Четверг 06.09. Владимир Лифшиц: "Стабильные модели формул исчисления высказываний"

Четверг, 6 сентября, ауд. 106. Начало в 11:30.

Докладчик: Владимир Лифшиц (University of Texas at Austin).

Тема: Стабильные модели формул исчисления высказываний.

Четверг 06.09. Владимир Лифшиц: "Стабильные модели формул исчисления высказываний"

Четверг, 6 сентября, ауд. 106. Начало в 11:30.

Докладчик: Владимир Лифшиц (University of Texas at Austin).

Тема: Стабильные модели формул исчисления высказываний.