Skip to Content

LATA 2013: submission deadline extended

Зображення користувача Ярослав Кохан.

Організатори LATA 2013 оголосили про продовження строку подачі заявок і матеріалів на конференцію до 15 листопада цього року. Також став відомим перелік запрошених доповідачів:

INVITED SPEAKERS:

  • Jin-Yi Cai (Madison), Complexity Dichotomy for Counting Problems
  • Kousha Etessami (Edinburgh), Algorithms for Analyzing Infinite-state Recursive Probabilistic Systems
  • Luke Ong (Oxford), tutorial Languages and Automata for Higher-order Model Checking
  • Joël Ouaknine (Oxford), tutorial Discrete Linear Dynamical Systems
  • Thomas Schwentick (Dortmund), Applications of Automata in Database Theory — Challenges to Automata Theory from Databases
  • Andrei Voronkov (Manchester), The Lazy Reviewer Assignment Problem in EasyChair


story | by Dr. Radut