ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

Main Menu

Searching By

PARTNERS

Contact us

ACCAT 2013 - 8th Workshop on Applied and Computational Category Theory (ACCAT)

Date2013-03-16

Deadline2012-10-14

VenueRome, Italy Italy

Keywords

Websitehttps://www.etaps.org/2013

Topics/Call fo Papers

Category theory is a well-known 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. It is the intention of the ACCAT workshop to bring together leading researchers in the field of ACCAT with those in software science and development in order to transfer categorical concepts and theories in both directions.
Thomas Soboll (University of Salzburg, Austria)
Ulrike Golas (Konrad-Zuse-Zentrum für Informationstechnik Berlin, Germany)

Other CFPs

  1. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
  2. 2nd Conference on Principles of Security and Trust (POST 2013)
  3. 16th International Conference on Fundamental Approaches to Software Engineering (FASE)
  4. The Third International Conference on Digital Information Processing and Communications
  5. 22nd European Symposium on Programming (ESOP)

Last modified: 2012-06-30 21:24:38