Mathematical Logic has been contributing in a relevant way to the birth and the development of Computer Science. 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.