Симпозиум по логике и вычислимости
Logic and Computation Day
Steklov Mathematical Institute
June 7, 2013
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.
To attend the symposium, unless you already have access to Steklov Mathematical Institute, please send a message containing your full name to
lcd13@mi.ras.ru before June 6
and take your passport (or a student ID) with you on June 7.
Organizers:
L. Beklemishev, D. Shamkanov
Address: Steklov
Mathematical Institute Gubkina 8, 119991 GSP-1
Moscow, Russia fax. +7-(499)-135-0555 tel.
+7-(495)-984-8143 e-mail: lcd13@mi.ras.ru
|