| 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 Distance-Based Fuzzy Relations in Flexible Query Answering Systems: Overview and Experiences |
| 11:30 |
- | 12:00 | M.
Winter Time-dependent Contact Structures in Goguen Categories |
| 12:00 | - | 14:00 | Lunch |
| Session II (Chair: J. Desharnais) |
|||
| 14:00 | - | 14:30 |
W.
Guttmann Non-Termination 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 Relation-algebraic 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 Model-Checking 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 Lattice-based 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 Knuth-Bendix 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 Two-Person Games |
| 15:00 |
- |
15:30 |
Closing |
| 15:30 |
- |
16:00 |
Coffee break |