posted by system || 860 views

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


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

GandALF 2018   International Symposium on Games, Automata, Logics, and Formal Verification
ICALP 2018   International Colloquium on Automata, Languages and Programming
COCOON 2018   Computing and Combinatorics Conference
ICTAC 2018   15th International Colloquium on Theoretical Aspects of Computing
ICONIP 2018   25th International Conference on Neural Information Processing
CIAA 2018   23rd International Conference on Implementation and Application of Automata
CONCUR 2018   29th International Conference on Concurrency Theory
ICTIR 2018   ACM SIGIR International Conference on the Theory of Information Retrieval
CPM 2018   Combinatorial Pattern Matching