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:

• (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]

Materials presented here are addressed to my students in Moscow and therefore exist only in Russian.

Курсы весеннего полугодия (2018):

• Функциональное программирование (факультет компьютерных наук НИУ ВШЭ)
  4-й курс бакалавриата, «Прикладная математика и информатика»
• Межфакультетский курс «Категориальные грамматики» (МГУ)
  Лекторы: к. ф.-м. н. С. Л. Кузнецов, проф. М. Р. Пентус, к. ф.-м. н. А. А. Сорокин
  Время и место: среда 17:00 — 18:30. МГУ, Главное здание, ауд. 16-04.
  Первая лекция: 14 февраля.
• Спецкурс «Математическая логика» (обязательный курс для студентов кафедры математической логики и теории алгоритмов)
  Материалы:

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

  Лекторы: член-корр. РАН Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов, доц. Т. Л. Яворская
  Время и место: четверг 15:00 — 16:35. МГУ, Главное здание, ауд. 12-07.
  В 2018 г. лекции начнутся 22 февраля.

Курсы осеннего полугодия:

• Семинары по математической логике и теории алгоритмов для 2-го курса мехмата МГУ
  Курс читается осенью. Материалы прошлых лет перемещены в архив.
• Coq-практикум (компьютерный практикум по автоматизированной проверке доказательств)
  Руководители: к. ф.-м. н. С. Л. Кузнецов, доц. В. Н. Крупский
  Время и место: практикум проводится в осеннем семестре, 1 занятие в 2 недели. МГУ, Главное здание, компьютерный класс 15-04.

Кружки:

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