Specification and Validation Methods For Programming Languages and Systems

5th International School for Computer Science Researchers
Lipari Island, June 21, 1993 - July 03, 1993

Under the auspices of
A.I.L.A - Associazione Italiana Logica ed Applicazioni
E.A.A.C.S.S - European American Advanced Computer Science Schools consortium
E.A.C.S.L. - European Association for Computer Science Logic


The 5th School for Computer Science Researchers addresses Ph.D. students and young researchers who want to get exposed to the forefront of research activity in the field of Specification and Validation Methods For Programming Languages and Systems.


Courses



Applications of Temporal Logic to the Specification and Verification of Reactive and Real-Time Systems
Prof.A. Pnueli, Weizmann Institute
Content:Applications of Temporal Logic to the Specification and Verification of Reactive and Real-Time Systems
Declarative and Procedural Interpretations for Logic Programming Languages
Prof.K. Apt, CWI, Amsterdam
Content:Declarative and Procedural Interpretations for Logic Programming Languages
Evolving Algebra Based Specification of Logic Programming Systems
Prof.Egon Borger, Pisa University
Content:Evolving Algebra Based Specification of Logic Programming Systems
Operational Semantics Based on Evolving Algebras
Prof.Y. Gurevich, Michigan University
Content:Operational Semantics Based on Evolving Algebras
Specification and Verification of VHDL-based Hardware Design
Prof.W. Damm, Oldemburg University
Content:Specification and Verification of VHDL-based Hardware Design
System Specification and Development Using Higher Order Logic
Prof.M. Fourman, Edinburgh University
Content:System Specification and Development Using Higher Order Logic

Home