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
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.