Симпозиум по логике и вычислимости «Logic and Computation Day»

КОНФЕРЕНЦИИ

Симпозиум по логике и вычислимости «Logic and Computation Day»
(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.

E-mail:
Вебсайт: https://lcd13.mi.ras.ru

Организаторы
Беклемишев Лев Дмитриевич

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва

Симпозиум по логике и вычислимости «Logic and Computation Day», г. Москва, 7 июня 2013 г.

Bounded Memory Protocols and the Unbounded Adversary A. Scedrov 7 июня 2013 г. 10:00 г. Москва, МИАН
High Entropy Random Selection Protocols N. K. Vereshchagin 7 июня 2013 г. 11:00 г. Москва, МИАН
Circular proofs for provability logic D. S. Shamkanov 7 июня 2013 г. 12:15 г. Москва, МИАН
Primal implication as encryption V. N. Krupski 7 июня 2013 г. 14:30 г. Москва, МИАН
Fixed-point tile sets and their applications A. Romashchenko 7 июня 2013 г. 15:30 г. Москва, МИАН
Hamming metric and products of modal logics I. B. Shapirovskii 7 июня 2013 г. 16:15 г. Москва, МИАН