Конференции
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  

Симпозиум по логике и вычислимости «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:
Website: https://lcd13.mi.ras.ru

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

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


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

7 июня 2013 г. (пт)
1. Bounded Memory Protocols and the Unbounded Adversary
A. Scedrov
7 июня 2013 г. 10:00–11:00, г. Москва, МИАН
2. High Entropy Random Selection Protocols
N. K. Vereshchagin
7 июня 2013 г. 11:00–11:45, г. Москва, МИАН
3. Circular proofs for provability logic
D. S. Shamkanov
7 июня 2013 г. 12:15–13:00, г. Москва, МИАН
4. Primal implication as encryption
V. N. Krupski
7 июня 2013 г. 14:30–13:15, г. Москва, МИАН
5. Fixed-point tile sets and their applications
A. Romashchenko
7 июня 2013 г. 15:30–16:15, г. Москва, МИАН
6. Hamming metric and products of modal logics
I. B. Shapirovskii
7 июня 2013 г. 16:15–17:00, г. Москва, МИАН
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024