Previous Page | Next Page | Expand All | Collapse All
Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
1995-11-30 | 13:00 | Jörg Zeyer | Faktorisieren mit dem Number Field Sieve | 36 - Informatik 406 | Promotionskolloquium | ||||||
1995-11-30 | 15:00 | Christoph Thiel | On the complexity of some problems in algorithmic algebraic number theory | 44 - MPII 117 | Promotionskolloquium | ||||||
1995-11-30 | 16:00 | Luca Dini | Actional Classes and Event Composition | 17.3 - Computerlinguistik Seminarraum, EG | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
1995-11-29 | 15:00 | Jörg Keller | Realisierung und Verwendbarkeit von Parallelrechnern mit gemeinsamem Adreßraum | 36 - Informatik -1.12 | Vorstellungsvortrag für einen Habilitationsantrag | ||||||
|
| ||||||||||
1995-11-28 | 16:00 | Uwe Schöning | Zufall und Algorithmik | Uni Trier V302 | Informatik-Kolloquium der Uni Trier | ||||||
|
| ||||||||||
1995-11-27 | 16:00 | George Havas | Computing Canonical Forms of Matrices | 36 - Informatik 406 | Informatik-Kolloquium | ||||||
|
| ||||||||||
1995-11-24 | 15:00 | Prof. Dr. Heikki Mannila | Data Mining (or Knowledge Discovery) | 27 - Hörsaal Gebäude HS III | MPI-Kolloquium | ||||||
|
| ||||||||||
1995-11-23 | 11:00 | Uwe Hefter | ATM - Aktivitäten der Deutschen Telekom AG | 13 HS -1.22 | |||||||
|
| ||||||||||
1995-11-22 | 17:00 | Neil Trudinger | Isoperimetric inequalities and Monge-Amp'ere Equations | 27 - Hörsaal Gebäude HSIV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
1995-11-21 | 16:30 | Manfred Jaeger | Eine Logik für Default-Schliessen mit Wahrscheinlichkeiten | 44 - MPII 118 | Promotionskolloquium | ||||||
|
| ||||||||||
1995-11-17 | 15:15 | Frank Leymann | Enterprise Aspects of Workflow Technology | 27 - Hörsaal Gebäude HS III | Informatik-Kolloquium | ||||||
1995-11-17 | 16:30 | A.J. Birk | Stimulus Response Lernen - ein neues Machine Learning Paradigma | 27 - Hörsaal Gebäude HSIV | Promotionskolloquium | ||||||
|
| ||||||||||
1995-11-16 | 16:00 | Johannes Matiasek | Ein Generator für das Deutsche auf der Basis von FUF - Ein Experiment in der Wiederverwendung linguistischer Ressourcen | 17.2 - Computerlinguistik Seminarraum | Vortrag Computerlinguistik | ||||||
|
| ||||||||||
1995-11-14 | 14:00 | James Rogers | What Does a Grammar Formalism Say About a Language? | Computerlinguistik Seminar Room | Talk | ||||||
1995-11-14 | 16:00 | Reinhard Wilhelm | Systematische Ableitung paralleler numerischer Programme | Uni Trier V302 | Informatik-Kolloquium der Uni Trier | ||||||
|
| ||||||||||
1995-11-10 | 17:00 | Konrad Polthier | Kompakte Flächen konstanter mittlerer Krümmung - Konstruktion und Numerik | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
1995-11-07 | 16:00 | Fred Green | Small Depth Circuits with Threshold and MOD-Gates | Uni Trier V302 | Informatik-Kolloquium | ||||||
|
| ||||||||||
1995-11-03 | 15:15 | Sudhakar M. Reddy | Testing of VLSI circuits - A personal perspective of the future | 27 - Hörsaal Gebäude HS III | Informatik-Kolloquium | ||||||
|
| ||||||||||
1995-11-02 | 14:00 | Dr. Hans Rott | Wissensrevision: Kohärenz, Fundament und Nichtmonotonie | 43.1 - DFKI 1.01 | DFKI-Kolloquium | ||||||
| |||||||||||
|
| ||||||||||
1995-10-26 | 10:15 | Bernd Gaede | SPASS: (S)ynergetic (P)rover (A)ugmenting (S)uperposition with (S)orts | 44 - MPII 333 | AG2 Seminar | ||||||
|
| ||||||||||
1995-10-24 | 16:15 | Stephane Demri | Backward translations for modal logics | 44 - MPII 117 | Logik-Seminar | ||||||
|
| ||||||||||
1995-10-23 | 11:00 | Prof. Hassan Aït-Kaci | A New Foundation for Computation and Approximation | 43.1 1.01 | DFKI-Kolloquium | ||||||
1995-10-23 | 16:00 | Dr. Bettina Buth | Automatische Verifikationsunterstützung für Operationsverfeinerung | 43.1 - DFKI 0.25 | DFKI-Kolloquium | ||||||
|
| ||||||||||
1995-10-11 | 14:00 | Mathias Reinholz | Expertensysteme für die Entwicklung von Sicherheitsmodellen | 43.1 1.01 | DFKI-Kolloquium | ||||||
| |||||||||||
|
| ||||||||||
1995-09-26 | 16:15 | Johan Montelius | Penny, a parallel implementation of a CCP language | 43 - DFKI +1.01 | DFKI-Kolloquium | ||||||
|
| ||||||||||
1995-09-14 | 11:00 | Shimon Even | *No Title | 27 - HS III Hörsaal 3 | |||||||
| |||||||||||
|
| ||||||||||
1995-08-29 | 16:15 | Hubert Baumeister | Using Algebraic Specification Languages for Model Oriented Specifications | 44 - MPII 117 | Logik-Seminar | ||||||
|
| ||||||||||
1995-08-25 | 16:00 | Joachim Niehren | Funktionale Berechnung in einem nebenläufigen Kalkül mit logischen Variablen | 44 - MPII 117 | Promotionskolloquium | ||||||
|
| ||||||||||
1995-08-16 | 16:00 | Deepak Kapur | Maximal Extensions of Simplification Orderings | 44 - MPII 117 | Logik-Seminar | ||||||
| |||||||||||
|
| ||||||||||
1995-01-11 | 10:15 | Uwe Brahm | Unterstützung der wissenschaftlichen Arbeit durch Groupware | 44 - MPII 117 | Presentation |