FoSSaCS at a glance
|
|
|
||
|
09:00 |
Functor categories and two-level languages, E.Moggi
(U Genova, I)
Analysis of a guard condition in type theory, R.Amadio and S.Coupet-Grimal (CMI-LIM, F) Mobile ambients, L.Cardelli and AD.Gordon (Microsoft Research, UK) |
09:00 |
Invited Lecture Some mistakes I made and what I learned from them Cliff Jones (Harlequin Ltd, UK) |
|
10:30 |
Coffee |
10:00 |
Coffee |
|
11:00 |
Net refinement by pullback rewriting, R.Klempien-Hinrichs
(U Bremen, D)
Minor searching, normal forms of graph rewriting: two applications based on enumerations by graph rewriting, A.Bottreau and Y.Metivier (U Bordeaux I, F) Rational term rewriting, A.Corradini (U Pisa, I) and F.Gadducci (TU Berlin, D) |
10:30 |
The Church-Rosser languages are the deterministic
variants of the growing context-sensitive languages, G.Niemann and
F.Otto (U Kassel, D)
On piecewise testable, starfree, and recognizable picture languages, O.Matz (U Kiel, D) Deterministic rational transducers and random sequences, S.Porrot and M.Dauchet (U Lille, F) The WHILE hierarchy of program schemes is infinite, C.Albayrak and T.Noll, (RWTH Aachen, D) |
|
12:30 |
Lunch |
12:30 |
Lunch |
|
14:30 |
Invited Lecture Generalizing domain theory Michael Mislove (Tulane U, USA) |
14:30 |
A Cook's tour of equational axiomatizations for prefix
iteration, L.Aceto (BRICS, DK), W.Fokkink (U Wales,
UK) and A.Ingölfsdöttir (U Firenze, I)
Pumping Lemmas for timed automata, D.Beauquier (U Paris 12, F) The appearance of big integers in exact real arithmetic based on linear fractional transformations, R.Heckmann (U Saarlandes, D) Partial metrics and co-continuous valuations, M.Bukatin (Brandeis U, USA) and S.Yu.Shorina (Moscow State U, R) |
|
15:30 |
Coffee |
16:30 |
Coffee |
|
16:00 |
An event structure semantics for P/T contextual nets:
asymmetric event structures, P.Baldan, A.Corradini and U.Montanari
(U Pisa, I)
Asynchronous observations of processes, M.Boreale (U Roma "La Sapienza", I), R.De Nicola and R.Pugliese (U Firenze, I) Resource based models for asynchrony, J.Rathke (U Genova, I) Deciding properties for message sequence charts, A.Muscholl (U Stuttgart, D) and D.Peled (Bell Labs & CMU, USA) |
17:00 |
Panel discussion Paradigms of software science - technical versus human aspects chair: Kai Koskimies (NRC/Hki, FI) |
|
18:00 |
Close |
18:30 |
Close |