Institute for Mathematical Sciences Event Archive
Automata Theory and Applications
(1 - 30 September 2011)
Organizing Committee · Visitors and Participants · Overview · Activities · Venue · Funding for Students/Young Scientists
Visitors and Participants
NAME & AFFILIATION |
PERIOD OF VISIT |
TENTATIVE TITLE OF TALK |
Manindra Agrawal | 12 - 16 Sep 2011 | Workshop: |
Klaus Ambos-Spies | 10 Sep - 1 Oct 2011 | Workshop: Finite-state genericity: on the diagonalization strength of finite automata |
Eugene Asarin | 11 - 17 Sep 2011 | Workshop: |
Lorenzo Carlucci | 10 - 25 Sep 2011 | |
Volker Diekert | 12 - 25 Sep 2011 | Workshop: Solving word problems in group extensions over infinite words |
Robert Gilman | 10 - 17 Sep 2011 | Workshop: |
Bakhadyr Khoussainov | 8 - 19 Sep 2011 | |
Timo Kötzing | 9 - 26 Sep 2011 | Workshop: |
Dietrich Kuske | 4 - 18 Sep 2011 | Workshop: Isomorphism of (tree) automatic (scattered) linear orders |
Jiamou Liu | 3 - 30 Sep 2011 | Workshop: |
Markus Lohrey | 11 - 17 Sep 2011 | Workshop: |
Eric Martin | 5 - 12 Sep 2011 | Workshop: An application of automatic structures to inductive inference and the notion of robust learning |
Wolfgang Merkle | 13 - 29 Sep 2011 | Workshop: Finite-state randomness: on the prediction strength of finite automata |
Alexei Miasnikov | 14 - 22 Sep 2011 | Workshop: Cayley automatic groups and semigroups |
Abdumalik Rakhimov | 11 - 18 Sep 2011 | |
Daniel Reidenbach | 11 - 18 Sep 2011 | Workshop: |
Klaus Reinhardt | 8 - 20 Sep 2011 | Workshop: The "Trio-zoo" - classes of formal languages generated from one language by rational transduction |
Sasha Rubin | 11 - 27 Sep 2011 | Workshop: |
Sriram Sankaranarayanan | 10 - 18 Sep 2011 | Workshop: |
Philipp Schlicht | 11 - 25 Sep 2011 | |
Pavel Semukhin | 8 Sep - 1 Oct 2011 | Workshop: |
Todor Tsankov | 8 - 21 Sep 2011 | Workshop: |
Shaofa Yang | 4 - 17 Sep 2011 | Workshop: Towards automatic analysis of the chinese CTCS-3 high-speed train control regulations |
Thomas Zeugmann | 1 - 22 Sep 2011 | Workshop: On the amount of nonconstructivity to learn regular languages |
Sanjay Jain | 1 - 30 Sep 2011 | |
Frank Stephan | 1 - 30 Sep 2011 | Workshop: An introduction to learning automatic families |
P.S. Thiagarajan | 1 - 30 Sep 2011 | Workshop: Approximations of hybrid behaviors |
Guohua Wu | 1 - 30 Sep 2011 | |
Yue Yang | 1 - 30 Sep 2011 | |
Martin Huschenbett | 9 - 18 Sep 2011 | Workshop: Word automaticity of tree automatic ordinals is decidable |
Prateek Karandikar | 10 - 18 Sep 2011 | |
Chengnian Sun | 12 - 16 Sep 2011 | |
Shaojie Zhang | 12 - 16 Sep 2011 |
Organizing Committee · Visitors and Participants · Overview · Activities · Venue · Funding for Students/Young Scientists