| 09:00 |
|
Tutorials (in parallel)
|
VISUAL
|
ACoS
|
WADT
|
| Foundations of object-oriented
programming, G.Castagna (ENS-Paris, F) |
Visualising action contracts in object-oriented modelling,
S.Kent (U Brighton, UK) |
Requirements and a proposal for the prevention of
a class of service interactions in intelligent networks, D.Keck (U
Stuttgart, D) |
Fibring of interpretation systems, C.Sernadas,
A.Sernadas and C.Caleiro (TU Lisbon, P) |
| Java semantics, S.Drossopoulou
and S.Eisenbach (Imperial College, UK) |
Visualisation of executable formal specifications
for user validation, M.Bulent Ozcan (Sheffield Hallam U, UK) |
INAP protocol test suite verification method using
the IUT simulator for AIN system conformance testing, H.Do, S.Bae,
S.Kim (Electronics and Telecommunications Research Institute Yusong, KR) |
Canonical constructions underlying relations between
logics, A.Martini (TU Berlin, D) |
|
Engineering the usability of visual formalisms: a
case study in real time logics, E.Vicario and M.Lusini (U Firenze,
I) |
Testing IN protocol implementation, P.Florschütz
(Siemens Nixdorf, D) |
A formal development infrastructure, R.Jüllig
(Arrow Logics Inc, USA) |
|
| 10:30 |
Coffee
|
| 11:00 |
|
Tutorials (in parallel)
|
ACoS/VISUAL
|
WADT
|
| Foundations of object-oriented
programming, G.Castagna (ENS-Paris, F) |
Agent-based data services in future IN-platforms,
J.Meinköhn (Deutsche Telekom, D) and S.Albayrak (TU Berlin, D) |
Translating other specification languages into CASL,
T.Mossakowski (U Bremen) |
| Java semantics, S.Drossopoulou
and S.Eisenbach (Imperial College, UK) |
Graphical input examples and case-based reasoning
for identifying formalised behaviour, PJ.Funk and D.Robertson (U Edinburgh
UK) |
Moving specification structures between institutions,
T.Borzyszkowski (I Informatics - Gdansk, PL) |
|
Visualising the behaviour of intelligent networks,
C.Capellmann, U.Herzog (Deutsche Telekom AG, D) and S.Christensen (U Aarhus,
DK) |
Effective combination of logics, C.Caleiro, A.Sernadas
and C.Sernadas (TU Lisbon, P) |
|
| 12:30 |
Lunch
|
| 14:30 |
|
Tutorials (in parallel)
|
VISUAL
|
WADT A
|
WADT B
|
| Foundations of object-oriented
programming, G.Castagna (ENS-Paris, F) |
Using a visual formalism for system verification in
an industrial environment, R.Schlör, B.Josko (OFFIS, D) and D.Werth
(Siemens, D) |
An algebra of graph derivations and its classification
by finite limit double theories, A.Corradini, M.Grosse-Rhode and R.Heckel
(U Pisa, I) |
A new method for LOTOS specification, C.Choppy,
P.Poizat and JC.Royer (U Nantes, F) |
| Interprocedural analysis
based on pushdown automata, H.Seidl (U Trier,
D) and C.Fecht (U Saarlandes, D) |
Symbolic model checking visualization, G.Kamhi,
L.Fix and Z.Binyamini (Intel, IL) |
Concrete spatial refinement construction for graph
transformation systems, M.Simeoni, M.Grosse-Rhode and F.Parisi-Presicce
(U Roma "La Sapienza", I) |
Support for distributed cooperative software engineering,
G.Rosu (UCSD, USA) |
|
Formal methods and customized visualization: a fruitful
symbiosis, T.Margaria (U Passau, D) and V.Braun (U Dortmund, D) |
An efficient strategy for graph rewriting with constructors,
JC.Janodet and R.Echahed (L Leibniz, F) |
Algebraic specifications and software design in type
theory, N.Mylonakis (U Edinburgh, UK) |
|
| 16:00 |
Coffee
|
| 16:30 |
|
Tutorials (in parallel)
|
VISUAL
|
WADT A
|
WADT B
|
| Foundations of object-oriented
programming, G.Castagna (ENS-Paris, F) |
A graphical development process environment for formal
methods, C.Blank Purper and S.Westmeier (U Bremen, D) |
An algebraic framework for separate compilation,
D.Ancona (U Genova, I) |
Real-time temporal specification, PY.Schobbens
(U Namur, B) |
| Interprocedural analysis
based on pushdown automata, H.Seidl (U Trier,
D) and C.Fecht (U Saarlandes, D) |
short contributions:
A logical foundation for object diagrams, AS.Evans
(U Bradford, UK)
|
Partial implementation of ADTs, X.Burguès,
X.Franch (U P Catalonia, E) and D.Till (City U, UK) |
Multi-agent situation and state calculus, J.Ramos
(TU Lisbon, P) |
|
|
Lessons from Cafe Project, assessment of
the system and case studies, A.Nakagawa (SRA, JP) |
Institutions for a universal approach to
high-level Petri Nets, J.Padberg (TU Berlin, D) |
|
| 18:00 |
Close
|