BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/120
6/25-27-March-2006-CMCS-2006-Coalgebraic-Methods-i
n-Computer-Science-Vienna-Austria
DTSTAMP:20060220T000000
SUMMARY:CMCS 2006: Coalgebraic Methods in Computer
Science, Vienna, Austria
DTSTART;VALUE=DATE:20060325
DTEND;VALUE=DATE:20060327
LOCATION:Vienna, Austria
DESCRIPTION:During the last few years, it has beco
me increasingly clear that a great variety of stat
e-based dynamical systems, like transition systems
, automata, process calculi and class-based system
s, can be captured uniformly as coalgebras. Coalge
bra is developing into a field of its own interest
presenting a deep mathematical foundation, a grow
ing field of applications and interactions with va
rious other fields such as reactive and interactiv
e system theory, object oriented and concurrent pr
ogramming, formal system specification, modal logi
c, dynamical systems, control systems, category th
eory, algebra, analysis, etc. The aim of the works
hop is to bring together researchers with a common
interest in the theory of coalgebras and its appl
ications. For more information, see http://confe
rences.inf.ed.ac.uk/cmcs06/cmcs06.html
X-ALT-DESC;FMTTYPE=text/html:\n During the
last few years, it has become increasingly clear
that a\ngreat variety of state-based dynamical sys
tems, like transition\nsystems, automata, process
calculi and class-based systems, can be\ncaptured
uniformly as coalgebras. Coalgebra is developing
into a\nfield of its own interest presenting a dee
p mathematical foundation, a\ngrowing field of app
lications and interactions with various other\nfie
lds such as reactive and interactive system theory
, object oriented\nand concurrent programming, for
mal system specification, modal logic,\ndynamical
systems, control systems, category theory, algebra
,\nanalysis, etc. The aim of the workshop is to br
ing together\nresearchers with a common interest i
n the theory of coalgebras and its\napplications.\
n

\n \n For more information,
see\n http://co
nferences.inf.ed.ac.uk/cmcs06/cmcs06.html\n

\n
URL:/NewsandEvents/Events/Conferences/newsitem/120
6/25-27-March-2006-CMCS-2006-Coalgebraic-Methods-i
n-Computer-Science-Vienna-Austria
END:VEVENT
END:VCALENDAR