Previous Page | Next Page | Expand All | Collapse All
Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
1996-06-12 | 10:45 | Hans Jürgen Ohlbach | How to turn number restrictions in KR languages, and more general arithmetic constraints on set cardinalities into diophantine equations | 46.1 - MPII 023 | AG2 Working Group Seminar | ||||||
1996-06-12 | 17:00 | S. Leue | Zur Semantik des szenarien-basierten Entwurfs verteilter Realzeitsysteme | 45 - Informatik 016 | Informatik-Kolloquium | ||||||
|
| ||||||||||
|
| ||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
|