Vorträge im Logikseminar

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)


Frühere Vorträge:


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