Institute for Mathematical Sciences Event Archive

 

   
 

Online registration form
   


Online financial assistance application form
    Register


Application for financial support is closed.


Enquiries

      General

      Scientific aspects




   

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

OVERSEAS VISITORS

   

Manindra Agrawal
Indian Institute of Technology Kanpur, India
manindra(AT)cse.iitk.ac.in

12 - 16 Sep 2011

Workshop:

Klaus Ambos-Spies
University of Heidelberg, Germany
ambos(AT)math.uni-heidelberg.de

10 Sep - 1 Oct 2011

Workshop:

Finite-state genericity: on the diagonalization strength of finite automata

Eugene Asarin
Université Paris Diderot - Paris 7, France
eugene.asarin(AT)liafa.jussieu.fr

11 - 17 Sep 2011

Workshop:

Information in and size of timed languages

Lorenzo Carlucci
University of Rome La Sapienza, Italy
carlucci(AT)di.uniroma1.it

10 - 25 Sep 2011

Volker Diekert
University of Stuttgart, Germany
volker.diekert(AT)fmi.uni-stuttgart.de

12 - 25 Sep 2011

Workshop:

Solving word problems in group extensions over infinite words

Robert Gilman
Stevens Institute of Technology, USA
rgilman(AT)stevens.edu

10 - 17 Sep 2011

Workshop:

Rational subsets of groups

Bakhadyr Khoussainov
University of Auckland, New Zealand
bmk(AT)cs.auckland.ac.nz

8 - 19 Sep 2011

Timo Kötzing
Max-Planck-Institute for Computer Science, Germany
koetzing(AT)mpi-inf.mpg.de

9 - 26 Sep 2011

Workshop:

Learning XML specifications from well-formed documents

Dietrich Kuske
Technical University of Ilmenau, Germany
dietrich.kuske(AT)tu-ilmenau.de

4 - 18 Sep 2011

Workshop:

Isomorphism of (tree) automatic (scattered) linear orders

Jiamou Liu
Auckland University of Technology, New Zealand
jliu036(AT)aucklanduni.ac.nz

3 - 30 Sep 2011

Workshop:

Isomorphism of automatic trees

Markus Lohrey
University of Leipzig, Germany
lohrey(AT)informatik.uni-leipzig.de

11 - 17 Sep 2011

Workshop:

Isomorphism of automatic equivalence relations

Eric Martin
University of New South Wales, Australia
emartin(AT)cse.unsw.edu.au

5 - 12 Sep 2011

Workshop:

An application of automatic structures to inductive inference and the notion of robust learning

Wolfgang Merkle
University of Heidelberg, Germany
merkle(AT)math.uni-heidelberg.de

13 - 29 Sep 2011

Workshop:

Finite-state randomness: on the prediction strength of finite automata

Alexei Miasnikov
McGill University, Canada and Stevens Institute of Technology, USA
amiasnik(AT)stevens.edu

14 - 22 Sep 2011

Workshop:

Cayley automatic groups and semigroups

Abdumalik Rakhimov
University Putra Malaysia, Malaysia
abdumalik2004(AT)mail.ru

11 - 18 Sep 2011

Daniel Reidenbach
Loughborough University, UK
D.Reidenbach(AT)lboro.ac.uk

11 - 18 Sep 2011

Workshop:

Automata for pattern languages

Klaus Reinhardt
Eberhard-Karls Universt?t T?bingen, Germany
klaus.reinhardt(AT)uni-jena.de

8 - 20 Sep 2011

Workshop:

The "Trio-zoo" - classes of formal languages generated from one language by rational transduction

Sasha Rubin
INRIA Rennes, France
sasha.rubin(AT)gmail.com

11 - 27 Sep 2011

Workshop:

Monadic-interpretations in scattered trees

Sriram Sankaranarayanan
University of Colorado Boulder, USA
srirams(AT)colorado.edu

10 - 18 Sep 2011

Workshop:

Constructing invariants for hybrid automata

Philipp Schlicht
University of Bonn, Germany
schlicht(AT)math.uni-bonn.de

11 - 25 Sep 2011

Pavel Semukhin
University of Regina, Canada
pavel(AT)semukhin.name

8 Sep - 1 Oct 2011

Workshop:

Automatic models of first-order theories

Todor Tsankov
Université Paris Diderot - Paris 7, France
todor(AT)math.jussieu.fr

8 - 21 Sep 2011

Workshop:

The additive group of the rationals is not automatic

Shaofa Yang
Shenzhen Institute of Advanced Technology and Chinese Academy of Sciences, China
sf.yang(AT)siat.ac.cn

4 - 17 Sep 2011

Workshop:

Towards automatic analysis of the chinese CTCS-3 high-speed train control regulations

Thomas Zeugmann
Hokkaido University, Japan
thomas(AT)ist.hokudai.ac.jp

1 - 22 Sep 2011

Workshop:

On the amount of nonconstructivity to learn regular languages

LOCAL VISITORS

   

Sanjay Jain
National University of Singapore
sanjay(AT)comp.nus.edu.sg

1 - 30 Sep 2011

Frank Stephan
National University of Singapore
fstephan(AT)comp.nus.edu.sg

1 - 30 Sep 2011

Workshop:

An introduction to learning automatic families

P.S. Thiagarajan
National University of Singapore
thiagu(AT)comp.nus.edu.sg

1 - 30 Sep 2011

Workshop:

Approximations of hybrid behaviors

Guohua Wu
Nanyang Technological University
guohua(AT)ntu.edu.sg

1 - 30 Sep 2011

Yue Yang
National University of Singapore
matyangy(AT)nus.edu.sg

1 - 30 Sep 2011

GRADUATE STUDENTS

   

Martin Huschenbett
Technical University of Ilmenau, Germany
martin.huschenbett(AT)tu-ilmenau.de

9 - 18 Sep 2011

Workshop:

Word automaticity of tree automatic ordinals is decidable

Prateek Karandikar
Chennai Mathematical Institute, India
prateek(AT)cmi.ac.in

10 - 18 Sep 2011

REGISTERED LOCAL PARTICIPANTS

   

Chengnian Sun
National University of Singapore
suncn(AT)comp.nus.edu.sg

12 - 16 Sep 2011

Shaojie Zhang
National University of Singapore
shaojiezhang(AT)nus.edu.sg

12 - 16 Sep 2011

 

 

Organizing Committee · Visitors and Participants · Overview · Activities · Venue · Funding for Students/Young Scientists

top
Best viewed with IE 7 and above