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 |