Tuesday, February 22, 2005  
09:00 
  09:30  Welcome 
Invited
talk (Chair: W. MacCaull) 

09:30 
 
10:30 
D. Vakarelov, G. Dimov Topological Representation of Precontact Algebras 
10:30 
 
11:00 
Coffee break 
Session I (Chair: G. Schmidt)  
11:00 
  11:30 
U.
Bodenhofer, P. Bogdanowicz, G. Lanzerstorfer, J. Küng DistanceBased Fuzzy Relations in Flexible Query Answering Systems: Overview and Experiences 
11:30 
  12:00  M.
Winter Timedependent Contact Structures in Goguen Categories 
12:00    14:00  Lunch 
Session II (Chair: J. Desharnais) 

14:00    14:30 
W.
Guttmann NonTermination in UTP 
14:30    15:00  W.
Kahl, C. Kumar Anand, J. Carette Choices in Data Flow for Declarative Assembly 
15:00 
 
15:30 
R.
Cottrell, I. Düntsch An implementation of multivalued information systems 
15:30    16:00  Coffee break 
Session III (Chair: H. de Swart) 

16:00    16:30  G.
Schmidt Relations and Partialities 
16:30    17:00  P.
Höfner, B. Möller Towards an Algebra of Hybrid systems 
18:00  Dinner  


Wednesday, February 23, 2005 

Invited talk (Chair: M. Winter) 

09:00 
 
10:00 
E. Orłowska Relational semantics through duality 
10:00 
 
10:30 
Coffee break 
Session I (Chair: B. Möller) 

10:30 
 
11:00 
A. Fronk, J.
Pleumann Relationalgebraic Computation of Elementary Cycles 
11:00 
 
11:30 
B.
Kehden, F. Neumann, R. Berghammer Relational Implementation of Simple Parallel Evolutionary Algorithms 
11:30 
 
12:00 
R. A.
Schmidt, R. Berghammer Model Checking for Modal Logic with Relation Algebra and RelView 
12:00 
 
14:00 
Lunch 
Session II (Chair: M. Roubens) 

14:00 
 
14:30 
V. Mathieu,
J. Desharnais ModelChecking Pushout Systems with Omega Algebra 
14:30 
 
15:00 
C. Bolduc, J.
Desharnais Static Analysis of Programs using Omega Algebras with Tests 
15:00 
 
15:30 
H.
Furusawa A framework for Kleene algebra with an embedded structure 
15:30 
 
16:00 
Coffee break 
Session
III (Chair: D. Kozen) 

16:00 
 
16:30 
P.
Jipsen On congruences in Residuated Kleene algebras and generalized ordinal sums 
16:30 
 
17:00 
R. Pucella On Partially Additive Kleene Algebras 
17:00 
 
17:30 
T.
Takai, H. Furusawa, W. Kahl Reasoning about Term Rewriting in Kleene Categories with Converse 
18:00 
Dinner 



Thursday, February 24, 2005 

Session
I (Chair: P. Jipsen) 

09:15 
 
09:45 
P. Ecklund,
A. Rusinowska, H. de Swart A model of political consensus 
09:45 
 
10:30 
Coffee break 
Session II (Chair: R. Berghammer) 

10:30 
 
11:00 
I.
Düntsch, M. Winter Finite Contact Structures 
11:00 
 
11:30 
J.
Järvinen, E. Orłowska Relational Correspondences for Lattices with Operators 
12:00 
 
14:00 
Lunch 
14:00 
Social Event 



Friday,
February 25, 2005 

Session I (Chair: R. Schmidt) 

09:00 
 
09:30 
M.
F. Frias, J. P. Galeotti, C. G. López Pombo, N. M. Aguirre DynAlloy: Upgrading Alloy with Actions 
09:30 
 
10:00 
M.
F. Frias, J. P. Galeotti, C. G. López Pombo, M. Roman Fork Algebras as a Formalism to Reason Across Behavioral Specifications 
10:00 
 
10:30 
Coffee break 
Invited
talk (Chair: W. MacCaull) 

10:30 
 
11:45 
S. Givant The construction and analysis of simple relation algebras 
12:00 
 
14:00 
Lunch 
Session
II (Chair: G. Struth) 

14:00 
 
14:30 
K. Honda Toward Implementation of Relational Proof System 
14:30 
 
15:00 
A.
Formisano, E. G. Omodeo, E. S. Orłowska, A. Policriti Uniform relational frameworks for modal inferences 
15:00 
 
15:30 
W. MacCaull,
D. Vakarelov Latticebased paraconsistent logic 
15:30 
 
16:00 
Coffee break 
Session
III (Chair: A. Rusinowska) 

16:00 
 
16:30 
G. Schmidt Implication Structures 
16:30 
 
17:00 
E. Orłowska,
A. M. Radzikowska Relational representability for algebras of substructural logics 
17:00 
 
17:30 
E. Orłowska,
A. Szałas Quantifier Elimination in Elementary Set Theory 
18:00 
Dinner 

19:00 
 
20:30 
COST Action 274  TARSKI: MC
meeting 


Saturday,
February 26, 2005 

Invited
talk (Chair: I. Düntsch) 

09:00 
 
10:00 
A. Urquhart A Duality Theory for Projective Algebras 
10:00 
 
10:30 
Coffee break 
Session I (Chair: G. Gediga) 

10:30 
 
11:00 
R.
Berghammer, U. Milanese Relational Approach to Boolean Logic Problems 
11:00 
 
11:30 
B.
Möller, G. Struth WP is WLP 
11:30 
 
12:00 
G. Struth KnuthBendix Completion as a Data Structure 
12:00 
 
14:00 
Lunch 
Session
II (Chair: W. Kahl) 

14:00 
 
14:30 
Y.
Kawahara Tarski's Fixed Point Theorem in Dedekind Categories 
14:30 
 
15:00 
R. Backhouse,
D. Michaelis A Calculational Presentation of the Theory of Impartial TwoPerson Games 
15:00 
 
15:30 
Closing 
15:30 
 
16:00 
Coffee break 