Sergey Andreevich Slavnov

Conferences

•    

  Conference talks:
  Geometrical semantics for linear logic (multiplicative fragment)
  , Federated logic confer-
  ence — workshop on linear logic (FLoC’02-LL), Copenhagen, Denmark, 2002.
  Is there any geometry in Geometry of Interaction?
  , Category Theory Octoberfest’05,
  University of Ottawa, Canada, 2005.
  Geometry of Interaction and Hamiltonian dynamics
  , Geometry of Computation 2006
  (GeoCal’06), Marseille-Luminy, France, 2006.
  "Physical" interpretations of Linear Logic: semiclassical vs. quantum
  , ASL 2006 annual
  meeting, Universite de Quebec a Montreal, Montreal, Canada, 2006.
  "Modelling linear logic with implicit functions"
  , L.O.G.I.C., workshop on linear logic,
  ludics, implicit complexity, operator algebras, dedicated to J.-Y. Girard on his 60-th birthday,
  Siena, Italy, 2007.

Discrete math, questions, winte 2016, final version (in Russian)