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-08-29 | 14:15 | IV Ramakrishnan | Optimizing Clause Resolution | MPII/46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1996-08-22 | 14:00 | Lori Levin | Machine Translation Components of the Janus Speech-to-Speech Translation System | 43.1 - DFKI +1.01 | DFKI-Kolloquium | | |||||
|
|
| | |||||||||
| 1996-08-21 | 11:00 | Mark Seligman | Interactive MT and Speech Translation on the Internet | 43.1C (DFKI) +1.01 | DFKI-Kolloquium | | |||||
| 1996-08-21 | 16:00 | Professor Thomas Dean | Representing and Learning Structure in Dynamical Systems | 43.1 - DFKI 1.01 | DFKI-Kolloquium | | |||||
|
|
| | |||||||||
| 1996-08-16 | 11:00 | Denise Oliveira | An User-Programmable Logic-Based Shell for Cooperative Information Systems | 36 (Informatik) 406 | Talk | | |||||
|
|
| | |||||||||
| 1996-08-08 | 14:00 | Yde Venema | Dynamic logic and special derivation rules | 46.1 - MPII 609 | Talk | | |||||
|
|
| | |||||||||
| 1996-08-06 | 16:00 | Arnaud Venet | Abstract Interpretation of the pi-calculus | 46.1 - MPII 019 | Logik-Seminar | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1996-07-12 | 17:00 | Prof. Dr. Thomas Beth | Quanteninformatik - Rechnen mit Photonen, Ionen und Quanten | 45 003 | | ||||||
|
|
| | |||||||||
| 1996-07-11 | 13:00 | Susanne Graf | Kombination von Modell-Checking und Theorembeweisen | 46.1 - MPII 019 | Talk | | |||||
| 1996-07-11 | 16:00 | C. Samuelsson | Relating Turing's Formula and Zipf's Law | 17.3 - Computerlinguistik Seminarraum EG | Talk - Computerlinguistik | | |||||
|
|
| | |||||||||
| 1996-07-09 | 17:00 | D. Blecher | Operator spaces, operator algebras, tensor products, and bimodules | 27 - Hörsaal Gebäude Hörsaal IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 1996-07-05 | 11:00 | Dr. Frank Klawonn | Fuzzy-Methoden in der Datenanalyse und Mustererkennung | 45 - FB14 016 | Informatik-Kolloquium | | |||||
| 1996-07-05 | 14:15 | Frank Pfenning | Linear Higher-Order Pre-Unification | 46.1 - MPII 019 | Logik-Seminar | | |||||
| 1996-07-05 | 17:00 | O. Iliev | Fictitious regions method based algorithms for solving convection-difffusion phase change problems | 27 - Hörsaal Gebäude Hörsaal IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 1996-07-04 | 16:00 | Natasha Kurtonina | Structural Dimensions of Categorial Grammar | 17.2 - Computerlinguistik Seminarraum, EG | Computerlinguistisches Kolloquium | | |||||
| 1996-07-04 | 17:00 | Priv.-Doz. Dr. Hans-Ulrich Bauer | Selbstorganisation neuronaler Karten | 45 - FB14 016 | Vorstellungsvortrag in Informatik | | |||||
|
|
| | |||||||||
| 1996-07-03 | 13:00 | Kurt Sieber | Semantik lokaler Variablen | 45 - FB14 002 | Antrittvorlesung | | |||||
|
|
| | |||||||||
| 1996-07-02 | 14:00 | Dr. Hendrik C. R. Lock | On global capacity constraints in scheduling | 45 - FB14 015 | DFKI-Kolloquium | | |||||
|
|
| | |||||||||
| 1996-07-01 | 10:00 | B. Buchberger | Computer-Algebra und Theorem Proving | 43.1 - DFKI 1.01 | DFKI-Kolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1996-06-28 | 11:00 | Jürgen Giesl | Automatisierung von Terminierungsbeweisen | 43.1 - DFKI 1.01 | DFKI-Kolloquium | | |||||
| 1996-06-28 | 13:00 | Herr Dr. Daniel Keim | Suche partiell aehnlicher Polygone in CAD-Anwendungen | 45 - FB14 016 | Informatik-Kolloquium | | |||||
| 1996-06-28 | 15:00 | Dr. Birgit Pfitzmann | Asymmetrischer Copyrightschutz | 45 - FB14 016 | Informatik-Kolloquium | | |||||
| 1996-06-28 | 17:00 | Dr. Matthias Weber | Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme | 45 - FB14 016 | Vorstellungsvortrag In Informatik | | |||||
|
|
| | |||||||||
| 1996-06-27 | 17:00 | Prof. Dr. Hans Dobbertin | Hash-Funktionen für Digitale Signaturen | 45 - FB14 016 | Kolloquium in Informatik | | |||||
|
|
| | |||||||||
| 1996-06-14 | 17:00 | W. Hackenbroch | Evolutionssysteme und multiplikative Integration | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 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 | | |||||
|
|
| | |||||||||
| 1996-06-07 | 16:00 | Alexander Bockmayr | Quantenrechner und polynomiale Berechenbarkeit | 46.1 - MPII 024 | Antrittsvorlesung | | |||||
|
|
| | |||||||||
| 1996-06-05 | 10:45 | Andreas Tönne | Program Analysis with Linear Logic | 46.1 - MPII 023 | AG2 Working Group Seminar | | |||||
| 1996-06-05 | 16:00 | J. Müller | An Architecture for Dynamically Interacting Agents | 46.1 - MPII 019 | Promotionskolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1996-05-31 | 13:45 | Rajeev Gore' | Cut-free Display Calculi for Relation Algebras | 46.1 - MPII 019 | Logikseminar des DFKI,FBI und MP | | |||||
| 1996-05-31 | 15:00 | Prof. Dr. Rolf Schulmeister | Didaktische Aspekte des Software-Designs | 45 Hörsaal 001 | Informatik-Kolloquium | | |||||
| 1996-05-31 | 16:00 | K. Schild | Querying Knowledge and Data Bases by a Universal Description Logic with Recursion | 46.1 - MPII HS 019 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1996-05-28 | 16:00 | Cecile Paris | DRAFTER: An Interactive Support Tool for Writing | 43.1C +1.01 | DFKI-Kolloquium | | |||||
| 1996-05-28 | 16:00 | Prof. Dr. Jean-Raymond Abrial | Protocol Design and Liveness Proofs with the B-tool | 46.1 - MPII 019 | MPI-Kolloquium | | |||||
|
|
| | |||||||||
| 1996-05-21 | 16:00 | G. Weikum | Automatisches Tuning von Datenbanksystemen | Uni Trier V302 | Informatik-Kolloquium der Uni Trier | | |||||
| 1996-05-21 | 16:00 | J. R. Partington | Extremal problems in Hardy spaces | 27 - Hörsaal Gebäude Seminarraum 5 | Oberseminar Funktionalanalysis | | |||||
|
|
| | |||||||||
| 1996-05-17 | 17:00 | J. R. Partington | Interpolation of analytic functions, with some applications | 27 - Hörsaal Gebäude Hörsaal IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 1996-05-15 | 10:45 | Manfred Jaeger | Representation Independence of Nonmonotonic Inference Relations | 46.1 - MPII 023 | AG2 Seminar | | |||||
| 1996-05-15 | 14:00 | Wojciech Skut | Adjuncts, Phrase Structure and Scope Ambiguity | 17.3 - Computerlinguistik Seminarraum, EG | Computerlinguistischen Kolloquium | | |||||
| 1996-05-15 | 16:15 | Fred Popowich | Machine Translation in Informal Contexts | 43.1 - DFKI 1.01 | Computerlinguistischen Kolloquium | | |||||
|
|
| | |||||||||
| 1996-05-14 | 17:00 | G. Lumer | Undetected large signals governed by parabolic equations | 27 - Hörsaal Gebäude Seminarraum 5 | Oberseminar | | |||||
|
|
| | |||||||||
| 1996-05-13 | 14:00 | Thomas Kamps | Automatische Generierung multimodaler Präsentationen aus einem Faktennetz | 43.1C +1.01 | DFKI-Kolloquium | | |||||
| 1996-05-13 | 16:00 | Hannah Bast | Wahrscheinlichkeitsrechnung: Intuition und Theorie | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1996-05-09 | 16:15 | Maarten de Rijke | Expressivity and Modal Logic | 46.1 - MPII 019 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1996-05-08 | 10:00 | Tom Reutter | Textverarbeitung in der World Languages Research Group bei Microsoft | 43.1C +1.01 | Vorführung | | |||||
|
|
| | |||||||||
| 1996-05-07 | 16:15 | Maarten de Rijke | Logic, Bisimulations and Processes | 46.1 - MPII 019 | Logik-Seminar | | |||||
| | ||||||||||
|
|
| | |||||||||
| 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 | | |||||