CfP ACCAT Workshop 2012

CfP ACCAT Workshop 2012

[Thomas Soboll]

Dear Colleague,

We would like to bring your attention to the open Call for Papers of the
ACCAT Workshop 2012, the paper submission deadline is scheduled for 09th
Dec. 2011. We hope that you can participate in this workshop by submitting a
paper reflecting your current research.

Should you have any questions please don't hesitate contacting us.
On behalf of the organization team,

Thomas Soboll and Ulrike Golas.
{Apologies if you receive multiple postings}


==============================================
Call For Papers
==============================================
Seventh ACCAT Workshop
on Applied and Computational
Category Theory (ACCAT 2012)

Tallinn, Estonia
Sun, April 01, 2012

(co-located with ETAPS 2012)

http://www.cosy.sbg.ac.at/~tsoboll/ACCAT
==============================================

HISTORY AND SCOPE:
   The originators of the ACCAT workshops are Hartmut Ehrig (Berlin)
   and Jochen Pfalzgraf (Salzburg) starting with the 1st ACCAT workshop at
ETAPS 2006.
   Category Theory is a well-known powerful mathematical modeling language
with a
   wide area of applications in mathematics and computer science, including
especially
   the semantical foundations of topics in software science and development.
   Categorical methods are already well established for the semantical
foundation of type theory
   (Cartesian closed categories), data type specification frameworks
(institutions) and
   graph transformation (adhesive high level replacement categories).


TOPICS for this workshop include but are not strictly limited to are:
   General Modeling Aspects
   Categorical, Algebraic, Geometric, Topological Modeling Aspects
   Petri Nets, Process Algebras, Activity Networks
   Logical Modeling, Unifying Frameworks
   Coalgebraic Methods in Systems Theory
   Generalized Automata, Categorical Methods


POST PROCEEDINGS:
   The camera-ready papers will appear in the local workshop proceedings,
   which are distributed on memory sticks.
   There will be formal post-proceedings containing all accepted papers
   and papers of the invited talks, published as a volume of EPTCS
   (Electronic Proceedings in Theoretical Computer Science,
http://www.eptcs.org/).


SUBMISSION:
   Please provide your submission using the EPTCS style, and submit the
papers via the
   easychair link (http://www.easychair.org/conferences/?conf=accat2012).
   Papers should not extend 15 pages.


REGISTRATION:
   Please follow the registration instructions at www.etaps.org.
   Note that the early registration for ETAPS 2012 ends at 29th Jannuary
2012.


IMPORTANT DATES:
   Paper submission deadline: 09th Dec. 2011
   Author Notification of Acceptance: 16th Jan. 2012
   Submission deadline for Camera Ready Version: 1st Feb. 2012
   Workshop: Sun, April 01, 2012


Program Co-Chairs
   Ulrike Golas (Zuse Institute Berlin, Germany)
   Thomas Soboll (University of Salzburg, Austria)


For more details please consult the web page
(http://www.cosy.sbg.ac.at/~tsoboll/ACCAT)
or consult the workshop organizers.


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]