will be held on 21-24 June 2011 in Hagenberg / Linz, Austria
CAI 2011 continues the tradition established by CAI 2005, CAI 2007,
and CAI 2009: to bring together researchers from theoretical computer
science and algebra. This should enhance the understanding of syntactic
and semantic problems by algebraic models; and it should also propagate
the application of modern techniques from informatics in algebraic computation.
We will try to achieve this goal via invited lectures, tutorials, and contributed
research talks.
CAI 2011 is hosted at the Research Institute for Symbolic Computation (RISC)
which is an institute of the Johannes Kepler University.
Topics of interest include:
Algebraic semantics, formal power series, syntactic objects, algebraic
picture processing, finite and infinite computations, acceptors and
transducers for discrete structures, decision problems, algebraic
characterization of logical theories, process algebra, algebraic
algorithms, algebraic coding theory, algebraic aspects of cryptography,
term rewriting, algebraic aspects of number theory.
Invited speakers:
* A. Middeldorp: 'Automatic complexity analysis for rewrite systems'
* P. Padawitz: 'From grammars and automata to algebras and coalgebras'
* J.-E. Pin: 'Theme and variations on the concatenation product'
* L. Ronyai: 'Some combinatorial applications of Grobner bases'
Tutorials speakers:
* A. Middeldorp: 'Termination and complexity of rewrite systems'
* P. Padawitz: 'Co/algebraic modelling and verification at work'
Authors are invited to submit papers (in PDF format) presenting original and
unpublished research. Submissions must be written in LaTeX using the LNCS
article style and must not exceed 12 pages. Papers must be in English.
Submission is done via EasyChair: https://www.easychair.org/account/signin.cgi?conf=cai2011
Simultaneous submission to other conferences with published proceedings is not allowed.
Proceedings will be published in Springer Lecture Notes in Computer Science (LNCS).
Important Dates:
Submission Due: 24 January 2011
Notification: 7 March 2011
Proceedings Version Due: 4 April 2011
Program committee:
* E. Aichinger (Linz)
* A. Biere (Linz)
* S. Bozapalidis (Thessaloniki)
* B. Courcelle (Bordeaux)
* W. Fokkink (Amsterdam)
* Z. Fulop (Szeged)
* U. Golas (Berlin)
* K. Hammond (St.Andrews)
* S. Holub (Prague)
* J.W. Klop (Amsterdam)
* B. Konig (Duisburg)
* L. Kovacs (Vienna)
* S. Lucas (Valencia)
* D. Niwinski (Warsaw)
* A. Petho (Debrecen)
* G. Rahonis (Thessaloniki)
* S. Ronchi Della Rocca (Torino)
* D. Sangiorgi (Bologna)
* W. Schreiner (Linz)
* M. Volkov (Ekaterinburg)
* F. Winkler (Linz), chair
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
