Campus Event Calendar
6. Event History - 1. Date and Time - 1. for All AGs
Previous Page | Next Page | Expand All | Collapse All
 | | Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| | ||||||||||
|
|
| | |||||||||
| 1996-04-26 | 10:00 | Dr. Alon Levy | Query Processing in the Information Manifold: Answering Queries using Structured sources on the WWW | 43.1 - DFKI 1.01 | DFKI-Kolloquium | | |||||
| 1996-04-26 | 15:15 | Bertrand Le Saec | Towards a structural coverage measure for protocols | 46.1 - MPII 019 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1996-04-24 | 10:45 | Yannis Dimopoulos | Learning Non-Monotonic Logic Programs | 46.1 - MPII 023 | Working Group Seminar | | |||||
|
|
| | |||||||||
| 1996-04-19 | 13:00 | Robert Knuth | Quantitative Analyse von DLX-Pipeline-Architekturen | 36 - Informatik -1.12 | Promotionskolloquium | | |||||
| 1996-04-19 | 13:30 | People attending seminar | Discussion on the report: "Theory of Computing: Goals and Directions" | 46.1 - MPII 019 oder 024 | Mittagsseminar AG1 | | |||||
| 1996-04-19 | 15:00 | Randy Goebel | Practical Belief by Impractical Means: Non-monotonic Bases for Belief Revision | 43.1 - DFKI +1.01 (Bananensaal) | DFKI-Kolloquium | | |||||
| 1996-04-19 | 15:00 | Thomas Rauber | Ansätze zur Programmierung von Parallelrechnern | 27 - Hörsaal Gebäude HS III | Vorstellungsvortrag für einen Habilitationsantrag | | |||||
| 1996-04-19 | 17:00 | W. H. Graf | Intentionsgesteuertes Layout-Design multimedialer Präsentationen | 36 - Informatik -1.12 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1996-04-18 | 14:00 | Thierry Declerck | Integration von korpusbasiertem Wissen in eine unifikationsbasierte Grammatikentwicklung (ALEP) | 43.1C +1.01 | Talk - Computerlinguistik | | |||||
|
|
| | |||||||||
| 1996-04-16 | 13:30 | Harald Ganzinger | Group Meeting | 46.1 - MPII 022 | AG2 Group Meeting | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1995-12-12 | 16:00 | Hans Hagen | Geometrisches Modellieren und wissenschaftliche Visualiserung | Uni Trier V302 | Informatik-Kolloquium der Uni Trier | | |||||
|
|
| | |||||||||
| 1995-12-07 | 16:00 | Claire Gardent | Focus and Higher-Order Unification | 17.2 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 1995-12-04 | 14:00 | Paola Monachesi | DECOMPOSING ITALIAN CLITICS | 10 - PhilFak Dekanatssitzungssaal der philosophischen Fakultaet | | ||||||
| 1995-12-04 | 16:00 | Guy Even | Spreading metric based approximate graph partitioning algorithms | 36 - Informatik 406 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1995-12-01 | 10:00 | Michael Pohst | Arithmetik von Relativerweiterungen algebraischer Zahlkörper | 36 - Informatik 406 | Mathematisches Kolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 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 | | |||||