The Applied Logic Laboratory
was founded in 1990 under the name Center for Computer Science in
Organization and Management (initially funded by the
Netherlands Organization for Scientific
Research). As a tribute, we still use the abbreviation CCSOM in our
domain-name.
Our research is part of the Institute
for Logic, Language and Computation (ILLC), and our teaching is part
of the Faculty of Social and Behavioral
Sciences (FMG), both situated at
University of Amsterdam.
Warning: Areas are in varying states of deterioration.
Address comments to the CCSOM Office.
45 hits in
May 2012.