Friday
Saturday
AIMS OF THE WORKSHOP
Mathematical Logic has been contributing in a relevant way to the birth and the development of Computer Science.
Accordingly
the AILA Logic, Models and Computer Science workshop
LMCS06 just
aims at bringing together researchers interested in the interactions between Mathematical Logic and several fields in Computer Science.
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.