|
|
|
FICS'98 - Fixed Points in Computer Science FICS'98
A Satellite Workshop to MFCS'98
August 27-29, 1998, Brno, Czech Republic
Conference Program
Thursday August 27, 1998
Session I - Chair: Zoltan Esik
|
14:00 - 15:00
|
Invited Talk
Yiannis N. Moschovakis (Los Angeles / Athens) Higher Type Concurrent Recursion |
|
15:00 - 15:30
|
Fixed Points and Final Coalgebras J.J.M.M. Rutten (Amsterdam)
|
|
15:30 - 16:00
|
Rewriting on Cyclic Structures Andrea Corradini, Fabio Gaducci (Pisa)
|
Session II - Chair: Irene Guessarian
|
16:30 - 17:30 |
Invited Talk Jaco W. de Bakker (Amsterdam) Fixed Points in Metric Semantics |
|
17:30 - 18:00
|
Fixed Points and Generic Programming, Part I Roland Backhouse (Eindhoven)
|
|
18:00 - 18:30
|
Topologies, Continuity and Bisimulations J.M. Davoren (Ithaca, N.Y)
|
Friday August 28, 1998
Session III - Chair: Stephen L. Bloom
|
14:00 - 14:30
|
Fixed Points and Generic Programming, Part 2 Roland Backhouse (Eindhoven)
|
|
14:30 - 15:00
|
Properties of Fixed Points in Axiomatic Domain Theory Gordon Plotkin, Alex K. Simpson (Edinburgh)
|
|
15:00 - 15:30
|
Monotone (Co)inductive Types and Positive Fixed-Point Types Ralph Matthes (Muenchen)
|
|
15:30 - 16:00
|
The Lagrange-Good Inversion as the Trace of Formal Power Series Ryu Hasegawa (Tokyo)
|
Session IV Chair: Roland Backhouse
|
16:30 - 17:30
|
Invited Talk Andre Arnold (Bordeaux)
The Boolean Mu-Calculus and its Relations with Model-Checking and Games |
|
17:30 - 18:00
|
Fixpoint Alternation on Trees Julian C. Bradfield (Edinburgh)
|
|
18:00 - 18:30
|
On Fixpoint Expressions with Distributive Operators
Helmut Seidl (Trier), D. Niwinski (Warsaw)
|
|
18:30 - 19:00
|
A Generalization of Van Gelder's Alternating Computing Paradigm,
Extended Abstract
Ralf Wastl (Wuerzburg)
|
Saturday August 29, 1998
Session V
Chair: Werner Kuich
|
9:00 - 9:30
|
A Finite Axiomatization of Nondeterministic Regular Expressions
Flavio Corradini (L'Aquila), Anna Labella (Rome), R. De Nicola (Florence)
|
|
9:130 - 10:00
|
Observational Mu-Calculus
Julian C. Bradfield, Perdita
Stevens (Edinburgh)
|
|
10:00 - 10:30
|
A Note on Negative Tagging for Least Fixed-Point Formulae
Dilian Gurov (Kista), Bruce Kapron (Victoria, B.C.)
|
|
10:30 - 11:00
|
Modelling FIX in Recursive Object Calculi
Roy L. Crole (Leicester)
|
|
|
|
