Laboratory of Mathematical Logic
at
PDMI
Staff
Teaching/Seminars
Activities
Hilbert's 10th Problem
Gallery
Contacts
Search
Search this site:
Home
Activities
2021
Fifth St.Petersburg Days of LOGIC and COMPUTABILITY dedicated to the 80th birthday of Vladimir Orevkov"
was held
May 12—15
,
2021
.
2019
Fourth St.Petersburg Days of LOGIC and COMPUTABILITY in Honor of Nikolai A. Shanin on the Occasion of his 100th Anniversary"
was held
June 23—26
,
2019
.
2018
International Computer Science Student School
"Recent Advances in Algorithms"
.
2017
International Computer Science Student School
"Recent Advances in Algorithms"
.
Journées sur les Arithmétiques Faibles
(JAF 36)
2017
Third St.Petersburg Days of LOGIC and COMPUTABILITY
.
2016
15th International Symposium on Experimental Algorithms
(SEA 2016) was held in St.Petersburg from
June 5
to
June 8
,
2016
.
The 11th International Computer Science Symposium in Russia
(CSR'16) was held in St.Petersburg from
June 9
to
June 13
,
2011
.
2011
The 6th International Computer Science Symposium in Russia
(CSR'11) was held in St.Petersburg from
June 14
to
June 18
,
2011
.
2010
Microsoft Data Structures and Algorithms School
(MIDAS'10)
2009
NoNA Summer School on Complexity Theory
(SSCT'09).
Joint Advanced Student School
(JASS'09).
2008
Joint Advanced Student School
(JASS'08).
Methods of Logic in Mathematics V
.
2007
Joint Advanced Student School
(JASS'07).
Leonhard Euler and Modern Combinatorics (Methods of Logic in Mathematics IV)
.
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
Joint Advanced Student School
(JASS'05).
Methods of Logic in Mathematics II
.
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
21
st
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
.
1997
14
th
DAYS OF WEAK ARITHMETICS
were held in St.Petersburg (Russia) from
May 22
to
May 24
,
1997
.