posted by system || 933 views

CANT 2009 : International School on Combinatorics, Automata and Number Theory

FacebookTwitterLinkedInGoogle

Link: http://www.cant.ulg.ac.be/automatha/
 
When Jun 1, 2009 - Jun 5, 2009
Where Liege (Lugen), Belgium
Submission Deadline Feb 27, 2009
Notification Due Apr 13, 2009
Final Version Due May 15, 2009
Categories    combinatorics   automata   number theory
 

Call For Papers

Topics of interest

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
o Automata on words, infinite words, traces, trees, graphs, etc.
o Extended automata (alternating, probabilistic, with counters, stacks, hybrid, Max-Plus, etc.)
o Automata with output, transducers
* Fundamental aspects of the theory of automata
o Mathematical foundations: semigroups and algebra, topology, etc.
o Logic, circuits, etc.
o Algorithms on automata and words
o Languages and formal grammars
o Symbolic dynamics and coding
* Applications
o System analysis and verification
o Natural language processing, text and hypertext processing, information retrieval, data compression
o Control and Discrete Event Systems
o 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

Please note that the deadline for submission is a strict deadline.

Related Resources

LATA 2019   13th International Conference on Language and Automata Theory and Applications
COCOON 2019   The 25th International Computing and Combinatorics Conference
VISAPP 2019   14th International Conference on Computer Vision Theory and Applications
ICALP 2018   International Colloquium on Automata, Languages and Programming
ANALCO 2019   Analytic Algorithmics and Combinatorics
STACS 2019   36th International Symposium on Theoretical Aspects of Computer Science
GandALF 2018   International Symposium on Games, Automata, Logics, and Formal Verification
COLT 2019   Computational Learning Theory
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
DSTAA 2019   Taylor and Francis - DSTAA 2019 : Call for Book Chapters - Data Science: Theory, Analysis, and Applications