<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>[We apologize if you receive multiple copies of this message.]<br><br>CALL FOR PARTICIPATION<br>==========<br>8th International Workshop on&nbsp;<br>Applied and Computational Category Theory&nbsp;<br>ACCAT 2013<br><br><a href="http://accat2013.zib.de/">http://accat2013.zib.de/</a><br><br>Satellite Event of ETAPS 2013, Rome, March 17 2013<br>==========&nbsp;<br><br>Scope<br>=====<br>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.&nbsp;<br><br>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.<br><br>Following the tradition, the program of this year edition will include eight invited talks by top researchers in the area:<br><br>Samson Abramsky<br>Robin B. Cockett<br>Barbara Koenig<br>Ugo Montanari<br>Till Mossakowski<br>Dusko Pavlovic<br>Andrzej Tarlecki<br>Glynn Winskel<br><br>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).&nbsp;<br><br>Therefore, after the presentations, the workshop will end up with a general discussion among the invited speakers and the attendees. &nbsp;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.&nbsp;<br><br>For more information, please contact Fabio Gadducci (<a href="mailto:gadducci@di.unipi.it">gadducci@di.unipi.it</a>) or Ulrike Golas (<a href="mailto:golas@zib.de">golas@zib.de</a>).</div><br><div apple-content-edited="true">
<span class="Apple-style-span" style="border-collapse: separate; border-spacing: 0px; "><div>--</div></span></div></div></div></div><div><span class="Apple-style-span" style="border-collapse: separate; border-spacing: 0px; "><div>Dr. Ulrike Golas</div><div>Konrad-Zuse-Zentrum für Informationstechnik Berlin</div><div>Takustr. 7, 14195 Berlin, Germany</div><div>Tel. +49 30 84185 - 318</div><div><a href="mailto:golas@zib.de">golas@zib.de</a> -- <a href="http://www.zib.de/golas">www.zib.de/golas</a>&nbsp;</div><div><br></div></span><br class="Apple-interchange-newline">
</div>
<br></body></html>