Annual report Institute for Logic, Language and Computation door