Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Combining non-stably infinite theories
Speaker:Cesare Tinelli
coming from:University of Iowa
Speakers Bio:
Event Type:AG2 Working Group Seminar
Visibility:D1, D4, D2, D5, D3
We use this to send out email in the morning.
Level:AG Audience
Language:-- Not specified --
Date, Time and Location
Date:Tuesday, 6 January 2004
Time:16:15
Duration:-- Not specified --
Location:Saarbr├╝cken
Building:46.1 - MPII
Room:024
Abstract
Contact
Name(s):Uwe Waldmann
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
  • Uwe Waldmann, 12/19/2003 06:58 PM -- Created document.