Institute for Mathematical Sciences Event Archive
|
Online registration form
Application for financial support is closed. Enquiries |
|
Workshop on Automata Theory and its Applications
( 12 - 16 Sep 2011 )
Venue: IMS Auditorium
Organizing Committee · Visitors and Participants · Overview · Activities · Venue · Funding for Students/Young Scientists
09:00am - 09:15am |
Registration |
09:15am - 09:30am |
Opening Remarks |
09:30am - 10:10am |
Robert Gilman, Stevens Institute of Technology, USA |
10:10am - 10:50am |
An application of automatic structures to inductive inference and the notion of robust learning Eric Martin, University of New South Wales, Australia |
10:50am - 11:20am |
--- Coffee Break --- |
11:20am - 12:00nn |
Information in and size of timed languages Eugene Asarin, Université Paris Diderot - Paris 7, France |
12:00nn - 02:00pm |
--- Lunch --- |
02:00pm - 02:40pm |
Isomorphism of automatic equivalence relations Markus Lohrey, University of Leipzig, Germany |
02:40pm - 03:20pm |
Isomorphism of automatic trees Jiamou Liu, Auckland University of Technology, New Zealand |
03:20pm - 03:50pm |
--- Coffee Break --- |
03:50pm - 04:30pm |
Isomorphism of (tree) automatic (scattered) linear orders Dietrich Kuske, Technical University of Ilmenau, Germany |
04:30pm - 05:10pm |
Word automaticity of tree automatic ordinals is decidable Martin Huschenbett, Technical University of Ilmenau, Germany |
06:30pm |
Workshop Dinner Venue: COM1, Patio, Department of Computer Science, School of Computing |
Tuesday,
13 Sep 2011 |
|
09:15am - 09:30am |
Registration |
09:30am - 10:10am |
An introduction to learning automatic families Frank Stephan, National University of Singapore |
10:10am - 10:50am |
Monadic-interpretations in scattered trees Sasha Rubin, INRIA Rennes, France |
10:50am - 11:20am |
--- Coffee Break --- |
11:20am - 12:00nn |
Constructing invariants for hybrid automata Sriram Sankaranarayanan, University of Colorado Boulder, USA |
12:00nn - 02:00pm |
--- Lunch --- |
02:00pm - 02:40pm |
The "Trio-zoo" - classes of formal languages generated from one language by rational transduction Klaus Reinhardt, German Friedrich-Schiller-Universität Jena, Germany |
02:40pm - 03:20pm |
On the amount of nonconstructivity to learn regular languages Thomas Zeugmann, Hokkaido University, Japan |
03:20pm - 03:50pm |
--- Coffee Break --- |
Wednesday,
14 Sep 2011 |
|
09:15am - 09:30am |
Registration |
09:30am - 10:10am |
Finite-state genericity: on the diagonalization strength of finite automata Klaus Ambos-Spies, University of Heidelberg, Germany |
10:10am - 10:50am |
Finite-state randomness: on the prediction strength of finite automata Wolfgang Merkle, University of Heidelberg, Germany |
10:50am - 11:20am |
--- Coffee Break --- |
11:20am - 12:00nn |
Towards automatic analysis of the chinese CTCS-3 high-speed train control regulations Shaofa Yang, Shenzhen Institute of Advanced Technology and Chinese Academy of Sciences, China |
12:00nn - 02:00pm |
--- Lunch --- |
Thursday,
15 Sep 2011 |
|
09:15am - 09:30am |
Registration |
09:30am - 10:10am |
The additive group of the rationals is not automatic Todor Tsankov, Université Paris Diderot - Paris 7, France |
10:10am - 10:50am |
Solving word problems in group extensions over infinite words Volker Diekert, University of Stuttgart, Germany |
10:50am - 11:20am |
--- Coffee Break --- |
11:20am - 12:00nn |
Approximations of hybrid behaviors P.S. Thiagarajan, National University of Singapore |
12:00nn - 02:00pm |
--- Lunch --- |
02:00pm - 02:40pm |
Cayley automatic groups and semigroups Alexei Miasnikov, McGill University, Canada and Stevens Institute of Technology, USA |
02:40pm - 03:20pm |
Automatic models of first-order theories Pavel Semukhin, University of Regina, Canada |
03:20pm - 03:50pm |
--- Coffee Break --- |
Friday,
16 Sep 2011 |
|
09:15am - 09:30am |
Registration |
09:30am - 10:10am |
Automata for pattern languages Daniel Reidenbach, Loughborough University, UK |
10:10am - 10:50am |
Learning XML specifications from well-formed documents Timo Kötzing, Max-Planck-Institute for Computer Science, Germany |
10:50am - 11:20am |
--- Coffee Break --- |
Organizing Committee · Visitors and Participants · Overview · Activities · Venue · Funding for Students/Young Scientists
