- Dienstag, 23.09.03, 16.15 Uhr:
- Mark Pichora:
Decision Procedures for Quantifier-free Bit-vectors of Symbolic Length
(Gebäude 46.1, Raum 024)
Die Vorträge des Logikseminars finden in der Regel
Dienstags um 16.15 Uhr in
Gebäude 46.1 (Max-Planck-Institut),
Raum 024 statt.
Außer im World Wide Web erfolgen
die Ankündigungen auch
in der Newsgruppe
saar.uni.vortraege,
sowie
per Post an die Lehrstühle der FR Informatik,
die Lehrstühle für Theoretischen Philosophie und Rechtsinformatik,
die Arbeitsgruppen des DFKI und MPI,
sowie die Fachbereiche
Mathematik, Allg. Linguistik und Wirtschaftswissenschaft
(wo sie hoffentlich den Weg zum schwarzen Brett finden).
Previous |
Up |
Next
Uwe Waldmann
<
uwe@mpi-inf.mpg.de>,
2003-09-16.
Imprint |
Data Protection