Automata: from Mathematics to Applications (AutoMathA)

Science meetings

Please submit your proposals for science meetings using this form Application Form

You will find here the guidelines for science meeting organisers

Proposals for workshops on invitations should be submitted at least three months in advance of the event date and proposal for schools and for workshops with call for papers should be submitted at least five months in advance of the event date.

Deadlines for submission of proposals are:
15 March, 15 June, 15 September and 15 December

Please note that, as the end of the programme is approaching, we may support less applications than in the previous years.

NEW!

AutoMathA Brainstorming and Cooperation Days are mini-workshops bringing 6 to 20 researchers to work for 2–3 days on a very specific topic. Rather that just giving a forum for exchanging recent results in a given area, the Brainstorming and Cooperations Days are designed to work out promising research tasks or even projects and to install cooperations. For more details see the following document.

 

top of page

2010 Worshops, Schools and Conferences

  • Workshop Automata and logic for data manipulating programmes
    7-8 December 2010, Paris
    Organiser: Dr. Olivier Serre
    go to website

  • Dynamical Aspects of Automata and Semigroup Theories
    25-26 November 2010, Vienna
    Organiser: Dr. Alfredo Costa
    go to website
     
  • Conference "Highlights of AutoMathA"
    21-24 November 2010, Vienna University
    Organiser: Professor Werner Kuich
    go to webiste
     
  • Workshop: Syntactic Automata and Algebras for Infinite Alphabets
    27-28 September 2010, Warsaw
    Organiser: Mikolaj Bojanczyk
    go to website

  • Workshop Weighted Automata: Theory and Applications
    3-7 May 2010, Leipzig University
    Organiser: Professor Manfred Droste
    go to website

  • Workshop on Higher-Order Recursion Schemes & Pushdown Automata
    10-12 March 2010,  Paris, France
    Organiser: Dr. Olivier Serre
    go to website

  •  

2009 Workshops, Conferences and Schools

  • ABCD workshop on Equational Theory of Regular Languages
    5-6 March 2009, Brno, Czech Republic
    Organiser: Dr. Michal Kunc
    More information can be found at: website

  • ABCDays on List Automata, Forgetting Automata, and Restarting Automata
    27-29 March 2009, Prague, Czech Republic
    Organiser: Dr. Frantisek Mraz
    More information be be found at: website
  • School on Combinatorics, Automata and Number Theory: CANT'09
    1-5 June 2009, Liège, Belgium
    Organiser: Professor Michel Rigo
    More information can be found at website

  • AutoMathA Plenary Conference
    8-12 June 2009, Liège, Belgium
    Organiser: Professor Michel Rigo
    More information can be found at website

  • Workshop Automata in Algorithmic Logic
    28-29 June 2009, Stuttgart, Germany
    Organiser: Professor Markus Lohrey
    More information can be found at website


  • Workshop on Quantitative Logics (Satellite event to ICALP 2009)
    5 July 2009, Rhodes, Greece
    Organiser: Dr. George Rahonis
    More information can be found at website

  • Workshop on Non-Classical Models of Automata and Applications (NCMA)
    31 August - 1 September 2009, Wroclaw
    Organiser: Professor Friedrich Otto
    More information can found at  website


  • Conference WORDS 2009
    14-18 September 2009
    Organiser: Professor Clelia de Felice
    More information can be found at website


  • Workshop on Distance Automata and Generalisations
    16-18 November 2009
    Organiser: Mr. Thomas Colcombet
    More information can be found at website



2008 Workshops, Conferences and Schools

  • ABCD on Mu Calculus
    28-29 May 2008, Lausanne
    Organiser: Professor Jacques Duparc
    More information can be found at go to website
    Workshop report

  • ABCD Workshop Around Cerny's Conjecture
    22-25 June, Wroclaw, Poland
    Organiser: Professor Andrzej Kisielewicz
    More information can be found at go to website
    Workshop report

  • Workshop Interaction and Concurrency Experience
    6 July 2008, Reykjavik, Iceland
    Organiser: Dr. Angelo Troina
    More information can be found at go to website
    Workshop report

  • Workshop Automata and Verification
    25-26 August 2008, Mons, Belgium
    Organiser: Professor Véronique Bruyère
    More information can be found at go to website
    Workshop report

  • Mons Days of Theoretical Computer Science
    27-30 August 2008, Mons, Belgium
    Organiser: Professor Veronique Bruyère
    More information can be found at go to website
    Workshop report

  • School Algebraic Theory of Automata
    1-12 September 2008, Lisbon, Portugal
    Organiser: Professor Gracinda M.S. Gomes
    More information can be found at go to website
    Workshop report

  • Workshop Developments and New Tracks in Trace Theory
    9-11 October 2008, Cremona, Italy
    Organiser: Professor Stefano Crespi Reghizzi
    More information can be found at go to website
    Workshop report

  • ABCD workshop Automata Theoretic Methods in Algorithmic Algebra
    24-26 November 2008, Bratislava, Slovakia
    Organiser: Dr. Tatiana Jajcayova
    More information can be found at go to website

 

 

 

2007 Workshops and Conferences

  • The AutomathA 2007 conference will take place on 18-22 June 2007 in Mondello, Palermo
    organised by Professor Antonio Restivo.
    More information can be found at go to website
    Workshop report (80 KB)

  • Workshop on Symbolic Dynamics and Coding 2007, 2-4 July 2007, University of Marne-la-Vallée (France)
    Organiser: Sylvain Lombardy
    More information can be found at go to website
    Workshop report (128KB)

  • GAMES 07, 10-13 September 2007, Lausanne
    "A Special Day on Automata and Games" will organised within GAMES 07
    org. Professor Jacques Duparc
    More information can be found at go to website
    Workshop report (96KB)

  • Workshop on "Methods for Modalities" (M4M-5), 29-30 November 2007, Cachan (France)
    Organiser: Dr. Stephane Pihnas Demri
    More information can be found at go to website
    Workshop report (33KB)

top of page

2006 Workshops and Conferences

  • A Workshop on Weighted Automata Theory and Application (WATA 2006)
    Leipzig (Germany) on 27-31 March 2006.
    More information can be found at: go to website
    Workshop report (56KB)
     
  • A Workshop on  Advances on Two-dimensional Language Theory,
    Salerno (Italy) on 3-5 May 2006.
    More information can be found at: go to website
    Workshop report (188KB)

  • A Workshop on Tree Automata
    Bonn-Aachen International Center for Information Technology (Germany) on 7-9 June 2006.
    More information can be found at: go to website
    Workshop report (76KB)

  • The Mons Days of Theoretical Computer Science (JM 2006)
    Rennes (France) on 30 August - 2 September 2006.
    More information can be found at: go to website

  • Workshop on Algebraic Theory of Automata to Applications
    Szeged (Hungary), 30 September - 1 October 2006
    Professor Zoltan Esik
    More information can be found at: go to website
    Workshop report (128KB)

  • The fourth International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2006)
    Paris (France) on 25-27 September 2006.
    More information can be found at: go to website
    Workshop report (52KB)

  • Workshop on Automata and formal languages for DNA computation and bioinformatics
    Como (Italy), 18-20 October 2006
    Dr. Ruggero Lanotte
    More information can be found at: go to website
    Workshop report (80KB)

2005 Workshops

A Workshop on Semigroups and Automata, partially supported by the AutoMathA programme, was held on 16 July 2005 at the IST  in Lisbon (Portugal). This was a joint satellite  workshop to ICALP’ 05 and the Conference on Semigroups and Languages.
More information can be found at: go to website

top of page