Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

Система компьютерной алгебры GAP: AutoMathA conference 2009 / CANT school 2009



Dear colleague,

We apologize if you receive multiple copies. Could you spread the
information
to whom you think could be interested in.

Let us advertise two main events : a school and a conference
both held in Belgium, University of Lie`ge, Department of Mathematics.

---------------------------------------------------------------------------------
1-5 June 2009 CANT'2009 : International School on
Combinatorics, Automata and Number Theory (see details below)
---------------------------------------------------------------------------------
8-12 June 2009 AutoMathA : International Conference
AutoMathA : from Mathematics to Applications
---------------------------------------------------------------------------------

AutoMathA 2009 is the main conference of the programme AutoMathA of the
European Science Foundation.

http://www.cant.ulg.ac.be/automatha/

The topics of the conference will range from the mathematical
foundations of
automata theory to the more recent applications. The programme will
include a
mix of invited and contributed papers. All areas covered by the
AutoMathA
programme are welcome:

* Automata models: Automata on words, infinite words, traces, trees,
graphs,
etc., Extended automata (alternating, probabilistic, with counters,
stacks,
hybrid, Max-Plus, etc.), Automata with output, transducers.

* Fundamental aspects of the theory of automata: Mathematical
foundations,
semigroups and algebra, topology, etc., Logic, circuits, etc.,
Algorithms on
automata and words, Languages and formal grammars, Symbolic dynamics and
coding.

* Applications: System analysis and verification, Natural language
processing,
text and hypertext processing, information retrieval, data compression,
Control and Discrete Event Systems, New challenges for automata theory
(biology, mobile computing, quantum computing, tomography, picture
processing, multi-sensor integration).

Important Dates:
===========
* Deadline for submitting a paper : 27th February 2009
* Notification to authors : 13rd April 2009
* Deadline for registration : 15th May 2009

Submissions are done electronically
http://www.easychair.org/conferences/?conf=automatha2009

All areas covered by the AutoMathA programme are welcome. It is the
responsability of the Programme Committee to select the contributed
papers
amongst the submissions. The papers selected by the Programme
Committee will
appear in a local preproceeding (local preprint from the Math.
Department of
the University of Lie`ge, no ISBN). After the conference, a special
issue of
DMTCS (Discrete Mathematics and Theoretical Computer Science) will be
devoted
to the AutoMathA conference. Participants will be able to submit
papers to
this journal. The submission procedure will follow the standards of the
journal and is independent of the selection process for the conference.

Invited Speakers:
============
Jean Berstel, Univ. Paris-Est
Alberto Bertoni, Univ. degli Studi di Milano
Mikol/aj Bojan'czyk, Warsaw Univ.
Aldo de Luca, Univ. di Roma, "La Sapienza"
Shlomi Dolev, Ben-Gurion Univ.
Zoltan Esik, Univ. of Szeged
Hendrik Jan Hoogeboom, Leiden Univ.
Jean-Franc,ois Raskin, Univ. Libre de Bruxelles
Nicole Schweikardt, Humboldt-Universita:t zu Berlin
Igor Walukiewicz, CNRS, Univ. Bordeaux

Programme Committee:
===============
Vale'rie Berthe', CNRS, LIRMM Montpellier, France
Bernard Boigelot, Univ. of Lie`ge, Belgium
Ve'ronique Bruye`re (chair), Univ. of Mons-Hainaut, Belgium
Tero Harju, Univ. of Turku, Finland
Tom Henzinger, EPFL, Lausanne, Switzerland
Markus Holzer, TU Mu:nchen, Germany
Bakhadyr Khoussainov, University of Auckland, New Zealand
Jarkko J. Kari, Univ. of Turku, Finland
Michal Kunc, Masaryk Univ. Brno, Czech Republic
Christof Lo:ding, RWTH Aachen, Germany
Stuart Margolis, Bar Ilan University
Mehryar Mohri, Courant Institute of Mathematical Sciences, New York
Univ., USA
Alexander Okhotin, Univ. of Turku, Finland
Jean-Eric Pin (co-chair), CNRS, LIAFA, France
Antonio Restivo (co-chair), Univ. of Palermo, Italy
Michel Rigo, Univ. of Lie`ge, Belgium
Giorgio Satta, Univ. of Padua, Italy
Pedro Ventura Silva, Univ. of Porto, Portugal
Howard Straubing, Boston College, USA
Klaus Wagner, University of Wu:rzburg, Germany
Thomas Wilke, Christian-Albrechts-Universita:t zu Kiel, Germany

Organizing Committee:
===============
Vale'rie Berthe', CNRS, LIRMM Montpellier, France
Tomi Ka:rki, Univ. of Lie`ge
Pierre Lecomte, Univ. of Lie`ge
Hadrien Me'lot, Univ. of Mons-Hainaut
Michel Rigo, Univ. of Lie`ge
Pierre Wolper, Univ. of Lie`ge

---------------------------------------------------------------------------------
1-5 June 2009 CANT'2009 : International School on
Combinatorics, Automata and Number Theory
---------------------------------------------------------------------------------

http://www.cant.ulg.ac.be/cant2009/

Aim:
====
The proposed international school is aimed at presenting and
developing recent
trends in Combinatorics (with emphasis on Combinatorics on Words),
Automata
Theory and Number Theory. On the one hand, the newest results in these
areas
shall benefit from a synthetic exposition, and on the other hand,
emphasis on
the connections existing between the main topics of the school will be
sought.

Main Invited Speakers:
===============
Boris Adamczewski, CNRS, University Lyon 1, France
Vincent Blondel, Universite' catholique de Louvain, Belgium
Julien Cassaigne, CNRS, IML, Marseille, France
Christiane Frougny, LIAFA, CNRS, and Univ. Paris 8, France
Raphae:l Jungers, Universite' catholique de Louvain, Belgium
Thierry Monteil, CNRS, LIRMM, Montpellier, France
Anne Siegel, CNRS, IRISA, Universite' Rennes 1, France

Topics of the school:
==============
The main topics of this school are (4 hours and a half for each subject)

*Number representation and finite automata
*Factor complexity
*Tilings, substitutions and Rauzy fractals
*Block frequencies in infinite words and invariant measures
*Transcendence and Diophantine approximation
*Maximal products of matrices and the finiteness property

Organizing Committee:
===============
Vale'rie Berthe', CNRS, LIRMM Montpellier, France
Emilie Charlier, Univ. of Lie`ge
Pierre Lecomte, Univ. of Lie`ge
Michel Rigo, Univ. of Lie`ge

Information:
e-mail: M.Rigo@ulg.ac.be

Location:
Institute of Mathematics,
University of Lie`ge,
Grande Traverse 12 (B37),
B-4000 Lie`ge,
Belgium.

В избранное