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 | ||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| | ||||||||||
|
|
| | |||||||||
| 1997-08-25 | 15:00 | Monika Rauch Henzinger | Continuous Profiling: Where have all the cycles gone? | 45 - FB14 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1997-08-21 | 14:00 | Andreas Butz | Ein inkrementeller Ansatz zur Generierung informativer 3d-Animation | 45 - FB14 001 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1997-08-19 | 19:00 | Sommerfest | MPI Grillplatz | Miscellaneous | | ||||||
|
|
| | |||||||||
| 1997-08-18 | 14:00 | Ulrich Finkler | Design of efficient and correct algorithms: theoretical results and runtime prediction of implementations in practice | 46.1 - MPII 023 | Promotionskolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 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-07-24 | 16:00 | Suman Roy | Neighbourhood Logic: An Adequate First-order Interval Logic | 46.1 - MPII 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1997-07-22 | 11:00 | Randy Goebel | Plan Recognition as Belief Revision | 43.1 - DFKI Turing (+1.01) | DFKI-Kolloquium | | |||||
| 1997-07-22 | 13:00 | Thomas Walle | Das Netzwerk der SB-PRAM | 45 - FB14 Seminarraum 016 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1997-07-21 | 16:00 | Alexander Kelmans | Graph planarity, Duality and Related Topics | Gebaeude 45 EG, Raum 016 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1997-07-18 | 13:00 | Christian Fecht | Abstrakte Interpretation logischer Programme: Theorie, Implementierung, Generierung | 45 - FB14 HS 0.01 | Promotionskolloquium | | |||||
| 1997-07-18 | 15:00 | Prof. Dr. Birgit Pfitzmann | Sichere elektronische Märkte | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1997-07-14 | 16:00 | Stephan Thesing | Zeitanalyse verteilter Echtzeitsysteme | 45 - FB14 016 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1997-07-11 | 15:00 | Klaus Hoechsmann | Multiplikatives Rechnen in ganzzahligen Gruppenringen | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
| 1997-07-11 | 15:00 | Prof. Dr. J"urgen Richter-Gebert | Automatic theorem proving in geometry | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1997-07-10 | 17:00 | Prof. Carnieli | A new logic for generic reasoning | 11.1 (Philosophie) 202 | Talk | | |||||
|
|
| | |||||||||
| 1997-07-09 | 13:30 | John Kececioglu | A new maximum-likelihood approach to chromosome physical-mapping | 46 024 | Talk | | |||||
|
|
| | |||||||||
| 1997-07-08 | 16:00 | Jop Sibeyn | Effiziente parallele Algorithmen | 45, INFORMATIK 003 | Vorstellungsvortrag für einen Habilitationsantrag | | |||||
|
|
| | |||||||||
| 1997-07-07 | 16:15 | Frank Padberg | Ein besonderer Zufallsprozess | 45 - FB14 016 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1997-07-04 | 17:00 | S.M. Deshpande | Application of Kinetic schemes to all types of meshes | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 1997-07-02 | 17:00 | Robert Finn | Capillarity Phenomena | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 1997-07-01 | 11:00 | Prof. Dr. Dominique Mery | Assigning Temporal Meaning to Abstract Machines | 43.1 - DFKI Raum 1.01 (TURING) | DFKI-Kolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1997-06-27 | 13:45 | Carsten Schuermann | Twelf: Eine LF-Implementierung mit expliziten Substitiutionen | 46.1 019 | Logik-Seminar | | |||||
| 1997-06-27 | 17:15 | Andrei Voronkov | The equality elimination method | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1997-06-26 | 14:00 | B. Chaib-draa | Some Models for Rational Interactions in Multiagent domains | 43.1 - DFKI 1.01 | DFKI-Kolloquium | | |||||
| 1997-06-26 | 14:00 | Prof. Dr. Hans-Peter Seidel | Hierarchische Methoden in der Graphischen Datenverarbeitung | 46 - MPI 024 | MPI-Kolloquium | | |||||
|
|
| | |||||||||
| 1997-06-23 | 16:00 | Frank Schulz | Über das Vorkommen von Teilfolgen in zufälligen Strings | 45 - FB14 EG, Raum 016 | Seminar des Graduiertenkollegs | | |||||
| 1997-06-23 | 16:00 | M. Henz | Objects in Oz | 45 - FB14 HS 003 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1997-06-20 | 15:15 | Prof. Theo Ungerer | Mikroprozessoren - Stand der Technik und Möglichkeiten der Weiterentwicklung | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 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 | | |||||
|
|
| | |||||||||
| 1997-06-18 | 11:15 | Jörn Hopf | Optimizing Photomask-Layout | 46.1 - MPII 022 | AG2 Working Group Seminar | | |||||
| 1997-06-18 | 14:00 | Prof. Dr. Robert Giegerich | Software-Werkzeuge für die Molekularbiologie | 46.1 - MPII 022 | Informatik-Kolloquium | | |||||
| 1997-06-18 | 16:00 | Martin Alt | On Parallel Compilation | 45 - FB14 HS 001 | Talk | | |||||
| 1997-06-18 | 17:15 | M. Furusawa | Periods of automorphic forms and special values of L-functions | 27 - Hörsaal Gebäude HS IV | Talk | | |||||
|
|
| | |||||||||
| 1997-06-17 | 17:00 | Andrei Voronkov | The equality elimination method | 46.1 - MPII HS 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1997-06-16 | 16:15 | Ulrich Meyer | Matrix Transpose auf Gitterrechnern: Theorie und Praxis | 45 - FB14 016 EG | Talk | | |||||
| 1997-06-16 | 17:15 | Fr. Prof. Yui | The Arithmetic of Certain Calabi-Yau type Varieties over Number Fields | 27 - Hörsaal Gebäude HS IV | Talk | | |||||
|
|
| | |||||||||
| 1997-06-13 | 15:00 | Prof. Dr. Walter Tichy | Ein Experiment zur Wirksamkeit von Software-Entwurfsmustern | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1997-06-11 | 11:15 | Fritz Eisenbrand | Factor Refinement in Number Fields | 46.1 - MPII 022 | AG2 Working Group Seminar | | |||||
| 1997-06-11 | 16:15 | Laurent Perron | Decorated constraints | 46.1 - MPII 024 | Talk | | |||||
|
|
| | |||||||||
| 1997-06-10 | 17:15 | Unknown | Informations- und Diskussionsveranstaltung von Uni und Wirtschafts- und Finanzministerium: ''Der Science Park Saar - Wissenstransfer als Element des Strukturwandels'' | 27 - Hörsaal Gebäude HS 1 | Talk | | |||||
|
|
| | |||||||||
| 1997-06-09 | 16:00 | T. Zieschang | Finite Groups and Graphs in Cryptanalysis | 45 - FB14 015 | Promotionskolloquium | | |||||
| 1997-06-09 | 17:00 | Prof. D. Thakur | The arithmetic of function fields | 27 - Hörsaal Gebäude HSIV | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1997-06-02 | 14:15 | Prof. Dr. Patrick Cousot | Design of Semantics by Abstract Interpretation | 46.1 019 | MPI-Kolloquium | | |||||
| 1997-06-02 | 16:00 | Dierk Johannes | Algebraische Graphentheorie - ein Einblick | 45 - FB14 016, EG | Seminar des Graduiertenkollegs | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1997-05-28 | 10:00 | Dr.Jianyang Zhou zu dem Thema | Computing smallest Cartesian products of intervals: application to the job-shop scheduling problem | 45 - FB14 EG, Raum 016 | Talk | | |||||
|
|
| | |||||||||
| 1997-05-27 | 14:00 | Thomas Christaller | Künstliche Intelligenz: Was ist das eigentlich? | 43.1 - DFKI Zi -1.14 | Talk | | |||||
|
|
| | |||||||||
| 1997-05-26 | 16:00 | Ulrich Finkler | Efficient Computation of Maximum Weighted Bipartite Matchings | 45 - FB14 EG, Raum 016 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1997-05-21 | 11:15 | Luca Viganò | Labelled sequent systems: a new method for bounding the complexity of modal logics | 46.1 - MPII 022 | AG2 Working Group Seminar | | |||||
| 1997-05-21 | 14:00 | Rudolf Fleischer | Effiziente Algorithmen | Bau 45 HS 003 | Vorstellungsvortrag für einen Habilitationsantrag | | |||||
|
|
| | |||||||||
| 1997-05-16 | 15:00 | Dr. Joachim Hertel | Der Software-Entwicklungsprozess in der Praxis | 45 - FB14 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1997-05-15 | 16:00 | A. Kühlmann und F. Krohm | Boolean Equivalence Checking at IBM | Bau 13 HS -1.03 | Talk | | |||||
|
|
| | |||||||||
| 1997-05-14 | 11:15 | Alexander Bockmayr | Algebraic modelling and (constraint) logic programming | 46.1 - MPII 002 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 1997-05-12 | 16:00 | Konstantin Popov | Eine parallele abstrakte Maschine für die nebenläufige, constraint-basierte Programmiersprache Oz | 45 - FB14 016 EG | Talk | | |||||
|
|
| | |||||||||
| 1997-05-09 | 15:00 | Prof. Hans Hagen | Geometrische Modellierung und wissenschaftliche Visualisierung | 45 - FB14 001 | Informatik-Kolloquium | | |||||
| 1997-05-09 | 17:00 | Prof. Attila Pethö | Indexformgleichungen und Indexformflächen | 27 - Hörsaal Gebäude HS IV | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1997-05-07 | 11:15 | Jürgen Stuber | Superposition Theorem Proving over Theories Presented by Rewrite Systems | 46.1 - MPII 022 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 1997-05-05 | 16:15 | Thilo Zieschang | Algebraische Ansätze in der Analyse von Block-Chiffrierverfahren | 45 - FB14 EG, Raum 016 | Seminar des Graduiertenkollegs | | |||||
| 1997-05-05 | 17:00 | Prof. Hugh Williams | Computations concerning a question involving certain character sums | 27 - Hörsaal Gebäude Hörsaal IV | Talk | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1997-04-30 | 11:15 | Seán Matthews | Adding a validity primitive to a logical framework | 46.1 - MPII 022 | AG2 Working Group Seminar | | |||||
| 1997-04-30 | 16:00 | Henk Zeevat | Common Ground Updating | 12 201 | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 1997-04-24 | 16:00 | Karel Oliva & M. A. Moshier (in absentia) | "Newtonian" Linguistics | 17.3 - Computerlinguistik Seminarraum, EG | Talk | | |||||
|
|
| | |||||||||
| 1997-04-22 | 16:15 | Francois Fages | Towards a flexible type system with subtypes and parametric polymorphism for constraint logic programming | 46.1 - MPII 019 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1997-04-18 | 14:00 | John Slaney | Using FINDER as a Module | 46.1 - MPII 019 | Talk | | |||||
|
|
| | |||||||||
| 1997-04-15 | 14:30 | Dr. Ingo Kirchner | The Climate System and a Concept of a new Climate Model | 46.1 - MPII SR 024 | Talk | | |||||
|
|
| | |||||||||
| 1997-04-14 | 16:00 | C. Scholl | Mehrstufige Logiksynthese unter Ausnutzung funktionaler Eigenschaften | 45 - FB14 016 | Promotionskolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1997-03-26 | 11:15 | Miroslava Tzakova | Hybrid Logic | 46.1 - MPII 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 1997-03-21 | 13:30 | Prof. Dr. Thomas A. Henzinger | Computer-Aided Verification of Embedded Systems | 45 - FB14 Hörsaal 3 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1997-03-19 | 11:15 | Georg Struth | Non-Symmetric Completion and Generation of Optimized Inference Systems | 46.1 - MPII 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 1997-03-18 | 16:15 | John Slaney | Blocks World Tamed: Ten thousand blocks in under a second | 46.1 - MPII 019 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1997-03-12 | 11:15 | Emil Weydert | Semi-qualitative Minimal Information Reasoning | 46.1 - MPII 024 | AG2 Seminar | | |||||
| 1997-03-12 | 13:30 | Uwe Brahm | Intranet Demonstration for AG1 | 46.1 - MPII 019 | Presentation | | |||||
|
|
| | |||||||||
| 1997-03-11 | 16:15 | Danièle Beauquier | The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and their Model-Checking in High-Level Languages | 46.1 - MPII 019 | AG2 Seminar | | |||||
|
|
| | |||||||||
| 1997-03-10 | 11:15 | Andreas Tönne | Program Analysis with Linear Logic | 46.1 - MPII 024 | AG2 Seminar | | |||||
|
|
| | |||||||||
| 1997-03-05 | 11:15 | Christoph Meyer | Soft Typing for Ordered Resolution | 46.1 - MPII 024 | AG2 Seminar | | |||||
|
|
| | |||||||||
| 1997-03-04 | 11:00 | Uwe Brahm | Intranet Demonstration for AG2 | 46.1 - MPII 019 | AG2 Group Meeting | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1997-02-24 | 14:00 | Volker Warnke | Dialogaktsegmentierung und -klassifikation unter Verwendung unterschiedlicher Wissensquellen | 43.1 - DFKI +1.01 | DFKI-Kolloquium | | |||||
| 1997-02-24 | 16:00 | Dr. Franz Lemmermeyer | Euklidische Ringe | 45 - FB14 015 | Seminar des Graduiertenkollegs | | |||||
| 1997-02-24 | 16:00 | Prof. Dr. Hans-Dieter Ehrlich | Daten und andere Objekte | 45 - FB14 Hörsaal I | Festkolloquium | | |||||
|
|
| | |||||||||
| 1997-02-21 | 09:30 | Marco Schaerf | Off-line processing and the space efficiency of propositional knowledge representation formalisms. | 46.1 - MPII 24 | Talk | | |||||
|
|
| | |||||||||
| 1997-02-20 | 17:00 | Peter Zoller | Realisierung von Quantencomputern mit Methoden der Quantenoptik | Gebäude 22 Hörsaal I, Erdgeschoss | Talk | | |||||
|
|
| | |||||||||
| 1997-02-19 | 11:30 | Florent Jacquemard | Tree Automata and Term Rewriting | 46.1 - MPII Room 022 | AG2 Seminar | | |||||
| 1997-02-19 | 15:00 | Arno Formalla | High Performance PRAM Beschleunigung der SB-PRAM um den Faktor 12 | 45 - FB14 SR 14 | Informatik-Kolloquium | | |||||
| 1997-02-19 | 17:00 | Solofo Ramangalahy | Linear Hybrid System | 46.1 - MPII 24 | Talk | | |||||
|
|
| | |||||||||
| 1997-02-18 | 10:00 | Jens-Uwe Moeller | Unüberwachtes Lernen domänenspezifischer Dialogakte aus spontan gesprochener Sprache | 45 - FB14 Raum 0.13 | Talk | | |||||
| 1997-02-18 | 14:00 | Wei GU | (F)Owl-Graphik: Neue Modelle und Verfahren zur Integration einer 2-1/2-D-Graphik-Funktionalität in ein verteiltes System | 45 - FB14 001 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1997-02-17 | 16:00 | Ulrich Meyer | Deterministische PRAM-Simulation auf Gitterrechnern | 45 - FB14 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1997-02-13 | 16:00 | Patrick Blackburn | From Modal Logic to Hybrid Languages | 17.3 - Computerlinguistik Seminarraum EG | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 1997-02-12 | 11:30 | Solofo Ramangalahy | Testing communicating automata | 46.1 - MPII 024 | AG2 Seminar | | |||||
|
|
| | |||||||||
| 1997-02-11 | 16:30 | Hubert Baumeister | Java and Object Oriented Programming | 46.1 - MPII 019 | AG2 Seminar | | |||||
| 1997-02-11 | 18:00 | Petra Steffens | Berufsmöglichkeiten für Computerlinguisten: Internationales Marketing - dargestellt am Spracherkennungssystem IBM VoiceType | DFKI SB, Geb. 43.1 +1.01 | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 1997-02-07 | 15:00 | Dr. Frank Damm | Management kryptographischer Mechanismen | 45 - FB14 EG, 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1997-02-06 | 14:00 | Aaron Sloman | Architectural requirements for autonomous human-like agents | 43.1 - DFKI 1.01 (Bananensaal) | DFKI-Kolloquium | | |||||
| 1997-02-06 | 16:00 | Hermann J. Kuenzel | Forensische Sprechererkennung | 43.1 - DFKI Bananensaal: +1.01 | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 1997-02-04 | 16:15 | Ullrich Hustadt | How to lie with benchmarks | 46.1 - MPII 019 | AG2 Seminar | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1997-01-31 | 15:00 | Prof. Dr. Gilles Kahn | The failure of Ariane 501 | 45 - FB14 HS 001 | Talk | | |||||
|
|
| | |||||||||
| 1997-01-30 | 16:00 | Jie Lie | Feature Checking and NP Interpretation - A modified Checking Theory | 17.3 - Computerlinguistik Seminarraum, EG | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 1997-01-29 | 11:30 | Sergei Vorobyov | The hardest decidable theory | 46.1 - MPII 024 | AG2 Seminar | | |||||
|
|
| | |||||||||
| 1997-01-24 | 16:00 | W. Finkler | Automatische Selbstkorrektur bei der inkrementellen Generierung gesprochener Spache unter Realzeitbedingungen | 45 - FB14 HS 003 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1997-01-22 | 11:30 | Andreas Nonnengart | Strong Skolemization | 46.1 - MPII 024 | AG2 Seminar | | |||||
|
|
| | |||||||||
| 1997-01-17 | 15:00 | David W. Matula | Design of a Pipelined Packet-Forwarding Floating Point Processor. | 45 - FB14 001 | | ||||||
| 1997-01-17 | 17:00 | R. Tobies | Ad angewandter Mathematik schreiten wir zum concentrischen Angriffe. Felix Klein - ein 'gegenmoderner' Mathematiker? | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 1997-01-15 | 11:30 | Thomas Kasper | Reconstructing Polyominos from Horizontal and Vertical Projections with CHIP | 46.1 - MPII 024 | AG2 Seminar | | |||||
|
|
| | |||||||||
| 1997-01-09 | 16:00 | Claire Gardent | Parallelism and Deaccenting | 17.3 - Computerlinguistik Seminarraum EG | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 1997-01-08 | 11:30 | Uwe Waldmann | Theorem Proving in (Torsion-Free) Cancellative Abelian Monoids | 46.1 - MPII 024 | AG2 Seminar | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1996-12-23 | 14:00 | Ming Li | Ein wissensbasiertes System zur automatischen Generierung von Explosionszeichnungen | 45 - FB14 HS III | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1996-12-20 | 14:00 | Christoph Weidenbach | Computational aspects of a first-order logic with sorts | 46.1 - MPII HS 019 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1996-12-19 | 16:00 | W. Stephan | Formale Programmentwicklung - von logischen Grundlagen zu praktischen Anwendungen | 45 - FB14 016 | Vorstellungsvortrag für einen Habilitationsantrag | | |||||
|
|
| | |||||||||
| 1996-12-18 | 11:30 | Georg Rock | Transformations of First-Order Formulae for Automated Reasoning | 46.1 - MPII 024 | AG2 Seminar | | |||||
|
|
| | |||||||||
| 1996-12-16 | 14:00 | Prof. Dr. Johan K.van Benthem | EXPLORING LOGICAL DYNAMICS | 43.1 - DFKI 1.01 | DFKI-Kolloquium | | |||||
| 1996-12-16 | 18:30 | C. Sengler | Induction on Non-Freely Generated Data Types | 45 - FB14 HS 001 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1996-12-10 | 15:00 | A. Formella | RADIO-TRACER: Ein Simulationswerkzeug für die mobile Telekommunikation | 45 - FB14 R.001 | Presentation | | |||||
|
|
| | |||||||||
| 1996-12-09 | 11:00 | D. Wodtke | Modellbildung und Architektur von verteilten Workflow-Management-Systemen | 45 - FB14 001 | Promotionskolloquium | | |||||
| 1996-12-09 | 14:15 | Jakob Lyng Petersen | Large Automatic Verification of a Control Program for a Railway Interlocking System | 45 - FB14 528 | Talk | | |||||
|
|
| | |||||||||
| 1996-12-06 | 17:00 | F. Duzaar | Minimierung konform invarianter Energien in Homotopieklassen | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 1996-12-05 | 16:00 | Jan Lerner | Anaphern bei VP-Ellipsen | 17.3 - Computerlinguistik Seminarraum, EG | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 1996-12-04 | 11:30 | Joerg Zeyer | Eine Beobachtungslogik für Module | 46.1 - MPII 024 | AG2 Seminar | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1996-11-28 | 16:00 | Reinhard Muskens | DYNAMIC TYPE LOGICS AND THE SEMANTICS OF PROGRAMMING | 17.3 - Computerlinguistik Seminarraum, EG | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 1996-11-26 | 16:00 | M. Bauer | Ein evidenztheoretischer Ansatz zur Planerkennung | 46.1 - MPII HS 019 | Promotionskolloquium | | |||||
| 1996-11-26 | 16:00 | Paolo Traverso | Technology transfer and research projects at IRST | 43.1 - DFKI Raum 1.01 | DFKI-Kolloquium | | |||||
|
|
| | |||||||||
| 1996-11-25 | 15:00 | Andrew Morris | Human and Machine Idetification of Transitional Speech Segments | 17.2 - Computerlinguistik Raum 5.09 | | ||||||
|
|
| | |||||||||
| 1996-11-24 | 16:30 | W. Maass | Von visuellen Daten zu inkrementellen Wegbeschreibungen in dreidimensionalen Umgebungen: Das Modell eines kognitiven Agenten | 45 - FB14 R.001 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1996-11-22 | 11:00 | G. Sander | Visualisierungstechniken für den Compilerbau | 45 - FB14 HS003 | Informatik-Kolloquium | | |||||
| 1996-11-22 | 15:00 | Dr. Guido Kanschat | Adaptive finite Elemente Verfahren für große Systeme von PDE'S | 45 - FB14 Hörsaal 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1996-11-19 | 16:15 | Bjoern Victor | Constraints as Processes (enhanced version) | 46.1 - MPII Hörsaal 019 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1996-11-15 | 14:00 | Dr. Brian Drabble | Intelligent Planning: Putting Planning to Work | 43.1 - DFKI Seminarraum 1.01 | DFKI-Kolloquium | | |||||
| 1996-11-15 | 15:00 | Dr. Ferri Abolhassan | Vertikalisierung in der Softwareindustrie, Chancen und Strategien für Anwendungssoftware | 45 - FB14 Hörsaal 001 | Informatik-Kolloquium | | |||||
| 1996-11-15 | 17:00 | E. Fouvry | Sur les nombres premiers de Gauss | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 1996-11-13 | 11:30 | Tim Fernando | Probabilistic reasoning without numbers | 46.1 - MPII 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1996-11-12 | 16:00 | Leon van der Torre | The different faces of defeasibility in defeasible deontic logic | 46.1 - MPII 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1996-11-11 | 16:00 | M. Saidi | 'Etale coverings and semi-stable reduction of curves | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 1996-11-08 | 17:00 | E. Tyrtyshnikov | Mosaic - skeleton approximation and applications to numerical problems | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 1996-11-05 | 16:15 | Bernd Ingo Dahn | Computergestuetzte Beweise in der Theorie verbandsgeordneter Gruppen | 46.1 - MPII 019 | Logik-Seminar | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1996-10-29 | 16:00 | Alessandro Coglio | The Control Component of OMRS: Resolution as a Case Study | 46.1 - MPII 019 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1996-10-25 | 11:00 | Gerald Penn | Multiple WH-Fronting and Clitic Placement: Evidence from Serbo-Croatian | 17.3 - Computerlinguistik Seminarraum EG | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 1996-10-16 | 10:45 | Yongge Wang | Randomness and Complexity | 46.1 - MPII 023 | AG2 Seminar | | |||||
|
|
| | |||||||||
| 1996-10-15 | 11:00 | Dr. David R. Traum | A computational theory of grounding in NL conversation | 43.1C +1.01 | DFKI-Kolloquium | | |||||
| 1996-10-15 | 14:00 | Prof. E. Bruce Spencer | Minimal Binary Resolution Trees | 43.1 - DFKI 1.01 | DFKI-Kolloquium | | |||||
|
|
| | |||||||||
| 1996-10-08 | 16:15 | Luca Vigano | Implementing Modal and Relevance Logics in a Logical Framework | 46.1 - MPII 019 | AG2 Seminar | | |||||
|
|
| | |||||||||
| 1996-10-02 | 10:45 | Witold Charatonik | Solving Set Constraints with Intersection | 46.1 - MPII 023 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1996-10-01 | 16:15 | Renate Schmidt | Resolution is a Decision Procedure for Many Propositional Modal Logics | 46.1 - MPII 019 | AG2 Seminar | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1996-09-30 | 14:15 | Benno Stein | Konfigurierung technischer Systeme | 45 - FB14 0.15 | DFKI-Kolloquium | | |||||
|
|
| | |||||||||
| 1996-09-25 | 10:45 | Andreas Podelski | Towards Verification and Debugging of Concurrent Constraint Programs through Abstract Interpretation with Set Constraints (Part II) | 46.1 - MPII 023 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1996-09-18 | 10:45 | Andreas Podelski | Towards Verification and Debugging of Concurrent Constraint Programs through Abstract Interpretation with Set Constraints | 46.1 - MPII 023 | AG2 Seminar | | |||||
|
|
| | |||||||||
| 1996-09-12 | 15:00 | Dr. Steven Abney | Stochastische Attribute-Value Grammatiken | 43.1C +1.01 | DFKI-Kolloquium | | |||||
|
|
| | |||||||||
| 1996-09-09 | 14:00 | Dan Sahlin | The concurrent functional programming language Erlang - An Overview | FB14/45 528 | Talk | | |||||
|
|
| | |||||||||
| 1996-09-04 | 10:00 | K.-P. Gapp | Ein Objektlokalisationssystem in dreidimensionalen Umgebungen - Formalisierung, Implementierung und empirische Validierung | FB14/45 0.01 | Promotionskolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 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 | | |||||