8. EUROCAST 2001: Las Palmas de Gran Canaria, Canary Islands, Spain

Invited Lectures

Computer Aided Systems Theory

Mathematical and Logic Formalisms

Information and Decision


CAST in Neural-like Computation - Applications

CAST in Automation and Control

Computer Algebra and Automated Theorem Proving

Functional Programming and Lambda-Calculus

maintained by Schloss Dagstuhl LZI at University of Trier