Отправляет email-рассылки с помощью сервиса Sendsay

Система компьютерной алгебры GAP

Подписаться Бесплатная «Серебряная» новостная рассылка . Временно не выходит ,возобновит выход - нет информации Подписчиков 783 RSS
←   Декабрь 2010   →
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
21.12.2010
05:55:09
06:15:50
22
23
24
25
26
27
28
29
30
31


За последние 60 дней ни разу не выходила


Сайт рассылки: http://www.gap-system.org/ukrgap/
Открыта: 05-02-2002

Автор
Александр Борисович Коновалов

Статистика

783 подписчиков
0 за неделю
←   Все выпуски   →

Система компьютерной алгебры GAP: 4th International Conference on Algebraic Informatics



2nd 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/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


Invited Talks
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 Gro:bner bases


Tutorials
A. Middeldorp Termination and complexity of rewrite systems
P. Padawitz Co/algebraic modelling and verification at work


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


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. Simultaneous
submission to other conferences with published proceedings is not allowed.


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/conferences/cai2011
В избранное