SGAI Conf. 2004: Cambridge, UK

Best Application Paper

Synthesis and Prediction

Scheduling and Search

Diagnosis and Monitoring

Classification and Design

Analysis and Evaluation

maintained by Schloss Dagstuhl LZI, founded at University of Trier