[Haskell-cafe] Call for Participation - ACCAT 2013
golas at zib.de
Thu Jan 31 18:17:01 CET 2013
[We apologize if you receive multiple copies of this message.]
CALL FOR PARTICIPATION
8th International Workshop on
Applied and Computational Category Theory
Satellite Event of ETAPS 2013, Rome, March 17 2013
Since the 1960s, the use of category theory in computer science has been a fruitful one, including applications to different areas such as automata theory, algebraic specification, and programming languages, among others. In recent years, techniques and methods from CT have been adopted as a standard research tool, and considered as such in different venues around the world.
The ACCAT workshop on "Applied and Computational Category Theory" has been one of these venues. Since its inception in 2006, ACCAT provided a forum where invited contributors presented their own research on different facets of category theory applied to computer science.
Following the tradition, the program of this year edition will include eight invited talks by top researchers in the area:
Robin B. Cockett
Despite ACCAT's success, we believe that the current formula of the workshop should be deeply revised. Indeed, we believe that a fully fledged conference is missing where all kinds of applications of category theory to computer science can be presented (like the former CTCS conference, which somehow ended in 2006).
Therefore, after the presentations, the workshop will end up with a general discussion among the invited speakers and the attendees. We hope that the outcome of the discussion could be a decision whether to push for such high-level workshop/conference on the application of category theory to computer science, or at least to verify the viability of a further meeting focusing on this issue.
For more information, please contact Fabio Gadducci (gadducci at di.unipi.it) or Ulrike Golas (golas at zib.de).
Dr. Ulrike Golas
Konrad-Zuse-Zentrum für Informationstechnik Berlin
Takustr. 7, 14195 Berlin, Germany
Tel. +49 30 84185 - 318
golas at zib.de -- www.zib.de/golas
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe