Title: Computer Aided Systems Theory - EUROCAST 2003 00
Subjects: Mathematical Logic and Formal Languages, Processor Architectures, Simulation and Modeling, Artificial Intelligence (incl. Robotics), Logic design, Computer-Aided Engineering (CAD, CAE) and Design, Logics and Meanings of Programs, Computer-aided design, Computer simulation, Artificial intelligence, Computer science, Computer-aided engineering