Щедров Андрей Олегович

Доклады и лекции в базе данных Math-Net.Ru

1. Adventures in Lambek calculus
   A. Scedrov
   Logical Perspectives 2021: Conference
   10 июня 2021 г. 19:00   
2. Анализ кибер-физических протоколов безопасной передачи информации
   Андрей Щедров
   Коллоквиум Факультета компьютерных наук НИУ ВШЭ
   11 апреля 2019 г. 18:10   
3. Исчисление Ламбека, обогащенное субэкспоненциалами
   А. О. Щедров
   Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
   25 декабря 2018 г. 14:30   
4. Subexponentials in non-commutative linear logic
   A. Scedrov
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   14 июня 2018 г. 18:30
5. Lambek calculus extended with subexponential and bracket modalities
   A. Scedrov
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   20 октября 2017 г. 10:35   
6. Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols
   A. Scedrov
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   28 декабря 2015 г. 18:30
7. Bounded Memory Protocols and the Unbounded Adversary
   A. Scedrov
   Симпозиум по логике и вычислимости «Logic and Computation Day»
   7 июня 2013 г. 10:00