Logic List Mailing Archive

Workshop "Logic, Models and Computer Science", Camerino (Italy), April 2006

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

In memory of Sauro Tulipani

http://dmi.unicam.it/merelli/LMCS06/

SCOPE:

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.