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      <p>\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  
     </p>\n      <p>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<br />\n        - computabilit
 y and computational complexity,<br />\n        - u
 ncertainty logic,<br />\n        but it will also 
 deal with other topics such as<br />\n       - log
 ic of concurrency,<br />\n       - game semantics<
 br />\n        and further themes concerned with t
 he relationship between\n        Mathematical  Log
 ic and Computer Science.\n      </p>\n    \n      
 <p>\n        For more information, see\n        <a
  target="_blank" href="http://dmi.unicam.it/merell
 i/LMCS06/">http://dmi.unicam.it/merelli/LMCS06/</a
 >\n      </p>\n    
URL:/NewsandEvents/Archives/2006/newsitem/1028/20-
 22-April-2006-LOGIC-MODELS-AND-COMPUTER-SCIENCE-LM
 CS06-Camerino-Italy
END:VEVENT
END:VCALENDAR