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.
Organizers