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/2009/newsitem/2558/6-1
 0-September-2009-3rd-Conference-on-Algebra-and-Coa
 lgebra-in-Computer-Science-CALCO-2009-Udine-Italy
DTSTAMP:20081012T000000
SUMMARY:3rd Conference on Algebra and Coalgebra in
  Computer Science (CALCO 2009), Udine, Italy
DTSTART;VALUE=DATE:20090906
DTEND;VALUE=DATE:20090910
LOCATION:Udine, Italy
DESCRIPTION:CALCO is a high-level, bi-annual confe
 rence formed by joining the forces and reputations
  of CMCS (the International Workshop on Coalgebrai
 c Methods in Computer Science), and WADT (the Work
 shop on Algebraic Development Techniques). The con
 ference brings together researchers and practition
 ers to exchange new results about both traditional
  and emerging uses of algebras and coalgebras in c
 omputer science.   CALCO 2009 will be preceded by 
 two events on September 6, 2009:  * CALCO-jnr - a 
 CALCO Young Researchers Workshop dedicated to pres
 entations by PhD students and by those who complet
 ed their doctoral studies within the past few year
 s.  * CALCO Tools Day - providing the opportunity 
 to give system demonstrations of tools based on al
 gebraic and coalgebraic principles. These include 
 systems/prototypes/tools developed specifically fo
 r design, checking, execution, and verification of
  (co)algebraic specifications, but also tools targ
 eting different application domains but making cor
 e or interesting use of (co)algebraic techniques. 
   For more information, see http://www.dimi.uniud.
 it/calco09/  The Programme Committee invite submis
 sions of technical papers that report results of t
 heoretical work on the mathematics of algebras and
  coalgebras, the way these results can support met
 hods and techniques for software development, as w
 ell as experience with the transfer of resulting t
 echnologies into industrial practice. Deadline for
  submissions is February 2nd, 2009 (February 24th 
 for submissions to CALCO Tools day).
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>CALCO
  is a high-level, bi-annual conference formed by j
 oining\n      the forces and reputations of CMCS (
 the International Workshop\n      on Coalgebraic M
 ethods in Computer Science), and WADT (the\n      
 Workshop on Algebraic Development Techniques).  Th
 e conference\n      brings together researchers an
 d practitioners to exchange new\n      results abo
 ut both traditional and emerging uses of algebras 
 and\n      coalgebras in computer science.\n      
 </p>\n      <p>CALCO 2009 will be preceded by two 
 events on September 6, 2009:<br />\n        * CALC
 O-jnr - a CALCO Young Researchers Workshop dedicat
 ed to\n           presentations by PhD students an
 d by those who completed\n           their doctora
 l studies within the past few years.</p>\n      <p
 >* CALCO Tools Day - providing the opportunity to 
 give\n           system demonstrations of tools ba
 sed on algebraic\n        and coalgebraic principl
 es. These include systems/prototypes/tools\n      
   developed specifically for design, checking, exe
 cution, and verification\n        of (co)algebraic
  specifications, but also tools targeting differen
 t\n        application domains but making core or 
 interesting use of (co)algebraic\n        techniqu
 es.\n      </p>\n    \n      \n      <p>For more i
 nformation, see\n        <a target="_blank" href="
 http://www.dimi.uniud.it/calco09/">http://www.dimi
 .uniud.it/calco09/</a>\n      </p>\n    </div><div
 >\n      <p>The Programme Committee\n        invit
 e submissions of technical papers that report resu
 lts of\n        theoretical work on the mathematic
 s of algebras and coalgebras, the\n        way the
 se results can support methods and techniques for 
 software\n        development, as well as experien
 ce with the transfer of resulting\n        technol
 ogies into industrial practice. Deadline for submi
 ssions\n        is February 2nd, 2009 (February 24
 th for submissions to CALCO Tools day).\n      </p
 >\n      </div>
URL:/NewsandEvents/Archives/2009/newsitem/2558/6-1
 0-September-2009-3rd-Conference-on-Algebra-and-Coa
 lgebra-in-Computer-Science-CALCO-2009-Udine-Italy
END:VEVENT
END:VCALENDAR