Recent and forthcoming talks:

• A logical framework with commutative and non-commutative subexponentials (with M. Kanovich, V. Nigam, and A. Scedrov). IJCAR 2018 (Oxford, July 14–17)
• Bracket induction for Lambek calculus with bracket modalities (with G. Morrill, M. Kanovich, and A. Scedrov). Formal Grammar 2018 (Sofia, August 11–12)
• *-continuity vs. induction: divide and conquer. AiML 2018 (Bern, August 27–31)

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).

  Лекторы: член-корр. РАН Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов, доц. Т. Л. Яворская
  

Кружки

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