Previous Page | Next Page | Expand All | Collapse All
Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
1997-07-28 | 16:00 | Peter-Michael Seidel | Ein IEEE-konformer high-speed fuer Floating-Point Zahlen | 45 - FB14 Raum 016 | Seminar des Graduiertenkollegs | ||||||
1997-07-28 | 16:00 | Uwe Waldmann | Cancellative Abelian Monoids in Refutational Theorem Proving | 46.1 - MPII R. 024 | Promotionskolloquium | ||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
| |||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
1997-06-19 | 16:15 | Tobias Nipkow | Combining Model Checking and Deduction for I/O-Automata (joint work with Olaf Müller) | 46.1 - MPII 024 | Logik-Seminar | ||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
|