"Algorithmic problems in algebra and logic" (S.I.Adian seminar)

Seminars

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
(Steklov Mathematical Institute, Moscow)

Seminar topics include classical and non-classical logics, group and semigroups, proof theory.

Seminars are held on Tuesdays, the meeting starts at 18.30. In the fall of 2021, all seminars will be broadcast on the Zoom platform. Some meetings will be held at the Steklov Mathematical Institute with broadcast in Zoom, this will be reported separately.

To receive a link for Zoom, please send an email to Alexey Talambutsa <altal@mi-ras.ru>

Seminar organizers
Beklemishev Lev Dmitrievich
Lysenok Igor Geront'evich
Semenov Aleksei Lvovich

Institutions
Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow


*"Algorithmic problems in algebra and logic" (S.I.Adian seminar), Moscow*

	*December 7, 2021 (Tue)*

1.	Systems of equations in groups Albert Garreta-Fontelles December 7, 2021 18:30, Moscow, Steklov Mathematical Institute


	*November 23, 2021 (Tue)*

2.	Complexity of the word problem in HNN-extensions Markus Lohrey November 23, 2021 18:30, Moscow, Steklov Mathematical Institute


	*November 16, 2021 (Tue)*

3.	Relative order and spectrum of subgroups E. Ventura November 16, 2021 18:30, Moscow, Steklov Mathematical Institute


	*November 9, 2021 (Tue)*

4.	Plain groups and rewriting systems. M. Elder November 9, 2021 18:30, Moscow, Steklov Mathematical Institute


	*October 26, 2021 (Tue)*

5.	The Dehn function and relative Dehn function of metabelian groups W. Wang October 26, 2021 18:30, Moscow, Steklov Mathematical Institute


	*April 27, 2021 (Tue)*

6.	Exponential equations in groups O. V. Bogopolskii April 27, 2021 18:30, Moscow, Steklov Mathematical Institute


	*April 6, 2021 (Tue)*

7.	Complexity of Linear Operators A. S. Kulikov April 6, 2021 18:30, Moscow, online in Zoom


	*March 30, 2021 (Tue)*

8.	Sublinear time algorithms and the average-case complexity of some algorithmic problems in (semi)group theory V. É. Shpil'rain March 30, 2021 18:30, Moscow, online in Zoom


	*December 1, 2020 (Tue)*

9.	Об алгоритмической неразрешимости проблемы вложимости многообразий A. Ya. Kanel', A. A. Chilikov December 1, 2020 18:30, Moscow, Steklov Mathematical Institute


	*November 24, 2020 (Tue)*

10.	The Post Correspondence Problem and Equalisers for Immersions of Free Groups A. Logan November 24, 2020 18:30, Moscow, online via Zoom


	*November 3, 2020 (Tue)*

11.	Commensurability of Baumslag-Solitar groups A. O. Zakharov November 3, 2020 18:30, Moscow, online via Zoom


	*October 27, 2020 (Tue)*

12.	SAT Solvers and Ordered Decision Strategies A. A. Razborov October 27, 2020 18:30, Moscow, online via Zoom


	*April 30, 2019 (Tue)*

13.	Некоторые алгоритмически неразрешимые проблемы, связанные с автоматными и самоподобными группами. I. V. Mitrofanov April 30, 2019 18:30, Moscow, Steklov Mathematical Institute


	*March 26, 2019 (Tue)*

14.	Прямоугольные диаграммы узлов и их монотонное упрощение I. A. Dynnikov March 26, 2019 18:30, Moscow, Steklov Mathematical Institute


	*March 19, 2019 (Tue)*

15.	Коммутаторная ширина группы Григорчука - II I. G. Lysenok March 19, 2019 18:30, Moscow, Steklov Mathematical Institute


	*March 12, 2019 (Tue)*

16.	Коммутаторная ширина группы Григорчука - I I. G. Lysenok March 12, 2019 18:30, Moscow, Steklov Mathematical Institute


	*February 26, 2019 (Tue)*

17.	О субквадратичных функциях сложности вывода для односторонних систем Туэ A. L. Talambutsa February 26, 2019 18:30, Moscow, Steklov Mathematical Institute


	*December 18, 2018 (Tue)*

18.	Об одном фазовом переходе в теории Рамсея A. A. Razborov December 18, 2018 18:30, Moscow, Steklov Mathematical Institute


	*December 11, 2018 (Tue)*

19.	Вербальная замкнутость A. A. Klyachko December 11, 2018 18:30, Moscow, Steklov Mathematical Institute


	*November 6, 2018 (Tue)*

20.	О спектрах консервативности арифметических теорий L. D. Beklemishev November 6, 2018 18:30, Moscow, Steklov Mathematical Institute


	*October 30, 2018 (Tue)*

21.	О показателях экспоненциального роста прямоугольных групп Кокстера A. L. Talambutsa October 30, 2018 18:30, Moscow, Steklov Mathematical Institute


	*October 23, 2018 (Tue)*

22.	Алгоритмическая разрешимость ориентируемых квадратичных уравнений в свободных метабелевых группах I. G. Lysenok October 23, 2018 18:30, Moscow, Steklov Mathematical Institute


	*October 16, 2018 (Tue)*

23.	О полноте модальных предикатных логик в семантике Крипке V. B. Shehtman October 16, 2018 18:30, Moscow, Steklov Mathematical Institute


	*April 24, 2018 (Tue)*

24.	О проблемах распознавания равенства и делимости слов в полугруппах с одним несократимым определяющим соотношением S. I. Adian April 24, 2018 18:30, Moscow, Steklov Mathematical Institute


	*April 10, 2018 (Tue)*

25.	О формулах, $n$-доказуемость которых выводима в арифметике Пеано E. A. Kolmakov April 10, 2018 18:30, Moscow, Steklov Mathematical Institute


	*March 20, 2018 (Tue)*

26.	О свойствах редукции и отделимости проективных классов в совершенных прообразах отрезка D. I. Saveliev March 20, 2018 18:30, Moscow, Steklov Mathematical Institute


	*March 6, 2018 (Tue)*

27.	Сложность вычисления некоторых функций коммуникационными протоколамис большим числом участников V. V. Podolskii March 6, 2018 18:30, Moscow, Steklov Mathematical Institute


	*February 27, 2018 (Tue)*

28.	Теоремы об ускорении доказательств в арифметике Пресбургера F. N. Pakhomov February 27, 2018 18:30, Moscow, Steklov Mathematical Institute


	*December 12, 2017 (Tue)*

29.	Логика Кузнецова-Муравицкого и семантика компьютерных языков D. S. Shamkanov December 12, 2017 18:30, Moscow, Steklov Mathematical Institute


	*November 21, 2017 (Tue)*

30.	О корнях многочленов в мин-плюс алгебре V. V. Podolskii November 21, 2017 18:30, Moscow, Steklov Mathematical Institute


	*November 14, 2017 (Tue)*

31.	Рекурсивно перечислимые теории, не имеющие алгоритмически разрешимой аксиоматизации S. L. Kuznetsov November 14, 2017 18:30, Moscow, Steklov Mathematical Institute


	*October 24, 2017 (Tue)*

32.	Об универсальной модели Крипке для позитивной логики доказуемости с операторами, выражающими консервативность L. D. Beklemishev October 24, 2017 18:30, Moscow, Steklov Mathematical Institute


	*October 10, 2017 (Tue)*

33.	Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика Yu. V. Savateev, D. S. Shamkanov October 10, 2017 18:30, Moscow, Steklov Mathematical Institute


	*October 3, 2017 (Tue)*

34.	Об интерпретациях арифметики Пресбургера в самой себе A. Zapryagaev, F. N. Pakhomov October 3, 2017 18:30, Moscow, Steklov Mathematical Institute


	*May 16, 2017 (Tue)*

35.	Исчисления Ламбека с обогащением сигнатуры операцией итерации S. L. Kuznetsov May 16, 2017 18:30, Moscow, Steklov Mathematical Institute


	*April 25, 2017 (Tue)*

36.	О количестве слов данной длины, не содержащих $\alpha$-степеней - II A. L. Talambutsa April 25, 2017 18:30, Moscow, Steklov Mathematical Institute


	*April 18, 2017 (Tue)*

37.	О количестве слов данной длины, не содержащих $\alpha$-степеней - I A. L. Talambutsa April 18, 2017 18:30, Moscow, Steklov Mathematical Institute


	*March 14, 2017 (Tue)*

38.	Об исчислении секвенций для модальной логики Гжегорчика с нефундированными выводами D. S. Shamkanov March 14, 2017 18:30, Moscow, Steklov Mathematical Institute


	*March 7, 2017 (Tue)*

39.	On the embedding preordering of universal algebras D. I. Saveliev March 7, 2017 18:30, Moscow, Steklov Mathematical Institute


	*February 28, 2017 (Tue)*

40.	О неразрешимых элементарных теориях полугрупп со свободным одноместным предикатом F. N. Pakhomov February 28, 2017 18:30, Moscow, Steklov Mathematical Institute


	*December 13, 2016 (Tue)*

41.	О невозможности одновременной оптимизации различных мер сложности пропозициональных доказательств A. A. Razborov December 13, 2016 18:30, Moscow, Steklov Mathematical Institute


	*December 6, 2016 (Tue)*

42.	О числе наборов элементов группы, обладающих данным свойством A. A. Klyachko December 6, 2016 18:30, Moscow, Steklov Mathematical Institute


	*November 22, 2016 (Tue)*

43.	О сильной полноте логики доказуемости Гёделя-Лёба относительно топологической семантики D. S. Shamkanov November 22, 2016 18:30, Moscow, Steklov Mathematical Institute


	*November 15, 2016 (Tue)*

44.	Новое доказательство теоремы Соловея об арифметической полноте логики GL F. N. Pakhomov November 15, 2016 18:30, Moscow, Steklov Mathematical Institute


	*November 8, 2016 (Tue)*

45.	Семантика квазидоказуемости для полных по Крипке расширений логики GL F. N. Pakhomov November 8, 2016 18:30, Moscow, Steklov Mathematical Institute


	*November 1, 2016 (Tue)*

46.	О позитивной логике доказуемости с операторами, выражающими консервативность L. D. Beklemishev November 1, 2016 18:30, Moscow, Steklov Mathematical Institute


	*October 18, 2016 (Tue)*

47.	Критерий обхода графа Кэли конечно-порождённой группы системой взаимодействующих конечных автоматов A. Ya. Kanel-Belov October 18, 2016 18:30, Moscow, Steklov Mathematical Institute


	*October 4, 2016 (Tue)*

48.	Построение конечно-определённой полугруппы с дробным порядком полиномиального роста I. A. Ivanov-Pogodaev October 4, 2016 18:30, Moscow, Steklov Mathematical Institute


	*April 19, 2016 (Tue)*

49.	Системы ординальных обозначений в иерархии Кукаля F. N. Pakhomov April 19, 2016 18:30, Moscow, Steklov Mathematical Institute


	*April 5, 2016 (Tue)*

50.	Невозможность замены правила сокращения конечным числом определяющих соотношений при задании полугруппы S. L. Kuznetsov April 5, 2016 18:30, Moscow, Steklov Mathematical Institute


	*March 29, 2016 (Tue)*

51.	Формальная арифметика на базе логики без правила сокращения D. S. Shamkanov March 29, 2016 18:30, Moscow, Steklov Mathematical Institute


	*March 22, 2016 (Tue)*

52.	Теорема С.И. Адяна о вложении полугрупп в группы с теми же определяющими соотношениями - III A. L. Talambutsa March 22, 2016 18:30, Moscow, Steklov Mathematical Institute


	*March 15, 2016 (Tue)*

53.	Теорема С.И. Адяна о вложении полугрупп в группы с теми же определяющими соотношениями - II A. L. Talambutsa March 15, 2016 18:30, Moscow, Steklov Mathematical Institute


	*March 1, 2016 (Tue)*

54.	Теорема С.И. Адяна о вложении полугрупп в группы с теми же определяющими соотношениями - I A. L. Talambutsa March 1, 2016 18:30, Moscow, Steklov Mathematical Institute


	*December 8, 2015 (Tue)*

55.	Лексикографические произведения и суммы модальных логик I. B. Shapirovsky December 8, 2015 18:30, Moscow, Steklov Mathematical Institute


	*December 1, 2015 (Tue)*

56.	Оценки длин преобразований запросов к снабженным логической теорией базам данных V. V. Podolskii December 1, 2015 18:30, Moscow, Steklov Mathematical Institute


	*November 10, 2015 (Tue)*

57.	О минимальных леводистрибутивных группоидах D. I. Saveliev November 10, 2015 18:30, Moscow, Steklov Mathematical Institute


	*November 3, 2015 (Tue)*

58.	Квадраты Сегерберга модальных логик и реляционные алгебры V. B. Shehtman November 3, 2015 18:30, Moscow, Steklov Mathematical Institute


	*October 27, 2015 (Tue)*

59.	О некоторых нестандартных предикатах доказуемости для формальной арифметики Пеано F. N. Pakhomov October 27, 2015 18:30, Moscow, Steklov Mathematical Institute


	*October 20, 2015 (Tue)*

60.	О двух модальных расширениях исчисления Ламбека S. L. Kuznetsov October 20, 2015 18:30, Moscow, Steklov Mathematical Institute


	*October 13, 2015 (Tue)*

61.	О показателях экспоненциального роста HNN-расширений абелевых групп A. L. Talambutsa October 13, 2015 18:30, Moscow, Steklov Mathematical Institute


	*October 6, 2015 (Tue)*

62.	Алгоритмическая статистика N. K. Vereshchagin October 6, 2015 18:30, Moscow, Steklov Mathematical Institute


	*May 19, 2015 (Tue)*

63.	О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко; продолжение) L. D. Beklemishev May 19, 2015 18:30, Moscow, Steklov Mathematical Institute


	*May 12, 2015 (Tue)*

64.	О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко) L. D. Beklemishev May 12, 2015 18:30, Moscow, Steklov Mathematical Institute


	*April 28, 2015 (Tue)*

65.	Преобразование контекстно-свободных грамматик в грамматики Ламбека, сохраняющее семантические значения слов S. L. Kuznetsov April 28, 2015 18:30, Moscow, Steklov Mathematical Institute


	*April 14, 2015 (Tue)*

66.	О существовании бесконечных конечно определённых ниль-полугрупп (По совместной работе с И.А. Ивановым-Погодаевым) A. Ya. Kanel-Belov April 14, 2015 18:30, Moscow, Steklov Mathematical Institute


	*April 7, 2015 (Tue)*

67.	Эффективный алгоритм для решения проблемы распознавания равенства в пространстве классов квазиморфизмов свободной группы A. L. Talambutsa April 7, 2015 18:30, Moscow, Steklov Mathematical Institute


	*March 24, 2015 (Tue)*

68.	Modal Logics Enriched with Transitive Closure Modality E. E. Zolin March 24, 2015 18:30, Moscow, Steklov Mathematical Institute


	*March 3, 2015 (Tue)*

69.	Decidability of the elementary theory of the free GLP-algebra generated by constants F. N. Pakhomov March 3, 2015 18:30, Moscow, Steklov Mathematical Institute


	*February 24, 2015 (Tue)*

70.	On the decidability of elementary theories of some ordinal notation systems based on the logic GLP F. N. Pakhomov February 24, 2015 18:30, Moscow, Steklov Mathematical Institute


	*December 2, 2014 (Tue)*

71.	О выразимых в логике первого порядка свойствах случайных графов M. E. Zhukovskii December 2, 2014 18:30, Moscow, Steklov Mathematical Institute


	*November 25, 2014 (Tue)*

72.	On the proof theory of modal logic extended with the least fixed-point operator (Part 2) D. S. Shamkanov November 25, 2014 18:30, Moscow, Steklov Mathematical Institute


	*November 18, 2014 (Tue)*

73.	On the proof theory of modal logic extended with the least fixed-point operator D. S. Shamkanov November 18, 2014 18:30, Moscow, Steklov Mathematical Institute


	*November 11, 2014 (Tue)*

74.	On the analog of Hilbert's Nullstellensatz for polynomials in algebraic system $(\mathbb{R}, \min, +)$ V. V. Podolskii November 11, 2014 18:30, Moscow, Steklov Mathematical Institute


	*October 14, 2014 (Tue)*

75.	On a sufficient condition for the finite approximability of modal logics I. B. Shapirovskii October 14, 2014 18:30, Moscow, Steklov Mathematical Institute


	*April 29, 2014 (Tue)*

76.	About the relation between Church Thesis and Uniformity Principle in Intuitionistic Set Theory V. Kh. Khakhanyan April 29, 2014 18:30, Moscow, Steklov Mathematical Institute


	*April 22, 2014 (Tue)*

77.	Full description of the relations between Brooks quasimorphisms in free groups A. L. Talambutsa April 22, 2014 18:30, Moscow, Steklov Mathematical Institute


	*March 25, 2014 (Tue)*

78.	Conjoinability relation in discontinuous Lambek calculus A. A. Sorokin March 25, 2014 18:30, Moscow, Steklov Mathematical Institute


	*March 18, 2014 (Tue)*

79.	The Longest Common Subword Problem T. A. Starikovskaya March 18, 2014 18:30, Moscow, Steklov Mathematical Institute


	*March 11, 2014 (Tue)*

80.	Layerwise computable mappings and Lovasz local lemma A. Kh. Shen' March 11, 2014 18:30, Moscow, Steklov Mathematical Institute


	*March 4, 2014 (Tue)*

81.	A joint logic of problems and propositions S. A. Melikhov March 4, 2014 18:30, Moscow, Steklov Mathematical Institute


	*February 25, 2014 (Tue)*

82.	A joint logic of problems and propositions S. A. Melikhov February 25, 2014 18:30, Moscow, Steklov Mathematical Institute


	*December 10, 2013 (Tue)*

83.	О позитивных логиках доказуемости L. D. Beklemishev December 10, 2013 18:30, Moscow, Steklov Mathematical Institute


	*November 19, 2013 (Tue)*

84.	On the rank of the intersection of free subgroups in fundamental groups of graphs of groups A. O. Zakharov November 19, 2013 18:30, Moscow, Steklov Mathematical Institute


	*November 12, 2013 (Tue)*

85.	О хопфовости $n$-периодических произведений групп S. I. Adian, Varuzhan Atabekyan November 12, 2013 18:30, Moscow, Steklov Mathematical Institute


	*November 5, 2013 (Tue)*

86.	On the rank of the intersection of free subgroups in amalgamated free products of groups A. O. Zakharov November 5, 2013 18:30, Moscow, Steklov Mathematical Institute


	*October 29, 2013 (Tue)*

87.	Об одной модификации понятия реализуемости Майхилла для интуиционистской теории множеств Smelyanskiy D.M. October 29, 2013 18:30, Moscow, Steklov Mathematical Institute


	*October 22, 2013 (Tue)*

88.	On ultrafilter extensions of linearly ordered sets D. I. Saveliev October 22, 2013 18:30, Moscow, Steklov Mathematical Institute


	*October 15, 2013 (Tue)*

89.	$\mathit{NP}$-completeness of a class of quadratic equations in free metabelian groups I. G. Lysenok October 15, 2013 18:30, Moscow, Steklov Mathematical Institute


	*October 8, 2013 (Tue)*

90.	Conjunctive grammars and the Lambek calculus enriched with the intersection connective S. Kuznetsov October 8, 2013 18:30, Moscow, Steklov Mathematical Institute


	*May 7, 2013 (Tue)*

91.	On infinite periodic groups (new lower bound on the period) S. I. Adian May 7, 2013 18:30, Moscow, Steklov Mathematical Institute


	*April 23, 2013 (Tue)*

92.	Burnside problem on periodic groups (a simplified proof) S. I. Adian April 23, 2013 18:30, Moscow, Steklov Mathematical Institute


	*April 16, 2013 (Tue)*

93.	On the length of conjunctive query rewritings for OWL 2 QL theories S. P. Kikot' April 16, 2013 18:30, Moscow, Steklov Mathematical Institute


	*April 9, 2013 (Tue)*

94.	On the computational complexity of the closed fragment of the provability logic GLP F. N. Pakhomov April 9, 2013 18:30, Moscow, Steklov Mathematical Institute


	*April 2, 2013 (Tue)*

95.	On the minimal exponential growth rates in free products of groups A. L. Talambutsa April 2, 2013 18:30, Moscow, Steklov Mathematical Institute


	*March 26, 2013 (Tue)*

96.	On the analog of Hilbert's Nullstellensatz theorem in the algebraic system $(\mathbb{R}, \min, +)$ V. V. Podolskii March 26, 2013 18:30, Moscow, Steklov Mathematical Institute


	*March 19, 2013 (Tue)*

97.	On an arithmetically complete calculus for uniform reflection schemata L. D. Beklemishev March 19, 2013 18:30, Moscow, Steklov Mathematical Institute


	*March 12, 2013 (Tue)*

98.	Modal logics of relations induced by Hamming distance I. B. Shapirovskii March 12, 2013 18:30, Moscow, Steklov Mathematical Institute


	*March 5, 2013 (Tue)*

99.	Computing the Lempel - Ziv Factorization of a Word under the RAM Model T. A. Starikovskaya March 5, 2013 18:30, Moscow, Steklov Mathematical Institute


	*December 18, 2012 (Tue)*

100.	The length of the join type in the Lambek calculus A. A. Sorokin December 18, 2012 18:30, Moscow, Steklov Mathematical Institute


	*December 11, 2012 (Tue)*

101.	On approximation of Boolean functions by small degree real polynomials A. A. Razborov December 11, 2012 18:30, Moscow, Steklov Mathematical Institute


	*December 4, 2012 (Tue)*

102.	On the representation of Boolean functions by sign functions of integer polynomials V. V. Podolskii December 4, 2012 18:30, Moscow, Steklov Mathematical Institute


	*November 27, 2012 (Tue)*

103.	Free monoid powerset models for two extensions of Lambek calculus S. Kuznetsov November 27, 2012 18:30, Moscow, Steklov Mathematical Institute


	*November 20, 2012 (Tue)*

104.	A sequent сalculus for Japaridze's polymodal provability logic D. S. Shamkanov November 20, 2012 18:30, Moscow, Steklov Mathematical Institute


	*November 13, 2012 (Tue)*

105.	A sequent сalculus for Gödel-Löb logic D. S. Shamkanov November 13, 2012 18:30, Moscow, Steklov Mathematical Institute


	*October 30, 2012 (Tue)*

106.	On elementary theories of free groups A. G. Myasnikov October 30, 2012 18:30, Moscow, Steklov Mathematical Institute


107.	On extensions of centralizers of elements in nilpotent groups V. N. Remeslennikov October 30, 2012 18:30, Moscow, Steklov Mathematical Institute


	*October 23, 2012 (Tue)*

108.	On the decidability of elementary theories of provability algebras and their fragments F. N. Pakhomov October 23, 2012 18:30, Moscow, Steklov Mathematical Institute


	*October 16, 2012 (Tue)*

109.	Counterexamples to Borsuk's problem on spheres of small radii A. B. Kupavskii October 16, 2012 18:30, Moscow, Steklov Mathematical Institute


	*October 9, 2012 (Tue)*

110.	One-rule term rewriting system with undecidable termination problem D. S. Shamkanov October 9, 2012 18:30, Moscow, Steklov Mathematical Institute


	*May 15, 2012 (Tue)*

111.	On equations in $(\mathbb{Z}, \min, +)$ algebraic system V. V. Podolskii May 15, 2012 18:30, Moscow, Steklov Mathematical Institute


	*April 24, 2012 (Tue)*

112.	First-order formulae equivalent to modal formulae translations I. I. Osipov April 24, 2012 18:30, Moscow, Steklov Mathematical Institute


	*April 10, 2012 (Tue)*

113.	Some interval modal logics A. S. Chizhov April 10, 2012 18:30, Moscow, Steklov Mathematical Institute


	*April 3, 2012 (Tue)*

114.	Elimination of Church's thesis from the proofs of negative formulae in intuitionistic set theory A. G. Vladimirov April 3, 2012 18:30, Moscow, Steklov Mathematical Institute


	*March 27, 2012 (Tue)*

115.	Modal definability of first-order formulas and its application to knowledge bases E. E. Zolin March 27, 2012 18:30, Moscow, Steklov Mathematical Institute


	*March 20, 2012 (Tue)*

116.	On a class of decidable monadic theories of graphs F. N. Pakhomov March 20, 2012 18:30, Moscow, Steklov Mathematical Institute


	*March 13, 2012 (Tue)*

117.	On propositional logics representing the notion of provability in arithmetic E. V. Dashkov March 13, 2012 18:30, Moscow, Steklov Mathematical Institute


	*March 6, 2012 (Tue)*

118.	On Zariski topologies on rings and more general algebras D. I. Saveliev March 6, 2012 18:30, Moscow, Steklov Mathematical Institute

Registration to the website

Logotypes