Unilogo
Institute for Logic, Complexity und Deduktion Systems (ILKD)
Computer Science Department, University of Karlsruhe

ILKD Menzel

Overview
[Top of Page]
  • 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
[Top of Page]
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.


ILKD Menzel