ETAPS'98

Saturday, April 4th

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




[Saturday, Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Saturday]