Remarks on ACCAT
(Applied and Computational Category Theory) ACCAT was the name of a working group established during my time at RISC-Linz, Univ. Linz (1990 - 1996). The origins were two courses, given in the frame of the RISC-Linz curriculum: "Categories, Fiberings, Sheaves, and Topoi" ; "Computational Category Theory (with ML)".
CAT abbreviates Category Theory and since I was always interested in applications and in computational aspects I introduced the title Applied and Computational Category Theory (ACCAT) , this reflects what I am finally interested in.
For more information on the Origins of ACCAT we refer to ACCAT Origins . For ongoing activities we refer to the pages of the ACCAT Workshops at ETAPS
ACCAT Workshop at ETAPS-2006 ACCAT Workshop at ETAPS-2007
In 2006 our first ACCAT Workshop at ETAPS-2006, European Joint Conferences on Theory and Practice of Software , took place - jointly organized with Hartmut Ehrig and his group (TU Berlin). At ETAPS-2008 in Budapest, already our 3rd ACCAT Workshop is accepted as Satellite Event 3rd ACCAT Workshop at ETAPS-2008
In my basic undergraduate course "Formale Systeme" , offered every year here at the Department of Computer Sciences, University of Salzburg (cf. | |
|
