General Information

Program and Timetable

Симпозиум по логике и вычислимости

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 before June 6 and take your passport (or a student ID) with you on June 7.

L. Beklemishev, D. Shamkanov

Steklov Mathematical Institute
Gubkina 8, 119991 GSP-1 Moscow, Russia
fax. +7-(499)-135-0555
tel. +7-(495)-984-8143