Logic Seminar
[Diese Informationen sind auch auf
Deutsch
verfügbar.]
The logic seminar is a joint colloquy of the
German
Research Center for Artificial Intelligence (DFKI),
the Max-Planck-Institut für Informatik, Saarbrücken,
and the Departments of
Computer Science,
Philosophy and
Law
of the
University of the Saarland.
Topics of the logic seminar include
- various logics (e.g.: programming logics, modal logics, ...),
- automated and interactive theorem proving,
- term rewrite systems and related calculi,
- unification and constraints.
Everybody who is interested is invited to come.
Current announcements
Previous talks
Notices for Speakers and Invitors
Uwe Waldmann
<
uwe@mpi-inf.mpg.de>,
2002-12-13.
Imprint |
Data Protection