ИСТИНА

• Охват: Международная
• Даты проведения: 3 сентября 2015
• Место проведения: Штутгарт, Germany
• Организатор:
  University of Stuttgart
• Число участников: 30
• Число участников из МГУ: 1
• Число докладчиков: 19
• Веб-сайт: http://www.ims.uni-stuttgart.de/events/CAI2015
• Описание конференции:

  CAI is the biennial conference serving the community interested in the intersection of theoretical computer science, algebra, and related areas. Typical contributions to CAI come from the following areas of interest (ordered alphabetically). ##abstract machines or systems ##acceptors and transducers for discrete structures ##algebraic aspects of cryptography ##algebraic characterization of logical theories ##algebraic coding theory ##algebraic semantics ##algebraic specifications and algorithms ##computational number theory ##decision problems ##finite and infinite computations ##formal power series ##hybrid automata ##process algebra ##program construction and refinements ##term rewriting

• Добавил в систему: Захаров Владимир Анатольевич

Доклады:

• 2015 Equivalence checking problem for finite state transducers over semigroups (Устный)
• Автор: Zakharov V.A.