Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
ACCAT 2012 - 7th Workshop on Applied and Computational Category Theory (ACCAT)
Topics/Call fo Papers
7th Workshop on Applied and Computational Category Theory (ACCAT)
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.
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.
Other CFPs
- 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
- 15th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
- 22nd European Symposium on Programming (ESOP)
- 21st International Conference on Compiler Construction (CC)
- The First Conference on Principles of Security and Trust
Last modified: 2011-07-26 18:05:47