Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

20-22 April 2006, LOGIC, MODELS AND COMPUTER SCIENCE (LMCS06), Camerino, Italy

Date: 20-22 April 2006
Location: Camerino, Italy

Mathematical Logic has been contributing in a relevant way to the birth and the development of Computer Science. Accordingly the AILA Logic and Computer Science workshop just aims at bringing together researchers interested in the interactions between Mathematical Logic and several fields in Computer Science.

AILA Logic, Model and Computer Science workshop LMCS06 wishes also to honour the memory of Sauro Tulipani, who so largely and brilliantly, and for so many years contributed to this research area. Hence the workshop will focus in particular on Sauro's main research interests
- computability and computational complexity,
- uncertainty logic,
but it will also deal with other topics such as
- logic of concurrency,
- game semantics
and further themes concerned with the relationship between Mathematical Logic and Computer Science.

For more information, see http://dmi.unicam.it/merelli/LMCS06/

Please note that this newsitem has been archived, and may contain outdated information or links.