Institute for Mathematical Sciences                                        Programs & Activities

 

   
 

Online registration form
   


Online financial assistance application form
    Register


Application for financial support is closed.


Enquiries

      General

      Scientific aspects




   

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

 

 Monday, 12 Sep 2011

09:00am - 09:15am

Registration

09:15am - 09:30am

Opening Remarks

09:30am - 10:10am

Rational subsets of groups

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

top
Best viewed with IE 7 and above