TBA (Invited Lecture)
Alain Lardenois (Siemens Nixdorf Paris, F)
The Net Academy - a new concept for online publishing
and knowledge management, S. Handschuh, U.Lechner, D-M.Lincke, B.Schmid,
P.Schubert, D.Selz, K.Stanoevska-Slabeva (U St. Gallen, CH)
|
The Eli system, U.Kastens, P.Pfahler and M.Jung (U Paderborn, D)
Lrc - a generator for incremental language-oriented
tools, M.Kuiper and J.Saraiva (U Utrecht, NL)
An extended static checker for Modula-3, KRM.Leino
and G.Nelson (DEC Systems Research Center, USA)
Cool: acontrol-flow generator for system analysis,
V.Braun (U Dortmund, D), J.Knoop and D.Koschützki (U Passau, D)
|
Reasoning about classes in object-oriented languages:
logical models and tools, U.Hensel (TU Dresden, D), M.Huisman, B.Jacobs
(U Nijmegen, NL) and H.Tews (TU Dresden, D)
Verifiable and executable logic specifications of concurrent
objects in L¼, L.Caires and
L.Monteiro, (New U Lisbon, P)
A complete declarative debugger of missing answers,
S.Ruggieri, (U Pisa, I)
|
A logical view of processes, F.Gadducci and U.Montanari
(U Pisa, I)
A Modal Action Logic for action-based systems,
A.Lopes and J.Fiadeiro (U Lisbon, P)
An operational and denotational semantics for event
structures based on Rewrite Logic, M.Bettaz, C.Bouanaka, S.Rami and
M.Maouche (U Constantine, DZ)
|
Rasiowa-Sikorski sequence deduction systems: a handy
tool for computer science logic, B.Konikowska (Polish Academy of Sciences,
PL)
An operation on Abstract Data Types, V.Pascual,
L.Lamban and J.Rubio (U La Rioja, E)
Functorial Semantics of Multialgebras, A.Corradini
and F.Gadducci (U Pisa, I)
|