BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2006/newsitem/1028/20-
22-April-2006-LOGIC-MODELS-AND-COMPUTER-SCIENCE-LM
CS06-Camerino-Italy
DTSTAMP:20051103T000000
SUMMARY:LOGIC, MODELS AND COMPUTER SCIENCE (LMCS06
), Camerino, Italy
DTSTART;VALUE=DATE:20060420
DTEND;VALUE=DATE:20060422
LOCATION:Camerino, Italy
DESCRIPTION:Mathematical Logic has been contributi
ng in a relevant way to the birth and the developm
ent of Computer Science. Accordingly the AILA Logi
c and Computer Science workshop just aims at bring
ing together researchers interested in the interac
tions between Mathematical Logic and several field
s in Computer Science. AILA Logic, Model and Com
puter Science workshop LMCS06 wishes also to honou
r 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 oth
er topics such as - logic of concurrency, - game
semantics and further themes concerned with the
relationship between Mathematical Logic and Comput
er Science. For more information, see http://dm
i.unicam.it/merelli/LMCS06/
X-ALT-DESC;FMTTYPE=text/html:\n \n
Mathematical Logic has been contributing in a rele
vant way to the birth\n and the development
of Computer Science. Accordingly the AILA Logic a
nd\n Computer Science workshop just aims at
bringing together researchers\n interested
in the interactions between Mathematical Logic an
d several\n fields in Computer Science.\n

\n AILA Logic, Model and Computer
Science workshop LMCS06 wishes also to\n ho
nour the memory of Sauro Tulipani, who so largely
and brilliantly, and\n for so many years co
ntributed to this research area. Hence the worksho
p\n will focus in particular on Sauro's mai
n research interests

\n - computabilit
y and computational complexity,

\n - u
ncertainty logic,

\n but it will also
deal with other topics such as

\n - log
ic of concurrency,

\n - game semantics<
br />\n and further themes concerned with t
he relationship between\n Mathematical Log
ic and Computer Science.\n

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

\n
URL:/NewsandEvents/Archives/2006/newsitem/1028/20-
22-April-2006-LOGIC-MODELS-AND-COMPUTER-SCIENCE-LM
CS06-Camerino-Italy
END:VEVENT
END:VCALENDAR