Campus Event Calendar
Event Entry
New for: D3
What and Who
Beweistheorie in der Informatik
Reinhard Kahle
Universitaet Tuebingen
Logik-Seminar
AG 1, AG 2, AG 3, AG 4
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 2 March 2000
16:00
-- Not specified --
46.1 - MPII
024
Saarbrücken
Abstract
In diesem Vortrag will ich eine kurze Uebersicht ueber Anwendungen
der Beweistheorie und ihrer Methoden in der Informatik geben. Neben
dem automatischen Beweisen gewinnt die Untersuchung von Logiken
fuer Programme immer groessere Bedeutung. Die beweistheoretischen
Werkzeuge erlauben dabei Anwendungen die von der Komplexitaetstheorie
bis zur Sicherheit reichen.
_________
Contact
Uwe Waldmann, MPI,
Tel.: (0681) 9325-227, uni-intern: 92227, E-Mail: uwe@mpi-sb.
--email hidden
passcode not visible
logged in users only