WADT at a glance




09:00 
Invited Lecture Formal verification of pipelined processors Randy Bryant (CMU, USA) 
09:00 
Invited Lecture Challenges and opportunities visual programming languages bring to programming language research Margaret Burnett (Oregon State U, USA) 
09:00  Fibring of interpretation systems, C.Sernadas,
A.Sernadas and C.Caleiro (TU Lisbon, P)
Canonical constructions underlying relations between logics, A.Martini (TU Berlin, D) A formal development infrastructure, R.Jüllig (Arrow Logics Inc, USA) 

10:00 
Coffee 
10:00 
Coffee 
10:30 
Coffee 

10:30 
CoFI, The Common Framework Initiative: Status Report,
PD.Mosses (U Aarhus, DK)
More on standard specifications: quantifiers, modal operators, and refinements, P.Padawitz (U Dortmund, D) Semantic constructions for the specification of objects, C.Cirstea (U Oxford, UK) Completeness of narrowing in noncopying implementations, D.Plump (U Bremen, D) and A.Habel (U Hildesheim, D) 
10:30 
Tiles with symmetries and copying, U.Montanari,
R.Bruni (U Pisa, I) and J.Meseguer (SRI, USA)
Using reflection to specify transaction sequences in rewriting logic, N.MartiOliet and I.Pita (U Complutense Madrid, E) ARTS  A formal Approach to RealTime Systems, T.Maibaum (PUCRJ, BR) Linking initial algebra semantics and the Blanguage, U.Wolter (T U Berlin, D) 
11:00  Translating other specification languages
into CASL, T.Mossakowski (U Bremen)
Moving specification structures between institutions, T.Borzyszkowski (I Informatics  Gdansk, PL) Effective combination of logics, C.Caleiro, A.Sernadas and C.Sernadas (TU Lisbon, P) 

12:30 
Lunch 
12:30 
Lunch 
12:30 
Lunch 

14:30 
Invited Lecture Concurrent constraint programming as an extension of functional programming Gert Smolka (U Saarlandes, D) 
14:30 

14:30 


15:30 
Coffee 
16:00 
Coffee 
16:00 
Coffee 

16:00 

16:30 
A Natural Deduction Calculus for Structured
Specifications, M.Wirsing, J.N. Crossley and H. Peterreins (L M U Munich,
D)
Features and inheritance for specifications of static data structures, G.Reggio (U Genova, I) Heterogeneous refinements of hierarchical specifications, G.Bernot (U Évry, F) 
16:30 


18:00 
Close 
18:00 
Close 
18:00 
Close 