ИСТИНА

• Охват: Международная
• Даты проведения: 7 июня 2013
• Место проведения: Математический институт им. В.А.Стеклова РАН, Russia
• Число докладчиков: 6
• Веб-сайт: http://lcd13.mi.ras.ru/
• Описание конференции:

  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.

• Добавил в систему: Верещагин Николай Константинович

Доклады:

• 2013 Bounded memory protocols and the unbounded adversary (Устный)
• Автор: Scedrov Andre

• 2013 Circular proofs for provability logic (Устный)
• Автор: Shamkanov D.S.

• 2013 Fixed-point tile sets and their applications (Устный)
• Автор: Romashchenko A.

• 2013 Hamming metric and products of modal logics (Устный)
• Автор: Shapirovskii I.B.

• 2013 High Entropy Random Selection Protocols (Устный)
• Автор: Vereshchagin Nikolay K.

• 2013 Primal implication as encryption (Устный)
• Автор: Krupski V.N.