ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Symposium Logic and Computation Day will take place at Steklov Institute of Mathematics in Moscow on June 7, 2013. The symposium features six invited lectures covering topics in theoretical and applied logic centered around the notions of proof and computation. The keynote speaker is Prof. Andre Scedrov, University of Pennsylvania. Topics include: protocol analysis, access control logics, complexity theory, proof theory, modal logic.