-----------

ÜIK Talvekool 1996

3-8. märts, 1996
Pühajärve, Otepää		 Tempus logo

CIDEC Winter School 1996

March 3-8, 1996
Pühajärve, Otepää, Estonia
-----------

INFORMAATIKA UUED SUUNAD
New Trends in Computer Science and Information Technology

*
REQUIREMENTS ENGINEERING AND DESIGN Prof. Anders P. Ravn (Copenhagen, Tech. Univ. of Denmark)

*
DURATION CALCULUS Prof. Michael R. Hansen (Copenhagen, Tech. Univ. of Denmark)
Abstract:
Duration Calculus was introduced as an extension of Interval Temporal Logic to specify properties of real-time systems and to reason about such specifications. Since its introduction it has been applied to many case studies and it has been extended in several directions.
The main concepts of Duration Calculus will be presented in the course as well as its application in cases studies of real-time and hybrid systems.

*
FUNCTIONAL PROGRAMMING, ML Prof. Hans Richel (Copenhagen, Tech. Univ. of Denmark)

*
STATIC ANALYSIS OF PROGRAMS Prof. Helmut Seidl (Trier)

*
ABSTRACT INTERPRETATION (STATIC PROGRAM ANALYSIS) Prof. Reinhard Wilhelm (Saarbrücken)

*
GENETIC ALGORITHMS/GENETIC PROGRAMMING Prof. Peter Smith (City University, London)
1. Genetic Algorithms.
What is a GA and how is it different to other methods? A simple Genetic Algorithm using selection, crossover and mutation. Alternative Selection Methods. De Jong's empirical study. Schema Theory and the Building Block Hypothesis. Advanced genetic operators - diploid chromosomes, inversion ... . Applications of GAs. GAs and combinatorial problems. Conjugation - a new method of genetic recombination (my work).
2. Genetic Programming.
The Representation Problem for Genetic Algorithms. A Simple Example of Genetic Programming - The Artificial Ant. Genetic Programming Operators. Evolution of Emergent Behaviour - Simulation of Ant Colonies. Co-Evolution. Building Blocks. Functional Programming and Genetic Programming. Genetic Programming using Object Orientation.

---------------