posted by user: gauwin || 3632 views || tracked by 5 users: [display]

CAI 2011 : 4th International Conference on Algebraic Informatics

FacebookTwitterLinkedInGoogle


Conference Series : Conference on Algebraic Informatics
 
Link: http://www.risc.jku.at/about/conferences/cai2011/
 
When Jun 21, 2011 - Jun 24, 2011
Where Linz, Austria
Submission Deadline Jan 24, 2011
Notification Due Mar 7, 2011
Final Version Due Apr 4, 2011
Categories    formal methods   theoretical computer science   automata theory
 

Call For Papers

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

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 and must not exceed 12 pages. Papers must be in English. Submission is done via EasyChair. Simultaneous submission to other conferences with published proceedings is not allowed.

Important Dates

Submission Due: 24 January 2011 (extended)
Notification: 7 March 2011
Proceedings Version Due: 4 April 2011

Related Resources

SocInfo 2020   CFP: The 12th International Conference on Social Informatics
SEFM 2020   Software Engineering and Formal Methods
ICBDM--EI Compendex and Scopus 2020   2020 the 3rd International Conference on Big Data Management (ICBDM 2020)--SCOPUS, Ei Compendex
DisCoTec 2020   International Federated Conference on Distributed Computing Techniques
22nd ICRLSH 05-06 November, Singapore 2020   2020 – 22nd International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 05-06 November, Singapore
LiVe 2020   4th Workshop on Learning in Verification
23rd ICRLSH, 05-06 November, Sydney 2020   2020 – 23rd International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 05-06 November, Sydney
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
19th Istanbul 2020   2020 – 19th International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 09-10 October, Istanbul
20th Osaka 2020   2020 – 20th International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 14-15 October, Osaka