Activities
- 2011
- The 6th International Computer Science Symposium in Russia (CSR'11) will be held in St.Petersburg from June 14 to June 18, 2011.
- 2010
- 2009
- NoNA Summer School on Complexity Theory (SSCT'09).
- Joint Advanced Student School (JASS'09).
- 2008
- 2007
- 2006
- Joint Advanced Student School (JASS'06).
- The International Computer Science Symposium in Russia CSR 2006 was held in St.Petersburg from June 8 to June 12, 2006.
- Methods of Logic in Mathematics III.
- 2005
- 2004
- The meeting "Logic, Algebra and Geometry" (Methods of Logic in Mathematics I) was held in St.Petersburg (Russia) from June 1 to June 7, 2004.
- 2003
- Second St.Petersburg Days of LOGIC and COMPUTABILITY were held in St.Petersburg (Russia) from August 24 to August 26, 2003. Dedicated to A.A.Markov's centennial.
- 2002
- 21st DAYS OF WEAK ARITHMETICS were held in St.Petersburg (Russia) from June 7 to June 9, 2002.
- 2001
- LCCS'2001 International Workshop on Logic and Complexity in Computer Science was held on September 3-5, 2001, Créteil, France.
- 1999
- First St. Petersburg DAYS on LOGIC and COMPUTABILITY were held on May 26-29, 1999.
- 1999
- 14th DAYS OF WEAK ARITHMETICS were held in St.Petersburg (Russia) from May 22 to May 24, 1997.