Recent and forthcoming talks:

• The logic of action lattices is undecidable. LICS 2019 (Vancouver, B.C., June 24–27)
• Complexity of reasoning in residuated Kleene algebras. Workshop on Structures and Deduction (Dortmund, June 29–30)
• The complexity of multiplicative-additive Lambek calculus: 25 years later (with M. Kanovich and A. Scedrov). WoLLIC 2019 (Utrecht, July 2–5).
• L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit (with M. Kanovich and A. Scedrov). WoLLIC 2019 (Utrecht, July 2–5).
• Undecidability of a newly proposed calculus for CatLog3 (with M. Kanovich and A. Scedrov). Formal Grammar 2019 (Riga, August 10–11).
• Undecidability for action lattices and semilattices. Trends in Logic '19 (Moscow, October 2–4).

Selected papers:

• (2018) S. Kuznetsov. *-continuity vs. induction: divide and conquer. [.pdf]
• (2017) M. Kanovich, S. Kuznetsov, G. Morrill, A. Scedrov. A polynomial-time algorithm for the Lambek calculus with brackets of bounded order. [text in LIPIcs]
• (2017) S. Kuznetsov. The Lambek calculus with iteration: two variants. [arXiv: 1705.07309]
• (2017) S. Kuznetsov, A. Okhotin. Conjunctive categorial grammars. [.pdf]
• (2016) M. Kanovich, S. Kuznetsov, A. Scedrov. Undecidability of the Lambek calculus with a relevant modality. [arXiv: 1601.06303]
• (2016) С. Л. Кузнецов. О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики (S. L. Kuznetsov. On translating Lambek grammars with one division into context-free grammars). [.pdf RU] [.pdf EN]
• (2012) S. Kuznetsov. L-completeness of the Lambek calculus with the reversal operation. [.pdf EN] [.pdf RU (VINITI preprint)]
• (2012) S. L. Kuznetsov. Categorial grammars based on variants of the Lambek calculus (C. Sc. thesis). [Russian text: .pdf] [Russian summary: .pdf] [English translation: .pdf] [English summary: .pdf]

Текущие · Current

• Automatic proof checking and algorithm verification [Coq] (NRU HSE, Computer Science).
• Coq-практикум (компьютерный практикум по автоматизированной проверке доказательств) (МГУ, мехмат)
• Семинары по математической логике и теории алгоритмов для 2-го курса (МГУ, мехмат)
• Discrete mathematics for algorithm and software design. (NRU HSE, Computer Science)

Материалы

• Спецкурс «Математическая логика» (обязательный курс для студентов кафедры математической логики и теории алгоритмов)
  Материалы:

  • задачи (обновлено 17.05.2016);
  • конспект лекций (версия 21.05.2016).

  Лекторы: член-корр. РАН Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов, доц. Т. Л. Яворская
  Внимание! Лекции 4 и 11 апреля 2019 г. пройдут в необычное время: 16:45 — 18:20. Сбор у кафедры (комн. 16-05).

Кружки

• Просеминар по математической логике и информатике
  Руководители: член-корр. РАН Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов, к. ф.-м. н. Ф. Н. Пахомов, академик РАН А. Л. Семёнов
  Время и место: вторник 16:45 — 18:20. МГУ, 2-й учебный корпус, ауд. 405.
  
• Малый мехмат
  Математические кружки при механико-математическом факультете МГУ.