8. RelMiCS 2005: St. Catharines, Ontario, Canada

Wendy MacCaull, Michael Winter, Ivo Düntsch (Eds.): Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers. Lecture Notes in Computer Science 3929 Springer 2006, ISBN 3-540-33339-8

Invited Papers

Georgi Dimov, Dimiter Vakarelov:
Topological Representation of Precontact Algebras. 1-16
Ewa Orlowska, Ingrid Rewitzky, Ivo Düntsch:
Relational Semantics Through Duality. 17-32
Alasdair Urquhart:
Duality Theory for Projective Algebras. 33-47

Contributed Papers

Rudolf Berghammer, Ulf Milanese:
Relational Approach to Boolean Logic Problems. 48-59
Claude Bolduc, Jules Desharnais:
Static Analysis of Programs Using Omega Algebra with Tests. 60-72
Ivo Düntsch, Michael Winter:
Weak Contact Structures. 73-82
Alexander Fronk, Jörg Pleumann:
On Relational Cycles. 83-95
Hitoshi Furusawa:
A Framework for Kleene Algebra with an Embedded Structure. 96-107
Walter Guttmann:
Non-termination in Unifying Theories of Programming. 108-120
Peter Höfner, Bernhard Möller:
Towards an Algebra of Hybrid Systems. 121-133
Jouni Järvinen, Ewa Orlowska:
Relational Correspondences for Lattices with Operators. 134-146
Wolfram Kahl, Christopher Kumar Anand, Jacques Carette:
Control-Flow Semantics for Assembly-Level Data-Flow Graphs. 147-160
Britta Kehden, Frank Neumann, Rudolf Berghammer:
Relational Implementation of Simple Parallel Evolutionary Algorithms. 161-172
Wendy MacCaull, Dimiter Vakarelov:
Lattice-Based Paraconsistent Logic. 173-187
Vincent Mathieu, Jules Desharnais:
Verification of Pushdown Systems Using Omega Algebra with Domain. 188-199
Bernhard Möller, Georg Struth:
p Is. 200-211
Ewa Orlowska, Anna Maria Radzikowska:
Relational Representability for Algebras of Substructural Logics. 212-224
Georg Struth:
Knuth-Bendix Completion as a Data Structure. 225-236
Ewa Orlowska, Andrzej Szalas:
Quantifier Elimination in Elementary Set Theory. 237-248
Michael Winter:
Time-Dependent Contact Structures in Goguen Categories. 249-262