RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE


Symposium on logic and computability "Logic and Computation Day"
(June 7, 2013, Steklov Mathematical Institute of RAS, Moscow)

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: http://lcd13.mi.ras.ru

Organizers
Beklemishev Lev Dmitrievich

Organisations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow


Symposium on logic and computability "Logic and Computation Day", Moscow, June 7, 2013

June 7, 2013
1. Bounded Memory Protocols and the Unbounded Adversary
A. Scedrov
June 7, 2013 10:00, Moscow, Steklov Mathematical Institute of RAS
2. High Entropy Random Selection Protocols
N. K. Vereshchagin
June 7, 2013 11:00, Moscow, Steklov Mathematical Institute of RAS
3. Circular proofs for provability logic
D. S. Shamkanov
June 7, 2013 12:15, Moscow, Steklov Mathematical Institute of RAS
4. Primal implication as encryption
V. N. Krupski
June 7, 2013 14:30, Moscow, Steklov Mathematical Institute of RAS
5. Fixed-point tile sets and their applications
A. Romashchenko
June 7, 2013 15:30, Moscow, Steklov Mathematical Institute of RAS
6. Hamming metric and products of modal logics
I. B. Shapirovskii
June 7, 2013 16:15, Moscow, Steklov Mathematical Institute of RAS
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017