News

Seminar on Complexity Theory

Tue, 2013-10-01

New seminar on Complexity Theory has started this fall.

Sad news

Sat, 2011-09-17

We regret to inform you that Nickolay Alexandrovich Shanin passed away on September 17, 2011. Condolences of his friends and colleagues have been collected on his web site.

One-day Workshop on Complexity of Algorithms, Proofs, and Circuits

Thu, 2010-10-21

One-day Workshop on Complexity of Algorithms, Proofs, and Circuits was held in the laboratory. The workshop was chaired by Dima Grigoriev.

Program schedule

Thursday, October 21
Seminar begins10:00
Eugene DemenkovAlgebraic proofs of noncommutative formulae10:00
Dmitry Grigoriev Solving tropical linear systems11:00
Coffee break12:00
Alexander Kulikov A 3n-o(n) lower bound on the circuit complexity of affine dispersers12:30
Lunch13:30
Dmitry ItsyksonHeuristic acceptors14:30
Alexander SmalHeuristic proof systems15:30
Coffee break16:15
Dmitry Sokolov Inverting the explicit Goldreich's function with DPLL algorithms16:30
Open discussion17:30

CSR2011 will be held in St. Petersburg

Sat, 2010-09-11

The 6th International Computer Science Symposium in Russia (CSR 2011) intends to reflect the broad scope of international cooperation in computer science. It is the sixth conference in a series of regular events started with CSR 2006 in St. Petersburg (see LNCS 3967), CSR 2007 in Ekaterinburg (see LNCS 4649), CSR 2008 in Moscow (see LNCS 5010), CSR 2009 in Novosibirsk (see LNCS 5675), and CSR 2010 in Kazan (see LNCS 6072).

Vladimir Orevkov celebrates the 70th anniversary

Sat, 2010-04-24

On April 24, 2009, Vladimir Pavlovich Orevkov celebrates his 70th birthday. Congratulations!
You can read greetings from his friends, colleagues, and students all over the world on a special anniversary page.

Congratulations!

Mon, 2009-12-28

Congratulations to Maxim Vsemirnov and Dmitry Itsykson upon successfully defending their respective theses!

Shanin celebrated his 90th jubilee

Mon, 2009-05-25

On May 25, 2009 Nikolaij Alexandrovich Shanin celebrated his 90th jubilee. You can read greetings on the renewed site of N. A. Shanin.

The 10 year anniversary of Discrete Mathematics Seminar

Tue, 2008-12-30

On December 30th 2008 Discrete Mathematics Seminar celebrates 10 year anniversary. First seminar took place on December 30th 1998.

Computer Science Club

Sat, 2007-09-08

In the fall of '07 we have started the Computer Science Club that aims at providing students with advanced lectures on computer science.