1-3 февраля в Москве состоится конференция "Logical Models of Reasoning and Computation" (LMRC '12),

5 views

Skip to first unread message

Rostislav Yavorskiy

unread,

Jan 25, 2012, 2:23:25 AM1/25/12

to Семинар <<Технологии разработки и анализа программ>>, itlab_se

Дорогие коллеги,

   1-3 февраля в Математическом институте им. Стеклова состоится
   конференция "Logical Models of Reasoning and Computation" (LMRC '12),
   посвящённая вопросам теоретической и прикладной математической логики,
   связанными с понятиями доказательства и вычисления.
   Тематика конференции включает в себя: методы автоматического и
   интерактивного поиска вывода, переписывание термов, системы многих
   агентов и эпистемическую логику, логики контроля доступа, сложность
   вычислений и доказательств, грамматики, теорию доказательств, модальную
   логику. В частности, будут рассматриваться логические языки и формализмы,
   предназначенные для моделирования взаимодействия нескольких агентов.

Предварительный список докладов с аннотациями размещён по адресу
http://wlc12.mi.ras.ru/program.html.

   Если Вы планируете принять участие в работе конференции,
   напишите об этом, сообщив ваши Ф.И.О., по адресу wl...@mi.ras.ru
   до 30.01.2012, чтобы вас включили в список на пропуск в здание института
   Стеклова.