Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Jan Rutten (Index)
Jan Rutten
Research Activities
Semantics of programming languages, domain theory,
transition systems, coalgebra (notably the final coalgebras
of languages, formal power series and streams), circuits,
(software component) composition.
Workshops on coalgebras: CMCS 1998-2004 and CALCO 2005
CMCS:
the workshop on
Coalgebraic Methods in Computer Science, was organised for the first
time in 1998,
preceding the first ETAPS conference,
in Lisbon. Since then CMCS has been a permanent satellite
to all ETAPS conferences until 2005.
See the proceedings in Volumes 11, 19, 33, 44, 65, 82(1), and 106 of
Elsevier Science B.V.
ENTCS series.
CMCS and WADT - the Workshop on Algebraic Development Techniques,
are joining their forces and reputations into
a new bi-annual conference.
[CALCO 2005]
will bring together researchers and
practitioners to exchange new results related to foundational aspects
and both traditional and emerging uses of algebras and
coalgebras in computer science.
Prof.dr. J.J.M.M. Rutten
Centre for Mathematics and Computer Science (CWI)
Department of Software Technology
Kruislaan 413
P.O. Box 94079
1090 GB Amsterdam
The Netherlands