Thursday, October 14, 2010

Call for Papers CAI 2011

(We apologize if you receive multiple copies of this CFP.)


Call for Papers
4th International Conference on Algebraic Informatics
(CAI 2011)
RISC / Johannes Kepler University
Hagenberg / Linz, Austria
21-24 June 2011
http://www.risc.jku.at/about/conferences/cai2011
Conference Chair: Franz Winkler


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.


Topics:
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


Submissions:
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 (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0)
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.


Important Dates:
Submission due: 17 January 2011
Notification: 7 March 2011
Proceedings version due: 4 April 2011


Proceedings:
The proceedings of CAI 2011 will be published in the Lecture Notes in
Computer Science (LNCS) by Springer-Verlag.


For submission of papers and further information we refer to the web page of
CAI 2011

http://www.risc.jku.at/about/conferences/cai2011