CTCS '99 List of accepted papers =============================== Concurrent Realizations of Reactive Systems. Marek Bednarczyk, Andrzej Borzyszkowski Functorial semantics for Petri nets under the individual token philosophy. Roberto Bruni, Jose Meseguer, Ugo Montanari, Vladimiro Sassone Equational Lifting Monads. Anna Bucalo, Carsten Fuehrmann, Alex Simpson Structured Theories and Institutions F Duran, J Meseguer Coalgebra to Algebra Morphisms. A Eppendahl On the Semantics of Message Passing Processes. Lindsay Errington A Fully abstract presheaf semantics for SCCS with finite delay. Thomas Hildebrandt Abstract Games for Linear Logic. Martin Hyland, Andrea Schalk Internal Languages for Autonomous and *-Autonomous Categories. T W Koh and C-H L Ong Dependent Coercions. Zhaohui Luo and Sergei Soloviev Precategories for combining probabilistic automata. Paulo Mateus, Amilcar Sernadas, Cristina Sernadas Monads, shapely functors, and traversals. E Moggi, G Belle, C B Jay Exhausting Strategies, Joker Games and IMLL with Units. A S Murawski and C-H L Ong Hilbert Q-Modules and Nuclear Ideals in the Category of v-Semilattices with a Duality. Jan Paseka A Coalgebraic Foundation for Linear Time Semantics. John Power, Daniele Turi Denotational Completeness Revisited. Thomas Streicher A domain-theoretic semantics of lax generic functions. Hideki Tsuiki A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. Fabio Gadducci, Reiko Heckel and Merce Llabres. Higher-dimensional syntax. Martin Wehr.