ILKD Menzel

Neural Networks: Introduction.
Neural Network Projects: Bayesian Learning, Evolutionary Optimization of Neural Networks, Neural Prediction Systems, Fynesse, Information Structures in Music, Robot Soccer.
KIV: Karlsruhe Interactive Verifier
Publications: Papers, diploma theses and student research projects on neural networks and computability.
Events: seminars, lectures, talks, study groups, practical courses.
People: Head, Secretary, Reserachers, Computer Administration, Students, Former Members.
Links: ILKD-specific primers, manuals, WWW resources.
Contact: how to find us.

Overview
Neural Networks: Introduction. Neural Network Projects: Bayesian Learning, Evolutionary Optimization of Neural Networks, Neural Prediction Systems, Fynesse, Information Structures in Music, Robot Soccer. KIV: Karlsruhe Interactive Verifier Publications: Papers, diploma theses and student research projects on neural networks and computability. Events: seminars, lectures, talks, study groups, practical courses. People: Head, Secretary, Reserachers, Computer Administration, Students, Former Members. Links: ILKD-specific primers, manuals, WWW resources. Contact: how to find us.
News
Since March 1st 2003, Prof. Dr. Dorothea Wagner has replaced Prof. Dr. Wolfram Menzel as head of the chair. She directs the Algorithmics Research Group.