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/2013/newsitem/4634/3-6 -September-2013-Algebra-and-Coalgebra-in-Computer- Science-CALCO-2013-Warsaw-Poland DTSTAMP:20120913T000000 SUMMARY:Algebra and Coalgebra in Computer Science (CALCO 2013), Warsaw, Poland DTSTART;VALUE=DATE:20130903 DTEND;VALUE=DATE:20130906 LOCATION:Warsaw, Poland DESCRIPTION:CALCO aims to bring together researche rs and practitioners with interests in foundationa l aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by j oining the forces and reputations of CMCS (the Int ernational Workshop on Coalgebraic Methods in Comp uter Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norwa y, 2007), Udine (Italy, 2009) and Winchester (UK, 2011). The fifth edition will be held in Warsaw, t he capital of Poland. For more information, see h ttp://coalg.org/calco13/ or contact calco2013 at m imuw.edu.pl. We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the wa y these results can support methods and techniques for software development, as well as experience w ith the transfer of the resulting technologies int o industrial practice. Abstract submission deadlin e: February 22, 2013. X-ALT-DESC;FMTTYPE=text/html:
CALCO aims to bring together researchers and practition ers with\n interests in foundational aspect s, and both traditional and emerging\n uses of algebra and coalgebra in computer science.\n
\nIt is a high-level, bi-annual c onference formed by joining the\n forces an d reputations of CMCS (the International Workshop on\n Coalgebraic Methods in Computer Scienc e), and WADT (the Workshop on\n Algebraic D evelopment Techniques). Previous CALCO editions to ok place\n in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009)\n and Winchester (UK, 2011). The fifth edition will be h eld in Warsaw,\n the capital of Poland.
\n \n \nFor more information, see \n http://coalg.org/calco13/\n or contact calco2013 at mimuw.edu.pl.\n
We invite submissions of technica l papers that report results of\n theoretic al work on the mathematics of algebras and coalgeb ras, the\n way these results can support me thods and techniques for software\n develop ment, as well as experience with the transfer of t he resulting\n technologies into industrial practice. \n Abstract submission deadline: February 22, 2013.\n
\n