MPI-INF Logo
Campus Event Calendar

6. Event History - 1. Date and Time - 1. for All AGs

 



Previous Page | Next Page | Expand All | Collapse All

DateTimeSpeakerEvent, Title, TopicBuilding, RoomEvent Type
Hide details for February 1999February 1999
Hide details for 26 - Friday26 - Friday
1999-02-2611:00Zeev NutovMader's Critical Cycle Theorem for k-Connected Graphs and its ConsequencesMPI
007
SIG Meeting
Hide details for 24 - Wednesday24 - Wednesday
1999-02-2411:00Jens EcksteinEchtzeitfaehige Kollisionserkennung fuer Virtual Reality Anwendungen45 - FB14
Raum o16
Promotionskolloquium
1999-02-2411:15Javier EsparzaVerification of Broadcast Protocols46.1
024
AG2 Working Group Seminar
1999-02-2411:15Javier Esparza:Verification of Broadcast Protocols46.1 - MPII
Raum 024
AG2 Working Group Seminar
1999-02-2413:30Eljas Soisalon-SoininenRecovery methods for search structuresMPI
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Tuesday23 - Tuesday
1999-02-2316:00Susanna KuschertDynamic Meaning and Accomodation45 - FB14
HS 001
Promotionskolloquium
Hide details for 22 - Monday22 - Monday
1999-02-2216:00Daniel KästnerA Retargetable Framework for DSP-Analyzes and Optimizations45
015
Seminar des Graduiertenkollegs
Hide details for 19 - Friday19 - Friday
1999-02-1911:00Steve SeidenIs 2.5 a lower bound for the page replication problem?MPI
007
SIG Meeting: Approx+Online
1999-02-1913:30Andreas Crauser et al.External Graph Algorithms, see http://www.mpi-sb.mpg.de/units/ag1/extcomp.htmlMPI
007
SIG Meeting
1999-02-1916:00Dennis ShashaAn Attribute Management System45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 18 - Thursday18 - Thursday
1999-02-1813:30Edgar RamosSIG-CG: Divide-and-conquer computation of segment intersections
usual
SIG Meeting
1999-02-1816:00Dr. Susanne AlbersIntegriertes Prefetching und Caching in Magnetplattensystemen45 - FB14
HS 003
Antrittsvorlesung
Hide details for 17 - Wednesday17 - Wednesday
1999-02-1713:30Sean MatthewsLogical Frameworks und nicht-klassische Logiken
46.1 - MPII
Raum 22
Habilitationsvortrag und Kolloquium
1999-02-1715:00Dr. M. KohlhaseNo Title45 - FB14
HS 001
Habilitationsvortrag und Kolloquium
1999-02-1717:00Petra MutzelZeichnen von Diagrammen - Theorie und Praxis45
HS 001
Antrittsvorlesung
Hide details for 16 - Tuesday16 - Tuesday
1999-02-1616:00Achim KraissHierarchische Speicherverwaltung fuer Informationssysteme mit Tertiaerspeicher45 - FB14
HS 003
Promotionskolloquium
Hide details for 12 - Friday12 - Friday
1999-02-1211:00Klaus JansenA linear time approximation scheme for job shop schedulingMPI
007
SIG Meeting
1999-02-1214:00Prof. Wolfram DeckerInvariantentheorieBau 27.2
Hörsaal II
Lecture
1999-02-1216:00Dr. Philippe ClaussMathematical Tools for Analyzing and Optimizing Memory Behavior45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 11 - Thursday11 - Thursday
1999-02-1113:30N.N.Algorithm Libraries - TBA46
024
SIG Meeting
1999-02-1115:00Jop SibeynSortieren: wann geht es schneller?Informatik
001
Antrittsvorlesung
1999-02-1116:00Dr. Heiko SchulzEin a-posteriori Fehlerschätzer für direkte Randelementmethoden36 - Informatik
HS U 12
Mathematisches Kolloquium
Hide details for 10 - Wednesday10 - Wednesday
1999-02-1011:15Wolfgang HeydrichTheory of Mutuality46.1
024
Logik-Seminar
1999-02-1013:30Seok-Hee HongSymmetric Drawings of Series Parallel Digraphs46
024
AG1 Mittagsseminar
1999-02-1014:00Prof. Klaus P. JantkeMeme Media - Prinzipien und Implementierungen
Geb. 43.1
Turing/1.01
DFKI-Kolloquium
Hide details for 9 - Tuesday9 - Tuesday
1999-02-0916:00Dr. Arno FormellaTornado Codes45 - FB14
001
Antrittsvorlesung
1999-02-0916:15Julian RichardsonProof Planning in Higher-Order Logic with LambdaClam46.1
024
Logik-Seminar
Hide details for 8 - Monday8 - Monday
1999-02-0813:30Peter EadesPlanar Straight-line Drawings of Layered Digraphs46
024
AG1 Mittagsseminar
1999-02-0814:00Prof. Strittmatter u.a.Computerunterstuetztes Lernen in Schule, Hochschule und Weiterbildung
Geb. 10 EG
Sitzungssaal der Philos. Fak.
Presentation
Hide details for 5 - Friday5 - Friday
1999-02-0514:15VariousAspects of External Computing. See: http://www.mpi-sb.mpg.de/units/ag1/extcomp.htmlMPI
007
SIG Meeting
1999-02-0516:00C. MohanLotus Domino/Notes: First Semi-Structured DBMS of the World
45 - FB14
001
Informatik-Kolloquium
Hide details for 4 - Thursday4 - Thursday
1999-02-0413:30Thomas BuchheitSIG CG: Surface reconstruction with Voronoi-diagrams46
007
SIG Meeting
Hide details for 3 - Wednesday3 - Wednesday
1999-02-0311:15Andreas HecklerAlgebrenverpackung und ihre Anwendung als State-as-algebra-Ansatz46.1
024
AG2 Working Group Seminar
1999-02-0313:00Matthias BuckSimulation interaktiv bewegter Objekte mit HinderniskontaktenGeb. 45
Seminarraum 015
Promotionskolloquium
1999-02-0313:30Matthias RareyFeature Trees: A new molecular similarity measure based on tree matching46
024
AG1 Mittagsseminar
Hide details for 2 - Tuesday2 - Tuesday
1999-02-0214:00Moderator Prof. R. WilhelmSchwerpunkte in Forschung und LehreGeb. 45
Hörsaal 1
Informatik-Kolloquium
Hide details for 1 - Monday1 - Monday
1999-02-0116:15Rudolf FleischerOnline-AlgorithmenMPI
024
Antrittsvorlesung
Hide details for January 1999January 1999
Hide details for 29 - Friday29 - Friday
1999-01-2911:00John PotterTOWARDS MODULAR OBJECTS43.1 - DFKI
Turing (1.01)
DFKI-Kolloquium
1999-01-2911:00Thomas ZieglerThe Blossom Shrinking Algorithm for Matching (OPTIMIZATION group meeting)MPI
007
Meeting
1999-01-2917:00Renate TobiesMathematiker und Mathematik in Nazi-Deutschland27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 25 - Monday25 - Monday
1999-01-2516:00Piotr KrystaApproximation Algorithms via Iterative Rounding45
015
Seminar des Graduiertenkollegs
Hide details for 22 - Friday22 - Friday
1999-01-2211:00Gerhard TrippenThe localization problem in graphs -- DiplomarbeitMPI
022
SIG Meeting: Approx+Online
1999-01-2213:30Mark ZiegelmannSIG Computational Geometry: External Memory Algorithms46
007
SIG Meeting
1999-01-2213:30ua. Mark ZiegelmanSIG external computing. See http://www.mpi-sb.mpg.de/units/ag1/extcomp.html46
007
SIG Meeting
Hide details for 20 - Wednesday20 - Wednesday
1999-01-2011:15Margus VeanesOn the guarded fragment46.1
024
MPI-Seminar
Hide details for 18 - Monday18 - Monday
1999-01-1816:00Peter-Michael SeidelVariable position rounding45
015
Seminar des Graduiertenkollegs
Hide details for 13 - Wednesday13 - Wednesday
1999-01-1315:15Horst Hischer"Fundamentale Ideen" und "Historische Verankerung"27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 11 - Monday11 - Monday
1999-01-1113:00-group meeting46.1
024
AG1 Group Meeting
1999-01-1116:00Stefan FunkeFiltering Techniques for Geometric Algorithms45
015
Seminar des Graduiertenkollegs
Hide details for 8 - Friday8 - Friday
1999-01-0811:00.Approximation algorithms and optimization group meeting46
007
Meeting
1999-01-0813:30Crauser and SandersAspects of External Computing46
007
Meeting
Hide details for 7 - Thursday7 - Thursday
1999-01-0711:00NNSoftware Libraries: Directions of LEDA, CGAL, AGD, ...46
007
SIG Meeting
1999-01-0713:30Edgar RamosComputational GeometryMPII
007
SIG Meeting
Hide details for 6 - Wednesday6 - Wednesday
1999-01-0609:15Regina BruderStrategien zur Entwicklung von Problemlösekonzepten im MathematikunterrichtGeb. 27.1
HS IV
Mathematisches Kolloquium
1999-01-0611:15Bernd ZimmermanmProblemorientierung als eine wichtige Leitidee für den Mathematikunterricht27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
1999-01-0613:30Joachmi ZieglerKaratsuba Squaring
024
AG1 Mittagsseminar
1999-01-0615:15Rudolf vom HofeEntdeckendes Lernen im computergestützten Analysisunterricht27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 5 - Tuesday5 - Tuesday
1999-01-0513:30Rudolf Fleicher and NNAlgorithm Engineering: Experimental Methodology; (Coding Tricks)46
007
SIG Meeting
Hide details for December 1998December 1998
Hide details for 23 - Wednesday23 - Wednesday
1998-12-2311:30Thomas KasperA Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming46.1 - MPII
R 024
Promotionskolloquium
Hide details for 22 - Tuesday22 - Tuesday
1998-12-2211:00T. ChadzelekAnalytische Maschinen45 - FB14
Seminarraum 015
Promotionskolloquium
Hide details for 21 - Monday21 - Monday
1998-12-2113:30Jop SibeynExternal Connected Components46
024
AG1 Mittagsseminar (own work)
1998-12-2115:00E. StoppNat"urlichsprachliche Dialoge mit mobilen Robotern auf der Basis einer ressoucenadaptiven Referenzsemantik r"aumlicher Umgebungen45 - FB14
HS 001
Promotionskolloquium
Hide details for 18 - Friday18 - Friday
1998-12-1811:00Zeev NutovSpecial Interest Group on Approximation and Online Algorithms46.1 - MPII
007
SIG Meeting: Approx+Online
1998-12-1814:00Birgit PfitzmannDie Geschichte der heutigen Kryptographie27.2 (Hörsaalgebäude Mathematik)
Hörsaal II
Lecture
Hide details for 17 - Thursday17 - Thursday
1998-12-1713:30geometry peopleSIG Computational Geometry - first meeting46.1
007
SIG Meeting
Hide details for 16 - Wednesday16 - Wednesday
1998-12-1613:30Peter SandersFast Priority Queues for Cached Memory46
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Tuesday15 - Tuesday
1998-12-1516:15Markus WenzelIsar -- Intelligible semi-automated reasoning46.1
024
Logik-Seminar
Hide details for 14 - Monday14 - Monday
1998-12-1413:30Christine RübExperiences with random number generators for the normal distribution46
024
AG1 Mittagsseminar
1998-12-1416:00Friedrich EisenbrandOn the Complexity of the Elementary closure of Polyhedra45
015
Seminar des Graduiertenkollegs
Hide details for 11 - Friday11 - Friday
1998-12-1111:00AG1+??Optimization Group Meeting46
007
Meeting
1998-12-1113:30noneASPECTS OF EXTERNAL COMPUTING46
007
Meeting
1998-12-1116:00Prof. Günter SchmidtAblaufplanung mit diskontinuierlichen Maschinenverfügbarkeiten45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 10 - Thursday10 - Thursday
1998-12-1013:00all participantsAlgorithm Libraries and Engineering: Perspectives for Libraries46
024
SIG Meeting
1998-12-1013:00D. DenglerDeduktive Generierung von adaptiven Pl"anen mit Kontrollstrukturen45 - FB14
HS 003
Promotionskolloquium
1998-12-1015:00Ludek KuceraFully adaptive circuit switching46
024
AG1 Mittagsseminar
Hide details for 9 - Wednesday9 - Wednesday
1998-12-0911:15Miroslava TzakovaTableau Systems for Hybrid Logics46.1
024
AG2 Working Group Seminar
1998-12-0913:30Jordan GergovAlgorithms for Compile-Time Memory Optimization46.1
024
AG1 Mittagsseminar
Hide details for 8 - Tuesday8 - Tuesday
1998-12-0814:00Ulrich FurbachDeduktion und Modellgenerierung43.1 - DFKI
Raum Turing (1.01)
DFKI-Kolloquium
Hide details for 7 - Monday7 - Monday
1998-12-0713:30-group meeting46.1
024
AG1 Group Meeting
1998-12-0716:00Mark ZiegelmannThe Constrained Shortest Path Problem45
015
Seminar des Graduiertenkollegs
Hide details for 4 - Friday4 - Friday
1998-12-0416:00Prof. Dr. Eberhard ZehendnerMethoden der Alias- und Datenabhängigkeitsanalyse45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 2 - Wednesday2 - Wednesday
1998-12-0213:30Manfred PadbergAlmost Perfect Matrices and Graphs46.1
024
AG1 Mittagsseminar
Hide details for 1 - Tuesday1 - Tuesday
1998-12-0115:10Karel OlivaMeasuring Computationally Relevant Word Order Complexity17.2 - Computerlinguistik
Seminarraum
Computerlinguistisches Kolloquium
1998-12-0113:30noneASPECTS OF EXTERNAL COMPUTING46
007
AG1 Group Meeting
1998-12-0114:00Ed M. ReingoldMajority and Chip Problems46.1
024
AG1 Mittagsseminar
Hide details for November 1998November 1998
Hide details for 30 - Monday30 - Monday
1998-11-3013:30Stefan Burkhardtq-gram Based DNA Database Searching Using a Suffix Array46
024
AG1 Mittagsseminar
Hide details for 27 - Friday27 - Friday
1998-11-2716:00Dr. Bernd SchmidtStrategische Grundlagen bei der Entwicklung eines in
der Praxis einsetzbaren Workflow Systems
45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 25 - Wednesday25 - Wednesday
1998-11-2513:45Hans-Peter LenhofEffiziente Algorithmen f"ur das Protein-Docking-Verfahren45
001
Habilitationsvortrag und Kolloquium
Hide details for 24 - Tuesday24 - Tuesday
1998-11-2416:15Peter ReveszConstraint Data Bases46.1
024
Logik-Seminar
Hide details for 23 - Monday23 - Monday
1998-11-2313:30Jens StoyeSimple and efficient methods to find tandem repeats46
024
AG1 Mittagsseminar
1998-11-2316:00Christoph HundackOnline Algorithms to Determine Large Portfolios45
015
Seminar des Graduiertenkollegs
1998-11-2316:15Prof. Dr. Hidenori KatsuradaDirichlet Series for Siegel Modular Forms27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 20 - Friday20 - Friday
1998-11-2011:15Tiziana MargariaVerifikation parametrischer Systeme mit dem MOSEL-Toolset46.1
024
Logik-Seminar
1998-11-2016:00Dr. Bernd SchmidtStrategische Grundlagen bei der Entwicklung eines in der Praxis einsetzbaren Workflow Systems45 - FB14
t.b.a.
Informatik-Kolloquium
Hide details for 19 - Thursday19 - Thursday
1998-11-1910:43Wolfgang Menzel & Ingo SchroederEliminatives Dependenzparsing mit bewerteten Constraints17.2 - Computerlinguistik
Seminarraum
Computerlinguistisches Kolloquium
1998-11-1913:30C.R. SubramanianFinding Paths and Cycles in Graphs46
024
AG1 Advanced Mini-Course
1998-11-1916:15Bernhard SteffenEigenschaftsorientierte Programmexpansion46.1
023
MPI-Kolloquium
Hide details for 18 - Wednesday18 - Wednesday
1998-11-1811:15Viorica Sofronie-StokkermansOn resolution-based decision methods for varieties of distributive lattices with operators46.1
024
AG2 Working Group Seminar
1998-11-1813:30Steve SeidenOnline Scheduling46
024
AG1 Mittagsseminar
1998-11-1815:30Stefan SchirraCGAL, eine Bibliothek generischer geometrischer AlgorithmenGebäude 45
HS 001
Habilitationsvortrag und Kolloquium
Hide details for 17 - Tuesday17 - Tuesday
1998-11-1713:30C.R. SubramanianFinding paths and cycles in graphs.46
024
AG1 Advanced Mini-Course
Hide details for 16 - Monday16 - Monday
1998-11-1611:15Warwick HarveyConstraint Representation for Propagation45 - FB14
528
Talk
1998-11-1613:30Thomas ZieglerThe Constrained Crossing Minimization Problem - A First Approach46
024
AG1 Mittagsseminar
Hide details for 13 - Friday13 - Friday
1998-11-1316:00David MelskiInterprocedural Path Profiling45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 12 - Thursday12 - Thursday
1998-11-1213:30C.R. SubramanianFinding Paths and Cycles in Graphs46
024
AG1 Advanced Mini-Course
Hide details for 11 - Wednesday11 - Wednesday
1998-11-1113:30Walter DidimoQuasi-Upward Planarity46.1
024
AG1 Mittagsseminar
Hide details for 10 - Tuesday10 - Tuesday
1998-11-1013:30C.R. SubramanianFinding paths and cycles in graphs.46
024
AG1 Advanced Mini-Course
Hide details for 9 - Monday9 - Monday
1998-11-0916:00Frank SchulzAbsorbierende Datenstrukturen und Anwendungen45
015
Seminar des Graduiertenkollegs
Hide details for 6 - Friday6 - Friday
1998-11-0617:15Uwe BrahmThis is a test entry - please ignore46.1 - MPII
Lecture
Hide details for 4 - Wednesday4 - Wednesday
1998-11-0411:15Yannis DimopoulosPlanning with Graphs46.1
024
AG2 Working Group Seminar
1998-11-0413:30Rudolf FleischerFUN with implementing algorithms46
024
AG1 Mittagsseminar
Hide details for 3 - Tuesday3 - Tuesday
1998-11-0314:00Frank PadbergSchätzung der Erfolgsaussichten, der Dauer und der Kosten von Softwareprojekten mit strengen wahrscheinlichkeitstheoretischen Methoden45 - FB14
HS 001
Promotionskolloquium
1998-11-0316:15Jens KnoopOptimierung paralleler Programme46.1
024
Logik-Seminar
Hide details for 2 - Monday2 - Monday
1998-11-0213:30-group meeting46.1
024
AG1 Group Meeting
1998-11-0214:00Grigoris AntoniouWissensrepräsentation und Inferenz mit Standardannahmen43.1 - DFKI
Raum Turing (1.01)
DFKI-Kolloquium
1998-11-0216:00Göran SundholmACT, OBJECT AND TRACE: the epistemological role of logic43.1 - DFKI
Turing
Talk
1998-11-0216:00Ulrich MeyerTime-Independent Gossiping on Full-Port Tori45
015
Seminar des Graduiertenkollegs
Hide details for October 1998October 1998
Hide details for 28 - Wednesday28 - Wednesday
1998-10-2811:15Uwe WaldmannExtending Reduction Orderings to ACU-Compatible Reduction Orderings46.1
024
AG2 Working Group Seminar
1998-10-2813:30Joachim ZieglerFast Recursive Division46.1
24
AG1 Mittagsseminar
Hide details for 27 - Tuesday27 - Tuesday
1998-10-2714:15Dr. Henry KautzCompute Intensive Methods in AI43.1 - DFKI
Raum Turing (1.01)
DFKI-Kolloquium
Hide details for 26 - Monday26 - Monday
1998-10-2614:00Joachim P. WalserDomain-Independent Local Search for Linear Integer Optimization45 - FB14
HS 001
Promotionskolloquium
1998-10-2616:00Susanne WetzelLattice Basis Reduction Algorithms and their Applications45 - FB14
016
Promotionskolloquium
Hide details for 21 - Wednesday21 - Wednesday
1998-10-2111:15Andreas NonnengartDeductive Model Checking for Hybrid Systems46.1
024
AG2 Working Group Seminar
Hide details for 20 - Tuesday20 - Tuesday
1998-10-2014:00Jeffrey TeichMultiple Issue Auction and Market Algorithms for the World Wide Web43.1 - DFKI
Raum Turing (1.01)
DFKI-Kolloquium
Hide details for 19 - Monday19 - Monday
1998-10-1916:00Stephan Thesing``NetBSD - A portable, highly interoperable, freely available and redistributable UNIX-like OS''45
015
Seminar des Graduiertenkollegs
Hide details for 15 - Thursday15 - Thursday
1998-10-1516:15Pierangelo Dell'AcquaCombining introspection and communication with rationality and reactivity in agents46.1
024
AG2 Working Group Seminar
Hide details for 13 - Tuesday13 - Tuesday
1998-10-1316:15Thomas HillenbrandWALDMEISTER46.1
024
Logik-Seminar
Hide details for 12 - Monday12 - Monday
1998-10-1214:00Matthias KluschInformation Agents and Matchmaking on the Internet43.1 - DFKI
Raum Turing (1.01)
DFKI-Kolloquium
Hide details for 7 - Wednesday7 - Wednesday
1998-10-0715:00Dr. Peter BroesslerErfahrungen mit dem Wissensmanagement eines Softwarehauses46.1 - MPII
023
Informatik-Kolloquium
Hide details for 5 - Monday5 - Monday
1998-10-0513:30-group meeting46.1
024
AG1 Group Meeting
Hide details for September 1998September 1998
Hide details for 29 - Tuesday29 - Tuesday
1998-09-2916:15Giovanni SambinIntroduction to Basic Logic46.1
024
Logik-Seminar
Hide details for 24 - Thursday24 - Thursday
1998-09-2416:15Manoranjan SatpathySome results on the decidability of duration calculus under synchronous interpretation46.1
024
AG2 Working Group Seminar
Hide details for 23 - Wednesday23 - Wednesday
1998-09-2311:15Maurice MargensternThe race to very small universal DNA-computing systems: results and methods46.1
024
MPI-Seminar
1998-09-2315:00Andreas PodelskiAlte Resultate aus der Theorie der endlichen Automaten46.1
024
Antrittsvorlesung
Hide details for 16 - Wednesday16 - Wednesday
1998-09-1611:15Friedrich EisenbrandA new upper bound on the depth of inequalities for polytopes in the 0/1 cube46.1
024
AG2 Working Group Seminar
Hide details for 14 - Monday14 - Monday
1998-09-1413:30Tamal K. DeyReconstructing curves with endpointsGeb. 46.1
024
AG1 Mittagsseminar
Hide details for 8 - Tuesday8 - Tuesday
1998-09-0814:00Norman FooLOCAL EXTEND IN DIAGRAMS43.1 - DFKI
Turing (1.01)
DFKI-Kolloquium
Hide details for August 1998August 1998
Hide details for 28 - Friday28 - Friday
1998-08-2815:00Dr. Bruce D. ShriverCore Technologies in the Age of the WEB27 - Hörsaal Gebäude
Hörsaal IV
Informatik-Kolloquium
Hide details for 27 - Thursday27 - Thursday
1998-08-2713:30Zeev NutovA 2-Level Cactus-Tree Model for Minimum and Minimum+1 Edge-Cuts in a Graph and its Incremental Maintenance46.1
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Wednesday26 - Wednesday
1998-08-2613:30Alexander K. KelmansSpanning Trees of Graphs and Related TopicsGeb. 46 (MPII)
SR 24
Talk
Hide details for 19 - Wednesday19 - Wednesday
1998-08-1911:15Peter SandersModels for Memory Hierarchies and Parallism between Theory and Practice46.1
024
MPI-Seminar
Hide details for 13 - Thursday13 - Thursday
1998-08-1314:00Michael ThielscherTheoretische Aspekte in der kognitiven Robotik:
Der Fluentkalkuel zur Loesung des Rahmen- und Ramifikationsproblems
43.1 - DFKI
Turing (1.01)
DFKI-Kolloquium
Hide details for 10 - Monday10 - Monday
1998-08-1013:30Leonid KhachiyanOn Generating All Minimal True and Maximal False Vectors of Monotone Boolean Functions46.1 (MPII)
024
AG1 Seminar
Hide details for 5 - Wednesday5 - Wednesday
1998-08-0511:15Richard BoothThe Ent Model of Belief46.1
024
AG2 Working Group Seminar
Hide details for 4 - Tuesday4 - Tuesday
1998-08-0416:15Rudolf FleischerAlternative Models of Computation46.1
024
MPI-Seminar
Hide details for 3 - Monday3 - Monday
1998-08-0313:30--46.1
024
AG1 Group Meeting
Hide details for July 1998July 1998
Hide details for 30 - Thursday30 - Thursday
1998-07-3013:30Edgar RamosExact and Approximate Nearest Neighbor Queries in Euclidean Space46.1
024
AG1 Advanced Mini-Course
1998-07-3014:00Ulf HermjakobLearning Parse and Translation Decisions From Examples With Rich Context43.1 - DFKI
+1.01 "Turing"
Talk
Hide details for 29 - Wednesday29 - Wednesday
1998-07-2913:30Leszek GasieniecAlmost optimal fully compressed pattern matching46.1
024
AG1 Mittagsseminar
Hide details for 28 - Tuesday28 - Tuesday
1998-07-2816:15Martin SulzmannPolymorphie und Constraints in Hindley/Milner Typsystemen46.1
024
Logik-Seminar
Hide details for 24 - Friday24 - Friday
1998-07-2415:00Dr. Michael WaidnerSichere Protokolle für den Vertragsabschluss45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 23 - Thursday23 - Thursday
1998-07-2313:30Edgar RamosExact and Approximate Nearest Neighbor Queries in Euclidean Space46.1
024
AG1 Advanced Mini-Course
1998-07-2316:00Wojciech SkutChunk Tagging
(Shallow Parsing with Markov Models)
17.2 - Computerlinguistik
EG, Seminarraum
Computerlinguistisches Kolloquium
Hide details for 22 - Wednesday22 - Wednesday
1998-07-2211:15Patrick MaierCompositional Hardware Verification using Abstractions46.1
024
AG2 Working Group Seminar
1998-07-2213:30Hubert de FraysseixOn Orientations and Connectivity of Planar Graphs46.1
024
AG1 Mittagsseminar
1998-07-2216:00Martin M"ullerSet-based Failure Diagnosis for Concurrent Constraint Programming45 - FB14
Seminarraum 013
Promotionskolloquium
Hide details for 21 - Tuesday21 - Tuesday
1998-07-2113:30Mario SzegedyThe theory of Probabilistically Checkable Proofs; Non-approximability results for NP optimization problems (a survey)46.1.
024
AG1 Seminar
1998-07-2116:00Edgar RamosExact and Approximate Nearest Neighbor Queries in Euclidean Space46.1
024
AG1 Advanced Mini-Course
Hide details for 20 - Monday20 - Monday
1998-07-2016:00Kurt MehlhornFehlertolerante Quantencomputer46.1
24
AG1 Seminar
1998-07-2016:00Rene WeiskircherSPQR-Trees and planar embeddingsGeb. 45
016
Seminar des Graduiertenkollegs
Hide details for 17 - Friday17 - Friday
1998-07-1717:00Vladimir M"ullerOrbits, weak orbits and local capacity of operators27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 16 - Thursday16 - Thursday
1998-07-1613:30Edgar RamosExact and Approximate Nearest Neighbor Queries in Euclidean Space46.1
024
AG1 Advanced Mini-Course
1998-07-1616:00Stefan MuellerGerman Separable Prefix Verbs17.2 - Computerlinguistik
EG, Seminarraum
Computerlinguistisches Kolloquium
Hide details for 15 - Wednesday15 - Wednesday
1998-07-1511:15Sabine GlesnerUsing Constraint Programming to Implement Many-Sorted Natural Semantics46.1
024
Logik-Seminar
1998-07-1513:30Tuomo TakkulaCrew Scheduling Problems46.1
024
AG1 Mittagsseminar
Hide details for 14 - Tuesday14 - Tuesday
1998-07-1413:30Edgar RamosExact and Approximate Nearest Neighbor Queries in Euclidean Space46.1
024
AG1 Advanced Mini-Course
1998-07-1414:15Mateja JamnikCan Diagrammatic Reasoning be Automated?46.1
023
AG2 Working Group Seminar
1998-07-1416:00Daniel BobbertQuantenkryptographie46.1
022
AG1 Seminar
1998-07-1416:15Matthew BishopSelectively Instantiating Definitions in Automated Reasoning46.1
024
Logik-Seminar
Hide details for 13 - Monday13 - Monday
1998-07-1313:30Naveen GargA 1.5-approximation algorithm for multiway cutsMPI Informatik
024
AG1 Mittagsseminar
1998-07-1314:00Deepak KapurVerification of Arithmetic Hardware Circuits with an Induction Theorem Prover43.1 - DFKI
Turing (1.01)
DFKI-Kolloquium
Hide details for 9 - Thursday9 - Thursday
1998-07-0916:00Tom WasowFactors in Word Order Variation in English17.2 - Computerlinguistik
Seminarraum
Computerlinguistisches Kolloquium
Hide details for 7 - Tuesday7 - Tuesday
1998-07-0716:00Christian SohlerQuantenkomplexitätstheorie46.1
024
AG1 Seminar
Hide details for 6 - Monday6 - Monday
1998-07-0616:00Mark ZiegelmannI/O-efficient Computation of Trapezoidal Decompositions45
016
Seminar des Graduiertenkollegs
Hide details for 3 - Friday3 - Friday
1998-07-0317:00Daniel KastlerAlain Connes nichtkommutative Geometrie als gemeinsame Grundlage von Mathematik und Physik27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 2 - Thursday2 - Thursday
1998-07-0213:30Christine RübRandom Number Generators46.1
0.22
AG1 Advanced Mini-Course
1998-07-0216:00CJ RuppManaging information at linguistic interfaces17.2 - Computerlinguistik
Seminarraum
Computerlinguistisches Kolloquium
Hide details for June 1998June 1998
Hide details for 30 - Tuesday30 - Tuesday
1998-06-3013:30Christine RübRandom Number Generators46.1
0.24
AG1 Advanced Mini-Course
1998-06-3016:00Volker PriebeDer Faktorisierungs-Algorithmus von Shor46.1
022(!)
AG1 Seminar
1998-06-3016:15Julian RichardsonProof Planning with Schema Frameworks46.1
024
Logik-Seminar
Hide details for 27 - Saturday27 - Saturday
1998-06-2709:00Dr. M. HenzingerInformation Retrieval on the World Wide Web45 - FB14
HS001
Informatik-Kolloquium
1998-06-2710:30Dr. Xiaoyi JiangComputer Vision: Computer lernen die (dreidimensionale) Welt sehen45 - FB14
HS001
Informatik-Kolloquium
1998-06-2713:00Dr. Wolfgang EmmerichArchitekturen von Software-Entwicklungsumgebungen
mit OMG/CORBA und ODBMSs
45 - FB14
HS001
Informatik-Kolloquium
Hide details for 26 - Friday26 - Friday
1998-06-2610:30Dr. Klaus PohlProzessunterstuetzung im Requirements Engineering45 - FB14
HS001
Informatik-Kolloquium
1998-06-2613:00Dr. Philipp SlusallekHierarchische und bildbasierte Techniken in der Bildsynthese45 - FB14
HS001
Informatik-Kolloquium
1998-06-2614:30PD Dr. habil. Joerg GebhardtData Mining mit possibilistischen graphischen Modellen45 - FB14
HS001
Informatik-Kolloquium
1998-06-2616:30Dr. R. Haeb-UmbachHub4 -
Automatische Transkription von Nachrichtenshows
45 - FB14
HS001
Informatik-Kolloquium
Hide details for 25 - Thursday25 - Thursday
1998-06-2513:30Christine RübRandom Number Generators46.1
0.24
AG1 Advanced Mini-Course
Hide details for 23 - Tuesday23 - Tuesday
1998-06-2313:30Christine RübRandom Number Generators46.1
0.24
AG1 Advanced Mini-Course
1998-06-2316:00Thomas SchürgerDatenbanksuche mit dem Quantenrechner46.1
024
AG1 Seminar
Hide details for 18 - Thursday18 - Thursday
1998-06-1816:00Karel OlivaA Syntactic Structure for POG (Phenomena-oriented Grammar)17.2 - Computerlinguistik
Seminarraum, EG
Computerlinguistisches Kolloquium
Hide details for 17 - Wednesday17 - Wednesday
1998-06-1711:15Paola InverardiVerification and Analysis of Software Architectures46.1
024
AG2 Working Group Seminar
Hide details for 16 - Tuesday16 - Tuesday
1998-06-1616:00Sebastian SchöningQuantenschaltkreise und Quantenturingmaschine46.1
024
AG1 Seminar
Hide details for 13 - Saturday13 - Saturday
1998-06-1309:00Herr Dr. Wilhelm HasselbringEntwicklung von flexiblen Architekturen fuer kooperative Software-Systeme45 - FB14
HS 001
Informatik-Kolloquium
1998-06-1310:30Herr Dr. Georg PelzFormale Sprachen zur Beschreibung virtueller Prototypen
mechatronischer Systeme
45 - FB14
HS 001
Informatik-Kolloquium
1998-06-1313:00Herr Dr.-Ing. Sergej FatikowFlexible mikroroboterbasierte Montage45 - FB14
HS
Informatik-Kolloquium
Hide details for 12 - Friday12 - Friday
1998-06-1209:00Herr Dr. Karl RohrModellbasierte Analyse von Bildern und Bildfolgen45 - FB14
SR014
Informatik-Kolloquium
1998-06-1210:30Frau Dr. Linnhoff-PopienVerteilte Objekte in CORBA45 - FB14
HS 001
Informatik-Kolloquium
1998-06-1213:00Herr Dr. FröhlichDie Responsive Workbench:
Zweihändige Eingabe und Ausgabe für 2 Benutzer
45 - FB14
SR 014
Informatik-Kolloquium
1998-06-1214:30Herr Dr. Dietrich PaulusAktive Bildanalyse45 - FB14
SR 014
Informatik-Kolloquium
1998-06-1216:30Frau Dr. Anja FeldmannDas chaotische Internet: Messungen und Analyse45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 10 - Wednesday10 - Wednesday
1998-06-1011:15Nevin HeintzeLinear-Time Subtransitive Control-Flow Analysis46.1
024
Logik-Seminar
Hide details for 9 - Tuesday9 - Tuesday
1998-06-0916:00Norbert PoschadelDie Quanten-Fouriertransformation46.1
024
AG1 Seminar
Hide details for 8 - Monday8 - Monday
1998-06-0813:30-group meeting46.1
024
AG1 Group Meeting
1998-06-0814:15Klaus KursaweExploration von geometrischen Umgebungen mit Hindernissen46
024
AG1 Diplomandentreffen
1998-06-0816:00Stefan BurkhardtApproximate Search in DNA Databases45
016
Seminar des Graduiertenkollegs
Hide details for 4 - Thursday4 - Thursday
1998-06-0413:30Devdatt DubhashiConcentration of Measure for Computer Science Applications - Talagrand's Isopermetric Inequality46.1
024
AG1 Advanced Mini-Course
Hide details for 3 - Wednesday3 - Wednesday
1998-06-0311:15Andreas PodelskiAbstract Debugging of Programs over Pointer Structures46.1
024
AG2 Working Group Seminar
Hide details for 2 - Tuesday2 - Tuesday
1998-06-0213:30Devdatt Dubhashi Concentration of Measure for Computer Science Applications - Martingales and the Method of Bounded Differences (cont'd)46.1
024
AG1 Advanced Mini-Course
1998-06-0216:00Frank SchönQuantenrechner: Grundlagen der Komplexitätstheorie46.1
024
AG1 Seminar
Hide details for May 1998May 1998
Hide details for 29 - Friday29 - Friday
1998-05-2910:30Dr. Joerg HaakeKooperative Hypermediasysteme: Konzepte und Anwendungen45 - FB14
HS 001
Informatik-Kolloquium
1998-05-2917:00Prof. Dr. Klaus EckerRaumartige Hyperflächen in Lorentzmannigfaltigkeiten27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 28 - Thursday28 - Thursday
1998-05-2813:30Devdatt DubashiConcentration of Measure for Computer Science Applications - Lecture 1 : Martingales and the Method of Bounded Differences.46.1
024
AG1 Advanced Mini-Course
1998-05-2816:00Friederike MoltmannContext and Meaning17.3 - Computerlinguistik
Seminarraum
Computerlinguistisches Kolloquium
Hide details for 27 - Wednesday27 - Wednesday
1998-05-2711:15Nevin HeintzeSecurity Protocols: Models, Set Constraints, Electronic Commerce and Cryptographic Postage Indicia46.1
024
Logik-Seminar
Hide details for 26 - Tuesday26 - Tuesday
1998-05-2616:00Andreas KerzmannQuantencomputer46.1
024
AG1 Seminar
Hide details for 25 - Monday25 - Monday
1998-05-2516:00Daniel KästnerCode Generation for Digital Signal Processors45
016
Seminar des Graduiertenkollegs
Hide details for 20 - Wednesday20 - Wednesday
1998-05-2011:15Giorgio DelzannoConstraint logic programming and verification of concurrent systems: experimental results46.1
024
AG2 Working Group Seminar
Hide details for 19 - Tuesday19 - Tuesday
1998-05-1916:00Dr. M. KohlhaseAnwendungen der Deduktion höherer Stufe in der Mathematik und Logik45 - FB14
003
Vorstellungsvortrag für einen Habilitationsantrag
1998-05-1916:00Sven BeyerQuanteneffekte46.1
024
AG1 Seminar
Hide details for 18 - Monday18 - Monday
1998-05-1813:30Thomas Kasper Unifying Integer Programming and Finite Domain Constraint Programming46.1
024
MPI-Seminar
1998-05-1816:00Friedrich EisenbrandCutting Plane Proofs and Chvatal-Rank45
016
Seminar des Graduiertenkollegs
Hide details for 15 - Friday15 - Friday
1998-05-1510:00Markus SinnwellAdaptives Caching in verteilten Informationssystemen45 - FB14
SR 014
Promotionskolloquium
1998-05-1514:15Professor Dr. Shuo BaiA Logic of Security Protocol Verification36 - Informatik
Herbrandraum 222.2
Talk
1998-05-1515:00Prof. Dr. E. RahmHematoWork:
Ein wissensbasiertes Workflow-System für die verteilte Krebsbehandlung
45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 14 - Thursday14 - Thursday
1998-05-1415:30Joerg WuertzLösen kombinatorischer Probleme46.1 - MPII
024
Promotionskolloquium
Hide details for 13 - Wednesday13 - Wednesday
1998-05-1311:15Jop SibeynParallel and External List Ranking46.1
024
MPI-Seminar
Hide details for 12 - Tuesday12 - Tuesday
1998-05-1213:30Gerth S. BrodalFunctional Data Structures46.1
24
AG1 Advanced Mini-Course
1998-05-1216:00Volker PriebeMathematische Grundlagen der Quantenmechanik (II)46.1
024
AG1 Seminar
Hide details for 11 - Monday11 - Monday
1998-05-1116:15Michele BugliesiInterpretations of Objects and Object Types46.1
024
Logik-Seminar
Hide details for 7 - Thursday7 - Thursday
1998-05-0713:30Gerth S. BrodalFunctional Data Structures46.1
24
AG1 Advanced Mini-Course
Hide details for 6 - Wednesday6 - Wednesday
1998-05-0611:15Supratik MukhopadhyayReal-Time Systems are Constraint Logic Programs46.1
024
AG2 Working Group Seminar
1998-05-0613:30Jakob PichlmayrThe CrayT3E Computer in Garching46, MPI-building
main lecture hall
Lecture
Hide details for 5 - Tuesday5 - Tuesday
1998-05-0513:30Gerth S. BrodalFunctional Data Structures46.1
24
AG1 Advanced Mini-Course
1998-05-0516:00Volker PriebeMathematische Grundlagen der Quantenmechanik46.1
024
AG1 Seminar
Hide details for 4 - Monday4 - Monday
1998-05-0413:30-group meeting46.1
024
AG1 Group Meeting
1998-05-0414:00Rens BodCombining Linguistic and Statistical Information43.1 - DFKI
+1.01 (Turing)
Talk
1998-05-0414:15Martin NestPraxisnahe serielle und parallelisierte Verfahren zur Bestimmung der Schnittpunkte von Liniensegmenten in der Ebene46
24
AG1 Diplomandentreffen
Hide details for April 1998April 1998
Hide details for 30 - Thursday30 - Thursday
1998-04-3013:30Frank FollertGeometrische Optimierungsalgorithmen mit Anwendungen in der Planung stereotaktischer Operationen45 - FB14
SR 014
Promotionskolloquium
Hide details for 29 - Wednesday29 - Wednesday
1998-04-2911:15Solofo RamangalahyVerification, testing and games46.1
024
AG2 Working Group Seminar
Hide details for 27 - Monday27 - Monday
1998-04-2713:30Fachbereich Informatik-46
024
Miscellaneous
Hide details for 24 - Friday24 - Friday
1998-04-2415:00Prof. Michael FranzBeyond Java45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 16 - Thursday16 - Thursday
1998-04-1616:15Werner NuttEntscheidungsverfahren f"ur die "Aquivalenz von SQL-Anfragen mit Aggregat-Operatoren43.1 - DFKI
Vortragsraum TURING (1.01)
DFKI-Kolloquium
Hide details for 15 - Wednesday15 - Wednesday
1998-04-1511:15Manfred JaegerStochastic Programs46.1
024
AG2 Working Group Seminar
Hide details for 3 - Friday3 - Friday
1998-04-0313:30Christoph BurnikelInterval analysis yields efficient dynamic filters for computational geometry46.1
24
AG1 Mittagsseminar
Hide details for 1 - Wednesday1 - Wednesday
1998-04-0111:00Jaime G. CarbonellPowertools for Navigatiing in Cyberspace: Translingual Retrieval, Summarization, Event Tracking and Novelty Detection43.1 - DFKI
+1.01
DFKI-Kolloquium
Hide details for March 1998March 1998
Hide details for 30 - Monday30 - Monday
1998-03-3013:30Uwe BrahmIntroducing the improved web user interface for the Intranet working group publications database(s)46.1 - MPII
024
AG1 Mittagsseminar
Hide details for 25 - Wednesday25 - Wednesday
1998-03-2511:15Kurt MehlhornCurve and Surface Reconstruction from Point Samples46.1
024
AG2 Working Group Seminar
1998-03-2514:00Prof. Dr. Uri LeronMaking mathematical proofs communicate: Some lessons from good teachers and from computer science43.1 - DFKI
Turing (1.01)
DFKI-Kolloquium
Hide details for 20 - Friday20 - Friday
1998-03-2013:30Sean MatthewsLogical frameworks and generic proof development systems46.1
024
AG1 Mittagsseminar
Hide details for 19 - Thursday19 - Thursday
1998-03-1911:15Margus VeanesThe Relationship Between Second-Order Unification (SOU) and Simultaneous Rigid E-Unification (SREU)46.1
024
AG2 Working Group Seminar
1998-03-1913:30Venkatesh RamanParameterized Complexity, part II46.1
024
AG1 Advanced Mini-Course
Hide details for 18 - Wednesday18 - Wednesday
1998-03-1811:15Christoph MeyerUnification in Extensions of Shallow Equational Theories46.1
024
AG2 Working Group Seminar
1998-03-1813:30Knut ReinertRNA Sequence Structure Alignment46.1
24
AG1 Mittagsseminar
Hide details for 16 - Monday16 - Monday
1998-03-1614:15Martin ReinstädtlerDer Blocksorting-Algorithmus zur verlustfreien Datenkompression46
24
AG1 Diplomandentreffen
Hide details for 12 - Thursday12 - Thursday
1998-03-1211:15Margus VeanesOn Simultaneous Rigid E-Unification46.1
024
AG2 Working Group Seminar
1998-03-1213:30Venkatesh RamanParameterized Complexity46.1
024
AG1 Advanced Mini-Course
Hide details for 11 - Wednesday11 - Wednesday
1998-03-1111:15Luca ViganòIntroduction to security logics46.1
024
AG2 Working Group Seminar
Hide details for 10 - Tuesday10 - Tuesday
1998-03-1016:15Bernd FischerDeductive Component Retrieval: Concepts, Experiments, and Experiences46.1
024
Logik-Seminar
Hide details for 9 - Monday9 - Monday
1998-03-0913:30-group meeting46.1
024
AG1 Group Meeting
Hide details for 5 - Thursday5 - Thursday
1998-03-0513:30Peter SandersParallel Heuristic Search: Algorithms, Analysis and Applications - Part III46.1
024
AG1 Advanced Mini-Course
Hide details for 4 - Wednesday4 - Wednesday
1998-03-0411:15Jinzhao WuWell-Behaved Inference Rules in First Order Theorem Proving46.1
024
AG2 Working Group Seminar
1998-03-0413:30Prof. Sajal DasLocation Management Techniques in PCS Environment46.1
024
AG1 Mittagsseminar
1998-03-0416:15Gerhard SchellhornVerification of Abstract State Machines46.1
024
Logik-Seminar
Hide details for 3 - Tuesday3 - Tuesday
1998-03-0316:15Andreas NonnengartA Fixpoint Approach to Second-Order Quantifier Elimination46.1
024
Logik-Seminar
Hide details for 2 - Monday2 - Monday
1998-03-0216:00Christoph HundackOption Pricing45
015
Seminar des Graduiertenkollegs
Hide details for February 1998February 1998
Hide details for 26 - Thursday26 - Thursday
1998-02-2613:30Peter SandersParallel Heuristic Search: Algorithms, Analysis and Applications - Part II46.1
024
AG1 Advanced Mini-Course
Hide details for 25 - Wednesday25 - Wednesday
1998-02-2511:15Manfred SchrammSchließen mit Wahrscheinlichkeiten und maximaler Entropie: Theorie, Implementierung und Anwendung46.1
024
Logik-Seminar
1998-02-2516:00Dr. Yann BugeaudBounds for the solutions of classical Diophantine equations27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 24 - Tuesday24 - Tuesday
1998-02-2413:30Peter SandersParallel Heuristic Search: Algorithms, Analysis and Applications - Part I46.1
024
AG1 Advanced Mini-Course
Hide details for 20 - Friday20 - Friday
1998-02-2013:30Alexander MartinDecomposing Matrices into Blocks46
024
AG1 Seminar
1998-02-2015:00Prof. Dr. Thomas OttmannWie macht man ein multimediales Buch und wie kann man es nutzen ?45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 19 - Thursday19 - Thursday
1998-02-1917:00Prof. Dr. Attila Pethö$S$-ganze Punkte auf elliptischen Kurven und Fermatsche Tripelgleichungen27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 18 - Wednesday18 - Wednesday
1998-02-1811:15Javier EsparzaModel-Checking Pushdown Automata46.1
024
Logik-Seminar
Hide details for 16 - Monday16 - Monday
1998-02-1613:30Torben HagerupThe new max-flow algorithm of Goldberg and Rao46, MPI
024
AG1 Mittagsseminar
1998-02-1616:00Peter-Michael SeidelSchnelle Redundante Approximation von Reziproken45
015
Seminar des Graduiertenkollegs
1998-02-1616:00Peter-Michael SeidelSchnelle Redundante Approximation von Reziproken
Seminar des Graduiertenkollegs
Hide details for 12 - Thursday12 - Thursday
1998-02-1215:15Susumu NishimuraStatic Typing for Dynamic Messages46.1
019
Logik-Seminar
1998-02-1217:00Dr. Andrej DujellaGeneralization of a theorem of Baker and Davenport27 - Hörsaal Gebäude
Konferenzraum
Mathematisches Kolloquium
Hide details for 11 - Wednesday11 - Wednesday
1998-02-1113:30Roger ButenuthSCI Clustered Workstations46
024
AG1 Mittagsseminar
Hide details for 9 - Monday9 - Monday
1998-02-0913:30Central Service Group-46
024
Miscellaneous
1998-02-0916:00Holger LeisterPrecise Interrupts in Processors with Out-of-Order ExecutionGeb. 45
015
Seminar des Graduiertenkollegs
Hide details for 6 - Friday6 - Friday
1998-02-0615:00Prof. Dr. Wolfgang PaulKomplexitaet von Booth-Recoding45 - FB14
HS 001
Informatik-Kolloquium
1998-02-0617:00Prof. Dr. H. UpmeierHardy-Räume, holomorphe Geometrie und Quantisierung27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 4 - Wednesday4 - Wednesday
1998-02-0413:30Hein RöhrigAn Invitation to Quantum Computing46
024
AG1 Mittagsseminar
Hide details for 2 - Monday2 - Monday
1998-02-0213:30-group meeting46
024
AG1 Group Meeting
1998-02-0216:00Frank PadbergErfolgsaussichten von Softwareprojekten45
015
Seminar des Graduiertenkollegs
1998-02-0216:00Ortwin SchejaRegulaere Folgen von Binomen und gefaerbte GraphenBau 27
Hoersaal IV
Forschungsseminar
Hide details for January 1998January 1998
Hide details for 29 - Thursday29 - Thursday
1998-01-2916:00Karel OlivaPhenomena-oriented grammars17.3 - Computerlinguistik
Seminarraum
Computerlinguistisches Kolloquium
1998-01-2916:15Ullrich HustadtDeveloping efficient theorem provers for basic modal logic46.1
024
Logik-Seminar
Hide details for 28 - Wednesday28 - Wednesday
1998-01-2815:15Andreas PodelskiMengenconstraints, Programmanalyse und Baumautomaten45
HS 001
Vorstellungsvortrag für einen Habilitationsantrag
1998-01-2816:00Alassane NdiayneRollenübernahme als Benutzermodellierungsmethode: Globale Antizipation in einem transmutierbaren Dialogsystem45 - FB14
003
Promotionskolloquium
1998-01-2816:30Petra MutzelBeitraege zur anwendungsorientierten kombinatorischen Optimierung45
HS 001
Vorstellungsvortrag für einen Habilitationsantrag
Hide details for 27 - Tuesday27 - Tuesday
1998-01-2711:15Johannes WaldmannTerm Rewriting and Rational Tree Languages -- The CL(S) Example46.1
019
Logik-Seminar
Hide details for 26 - Monday26 - Monday
1998-01-2616:00Knud ZimmermannEin hierarchische Ansatz zur intentionsbasierten Musikkomposition auf der Basis musikrhetorischer Regel- und Constraintsysteme45 - FB14
HS 003
Promotionskolloquium
1998-01-2616:00Stephan ThesingCache Sensitive Pre-Runtime Scheduling45 - FB14
015
Seminar des Graduiertenkollegs
Hide details for 23 - Friday23 - Friday
1998-01-2311:15Marcus KrachtReduktion von Beweisen46.1
019
Logik-Seminar
Hide details for 22 - Thursday22 - Thursday
1998-01-2211:15Damian NiwinskiProof and certainty in mathematics46.1 - MPII
24
Talk
1998-01-2216:00Marcus KrachtKasus, Kongruenz und Kompositionalitaet17.3 - Computerlinguistik
Seminarraum
Computerlinguistisches Kolloquium
Hide details for 21 - Wednesday21 - Wednesday
1998-01-2113:30Boris SteipeProtein StructurStructural Motifs Guide Predictions for Protein Engineering46
24
AG1 Mittagsseminar
Hide details for 19 - Monday19 - Monday
1998-01-1913:30Ka Wong ChongTime-optimal parallel algorithm for finding minimum spanning trees without concurrent write46
24
AG1 Mittagsseminar
1998-01-1916:00Eric SchankBlinde probabilistische Beweisverifikation - Zwei-Phasen-Ansatz45 - FB14
HS 001
Promotionskolloquium
1998-01-1916:00Rene WeiskircherRepresenting planar embeddings of 2-connected graphs as integer linear programs45 - FB14
015
Seminar des Graduiertenkollegs
Hide details for 16 - Friday16 - Friday
1998-01-1611:15John GallagherTypes and Constraints46.1
019
Logik-Seminar
1998-01-1617:00Frau Prof. Christine BachocModular forms, lattices and designs27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 12 - Monday12 - Monday
1998-01-1216:15Sabine GlesnerMany-Sorted Natural Semantics45
015
Seminar des Graduiertenkollegs
Hide details for 9 - Friday9 - Friday
1998-01-0915:00Prof. Dr.-Ing. Gregor SneltingSoftware-Reengineering mit mathematischer Begriffsanalyse45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 5 - Monday5 - Monday
1998-01-0513:30-group meeting46
024
AG1 Group Meeting
Hide details for December 1997December 1997
Hide details for 17 - Wednesday17 - Wednesday
1997-12-1711:15Manfred JaegerRelational Bayesian networks (what I did at Stanford, pt 2)46.1
024
AG2 Working Group Seminar
1997-12-1713:30Yefim DinitzSingle source unsplittable flowsMPI
024
AG1 Mittagsseminar
1997-12-1718:00NikolausWeihnachtsfeierMPI
Ground Floor
Fest
Hide details for 16 - Tuesday16 - Tuesday
1997-12-1614:15Frieder StolzenburgDisjunktive und normale Logikprogrammierung mit Constraints46.1
022
Logik-Seminar
1997-12-1616:00Prof. Dr. Bernd Krieg-BrücknerDie UniForM Workbench: Eine Universelle Entwicklungsumgebung für Formale Methoden45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 15 - Monday15 - Monday
1997-12-1510:15Christian FerdinandCache Behavior prediction for Real-Time Systems45 - FB14
HS 003
Promotionskolloquium
1997-12-1513:30Roberto Solis-ObaRobustness analysis in matroid optimizationMPII-46
024
AG1 Mittagsseminar
1997-12-1514:15Prof. Dr. Bernd Krieg-BrücknerEine Taxonomie der Navigation und ihre Anwendung auf den Bremer Autonomen Rollstuhl43.1 - DFKI
Seminarraum 1.01
DFKI-Kolloquium
1997-12-1516:00Friedrich EisenbrandOn the Chvatal-Rank of Polytopes in the 0/1 Cub45 - FB14
015
Seminar des Graduiertenkollegs
Hide details for 12 - Friday12 - Friday
1997-12-1213:30Lorant PorkolabComputing Integral Solutions for Semidefinite ProgramsMPII - 46
024
AG1 Mittagsseminar
1997-12-1217:00Prof. Dr. Birgit PfitzmannAsymmetrischer Copyrightschutz27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 11 - Thursday11 - Thursday
1997-12-1111:15Viorica Sofronie-StokkermansAutomated theorem proving by resolution for certain classes of finitely-valued logics by using the dual of the algebra of truth values46
24
Talk
1997-12-1116:00Wojciech SkutWortstellung im Mittelfeld - eine Korpusuntersuchung17.3 - Computerlinguistik
Seminarraum
Computerlinguistisches Kolloquium
Hide details for 10 - Wednesday10 - Wednesday
1997-12-1011:15Manfred JaegerIntroduction to Bayesian networks (what I did at Stanford, pt 1)46.1
024
AG2 Working Group Seminar
1997-12-1013:30Hans van MaarenSimplicial algorithms for (linear) integer programming46
024
AG1 Mittagsseminar
Hide details for 8 - Monday8 - Monday
1997-12-0815:00Viorica Sofronie-StokkermansA link between algebraic and Kripke-style semantics46
24
Talk
1997-12-0816:00Piotr KrystaApproximation Algorithms for the Achromatic Number in Trees45 - Comp. Sci. Dept.
015
Seminar des Graduiertenkollegs
Hide details for 5 - Friday5 - Friday
1997-12-0513:30Michel GoemansThe polygon representation of near-minimum cutsMPI
024
AG1 Mittagsseminar
Hide details for 4 - Thursday4 - Thursday
1997-12-0411:15Viorica Sofronie-StokkermansPriestley Duality for Distributive Lattices46
24
Talk
1997-12-0416:00Ivana Kruijff-Korbayova & Geert-Jan M. KruijffFROM SENTENCE TO DISCOURSE: A PRAGUIAN FORMAL PERSPECTIVE17.3 - Computerlinguistik
Seminarraum
Computerlinguistisches Kolloquium
Hide details for 3 - Wednesday3 - Wednesday
1997-12-0313:30Helmut AltTo be announced46
024
AG1 Mittagsseminar
Hide details for 1 - Monday1 - Monday
1997-12-0113:30-Group Meeting46
024
AG1 Group Meeting
Hide details for November 1997November 1997
Hide details for 28 - Friday28 - Friday
1997-11-2814:00Dr. Ulrich JunkerChallenges and Innovations in Industrial Constraint43.1 - DFKI
Turing (+1.01)
Talk
1997-11-2815:00Professor Dr. Wolfgang ThomasAutomatenstrategien in unendlichen Spielen45 - FB14
HS 001
Informatik-Kolloquium
1997-11-2817:00Prof. Dr. Alexander BobylevDiscretization of continuous kinetic equations and related problems number theory27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 27 - Thursday27 - Thursday
1997-11-2716:00Prof. Dr. Ryuzo HasegawaA Model Generation Theorem Prover MGTPInformatik Gebaeude 50.34, Universität Karlsruhe
SR236
Talk
Hide details for 26 - Wednesday26 - Wednesday
1997-11-2610:00Mark-Jan NederhofREGULAR APPROXIMATIONS OF CFLS: A GRAMMATICAL VIEW43.1 - DFKI
Turing Saal
DFKI-Kolloquium
1997-11-2613:30Stefan BurkhardtA parallel implementation of the Lanczos algorithm over prime finite fields46
024
AG1 Mittagsseminar
Hide details for 21 - Friday21 - Friday
1997-11-2115:00Professor Dr. Bernhard SeegerEin generisches Verfahren zum schnellen Aufbau von Indexstrukturen45 - FB14
001
Informatik-Kolloquium
1997-11-2117:00Prof. Dr. Serge LangThe heat kernel all over the place27 - Hörsaal Gebäude
27
Mathematisches Kolloquium
Hide details for 20 - Thursday20 - Thursday
1997-11-2011:15Viorica Sofronie-StockermansSome existing resolution-based approaches to automated
theorem proving in finitely-valued logics. - 2 -
46.1 - MPII
024
Talk
1997-11-2016:15Andrei VoronkovA new perspective in logic databases46.1
019
Logik-Seminar
Hide details for 19 - Wednesday19 - Wednesday
1997-11-1911:15Stefano SorgiSymbolic techniques for temporal constraint satisfaction problems46.1
024
AG2 Working Group Seminar
Hide details for 18 - Tuesday18 - Tuesday
1997-11-1811:00Dr. Shuly WintnerAMALIA -- Abstract MAchine for LInguistic Applications43.1 - DFKI
Turing Saal
DFKI-Kolloquium
1997-11-1816:15Pierre WolperThe Power of QDDs46.1
019
MPI-Kolloquium
Hide details for 17 - Monday17 - Monday
1997-11-1715:00Viorica Sofronie-StockermansSome existing resolution-based approaches to automated
theorem proving in finitely-valued logics.
46.1 - MPII
024
Talk
Hide details for 14 - Friday14 - Friday
1997-11-1417:00C.F. HerrmannSpezielle Modulvarietäten und klassische Geometrie27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 13 - Thursday13 - Thursday
1997-11-1311:15Andrea FormisanoT-Theorem Proving46.1
024
AG2 Working Group Seminar
Hide details for 12 - Wednesday12 - Wednesday
1997-11-1211:15Giorgio DelzannoA Specification Logic based on Linear Logic46.1
024
AG2 Working Group Seminar
1997-11-1213:30Jochen KönemannFast and simple algorithms for maximum concurrent flow46
024
AG1 Mittagsseminar
Hide details for 10 - Monday10 - Monday
1997-11-1016:00Ulrich MeyerSingle Source Shortest Path in Random Graphs - Algorithms for PRAM, BSP and External Memory45 - FB14
015
Seminar des Graduiertenkollegs
Hide details for 6 - Thursday6 - Thursday
1997-11-0613:30Ortwin SchejaElementary constructions of expander graphs using algebraic graph theory, IV46.1
024
AG1 Advanced Mini-Course
1997-11-0614:00Prof. Lu RuqianDie Automatische Produktion von Zeichentrickfilmen durch den Computer43.1 - DFKI
Raum Turing (1.01)
DFKI-Kolloquium
Hide details for 5 - Wednesday5 - Wednesday
1997-11-0511:15Viorica Sofronie-StokkermansPriestley representation for distributive lattices with operators and applications to automated theorem proving in certain classes of finitely-valued logics46.1
024
AG2 Working Group Seminar
Hide details for 3 - Monday3 - Monday
1997-11-0313:30noneGroup meeting46
024
Meeting
1997-11-0316:00Frank SchulzZwei neue Familien von deterministischen List Update Algorithmen45 - FB14
015
Seminar des Graduiertenkollegs
1997-11-0316:00Renate SchmidtOptimised Modal Translation and Resolution46.1 - MPII
024
Promotionskolloquium
Hide details for October 1997October 1997
Hide details for 30 - Thursday30 - Thursday
1997-10-3011:00Damian WeberOn the Computation of Discrete Logarithms in Finite Prime Fields45 - FB14
001
Promotionskolloquium
1997-10-3013:30Ortwin SchejaElementary constructions of expander graphs using algebraic graph theory, III46.1
024
AG1 Advanced Mini-Course
1997-10-3013:30Thomas DennyLösen großer dünnbesetzter Gleichungssystem über endlichen Primkörpern45 - FB14
016
Promotionskolloquium
Hide details for 29 - Wednesday29 - Wednesday
1997-10-2913:30Klaus JansenAn Optimal Greedy Algorithm for Wavelength Allocation in Directed Tree Networks46
024
AG1 Mittagsseminar
1997-10-2914:00Tamas GaalNatural Language Processing Using Finite State Transducers45 - FB14
016
Talk
1997-10-2916:00Prof. Ivan A. SagExtraction and Adjunction without Lexical Rules43.1 - DFKI
+1.01
Talk
1997-10-2916:00Thomas PapanikolaouEntwurf und Entwicklung einer objektorientierten Bibliothek für algorithmische Zahlentheorie45 - FB14
001
Promotionskolloquium
Hide details for 27 - Monday27 - Monday
1997-10-2713:30Edgar RamosSolving some discrepancy problems in NC46
024
AG1 Mittagsseminar
1997-10-2716:15Moshe VardiComputational Model Theory46.1
019
MPI-Kolloquium
Hide details for 24 - Friday24 - Friday
1997-10-2415:00Dr. Andreas BirkLernen, komplexere Roboterarten und verschiedene Formen von Kooperation.
Einige neue Entwicklungen im VUB Ökosystem
45 - FB14
001
Informatik-Kolloquium
Hide details for 23 - Thursday23 - Thursday
1997-10-2313:30Ortwin SchejaElementary constructions of expander graphs using algebraic graph theory, II46.1
024
AG1 Advanced Mini-Course
Hide details for 22 - Wednesday22 - Wednesday
1997-10-2211:15Uwe WaldmannA Superposition Calculus for Divisible Torsion-Free Abelian Groups46.1
024
AG2 Working Group Seminar
1997-10-2213:30Daniele FrigioniDynamically switching vertices in planar graphs46
024
AG1 Mittagsseminar
Hide details for 21 - Tuesday21 - Tuesday
1997-10-2113:30Ortwin SchejaElementary constructions of expander graphs using algebraic graph theory46.1
024
AG1 Advanced Mini-Course
Hide details for 20 - Monday20 - Monday
1997-10-2013:30Peter SandersHigh performance algorithms for set covering-like optimization problems with many variables46
024
AG1 Mittagsseminar
Hide details for 17 - Friday17 - Friday
1997-10-1716:00Dexter KozenA Theory of Interleavers45 - FB14
001
Informatik-Kolloquium
Hide details for 16 - Thursday16 - Thursday
1997-10-1617:00Prof. Dr. Manfred BroyEine mathematische fundierte Software Engineering Methode45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 15 - Wednesday15 - Wednesday
1997-10-1511:15Hans de NivelleA Resolution Decision Procedure for the Guarded Fragment46.1
024
AG2 Working Group Seminar
1997-10-1513:30Leonid ZosinRelaxed Multi-Commodity Flow and its Application to the Design of Approximation Algorithms46.1 - MPII
024
AG1 Mittagsseminar
Hide details for 13 - Monday13 - Monday
1997-10-1314:00Jörg ZeyerEine Beobachtungslogik für modulare Sprachen45 - FB14
003
Promotionskolloquium
Hide details for 11 - Saturday11 - Saturday
1997-10-1109:00E.W. MayrWas ist ein guter Algorithmus? Effizienz der LösungsverfahrenUni Trier
Talk
Hide details for 7 - Tuesday7 - Tuesday
1997-10-0716:00Didier PernelEfficient management of multiple goals in spoken dialogues17.3 - Computerlinguistik
Seminarraum
Computerlinguistisches Kolloquium
Hide details for 1 - Wednesday1 - Wednesday
1997-10-0111:15Damian NiwinskiA brief introduction to the basic Mu-calculus46.1 - MPII
024
AG2 Working Group Seminar
Hide details for September 1997September 1997
Hide details for 30 - Tuesday30 - Tuesday
1997-09-3016:15Jean-Marc TalbotSolving Co-definite Set Constraints with Membership Expressions over Sets of finite Trees46.1
019
Logik-Seminar
Hide details for 24 - Wednesday24 - Wednesday
1997-09-2411:15Andreas PodelskiSet-Based Analysis of Reactive Systems46.1
024
AG2 Working Group Seminar
1997-09-2415:00Dr. Andrew M. OdlyzkoParis Metro Pricing for the Internet, and other interactions of electronic commerce and technology45 - FB14
015
Talk
Hide details for 23 - Tuesday23 - Tuesday
1997-09-2309:00Stephan MüllerSpezifikation und Verarbeitung deutscher Syntax in Head-Driven Phrase Structure Grammar45 - FB14
001
Promotionskolloquium
1997-09-2316:15Lincoln WallenType-theoretic interpretations of proof search46.1
019
Logik-Seminar
Hide details for 17 - Wednesday17 - Wednesday
1997-09-1711:15Fritz EisenbrandOn the Chvatal Rank of Polytopes in the 0/1 Cube46.1
024
AG2 Working Group Seminar
Hide details for 14 - Sunday14 - Sunday
1997-09-1415:00Dr. Andrew M. OdlyzkoParis Metro Pricing for the Internet, and other interactions of electronic commerce and technology45 - FB14
015
Talk
Hide details for 5 - Friday5 - Friday
1997-09-0517:00Luca ViganoA Framework for Non-Classical Logics46.1 - MPII
024
Promotionskolloquium
Hide details for August 1997August 1997
Hide details for 25 - Monday25 - Monday
1997-08-2515:00Monika Rauch HenzingerContinuous Profiling: Where have all the cycles gone?45 - FB14
001
Informatik-Kolloquium
Hide details for 21 - Thursday21 - Thursday
1997-08-2114:00Andreas ButzEin inkrementeller Ansatz zur Generierung informativer 3d-Animation45 - FB14
001
Promotionskolloquium
Hide details for 19 - Tuesday19 - Tuesday
1997-08-1919:00 SommerfestMPI
Grillplatz
Miscellaneous
Hide details for 18 - Monday18 - Monday
1997-08-1814:00Ulrich FinklerDesign of efficient and correct algorithms: theoretical results and runtime prediction of implementations in practice46.1 - MPII
023
Promotionskolloquium
Hide details for July 1997July 1997
Hide details for 28 - Monday28 - Monday
1997-07-2816:00Peter-Michael SeidelEin IEEE-konformer high-speed fuer Floating-Point Zahlen45 - FB14
Raum 016
Seminar des Graduiertenkollegs
1997-07-2816:00Uwe WaldmannCancellative Abelian Monoids in Refutational Theorem Proving46.1 - MPII
R. 024
Promotionskolloquium
Hide details for 24 - Thursday24 - Thursday
1997-07-2416:00Suman RoyNeighbourhood Logic: An Adequate First-order Interval Logic46.1 - MPII
024
Logik-Seminar
Hide details for 22 - Tuesday22 - Tuesday
1997-07-2211:00Randy GoebelPlan Recognition as Belief Revision43.1 - DFKI
Turing (+1.01)
DFKI-Kolloquium
1997-07-2213:00Thomas WalleDas Netzwerk der SB-PRAM45 - FB14
Seminarraum 016
Promotionskolloquium
Hide details for 21 - Monday21 - Monday
1997-07-2116:00Alexander KelmansGraph planarity, Duality and Related TopicsGebaeude 45
EG, Raum 016
Seminar des Graduiertenkollegs
Hide details for 18 - Friday18 - Friday
1997-07-1813:00Christian FechtAbstrakte Interpretation logischer Programme: Theorie, Implementierung, Generierung45 - FB14
HS 0.01
Promotionskolloquium
1997-07-1815:00Prof. Dr. Birgit PfitzmannSichere elektronische Märkte45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 14 - Monday14 - Monday
1997-07-1416:00Stephan ThesingZeitanalyse verteilter Echtzeitsysteme45 - FB14
016
Seminar des Graduiertenkollegs
Hide details for 11 - Friday11 - Friday
1997-07-1115:00Klaus HoechsmannMultiplikatives Rechnen in ganzzahligen Gruppenringen27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
1997-07-1115:00Prof. Dr. J"urgen Richter-GebertAutomatic theorem proving in geometry45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 10 - Thursday10 - Thursday
1997-07-1017:00Prof. CarnieliA new logic for generic reasoning11.1 (Philosophie)
202
Talk
Hide details for 9 - Wednesday9 - Wednesday
1997-07-0913:30John KececiogluA new maximum-likelihood approach to chromosome physical-mapping46
024
Talk
Hide details for 8 - Tuesday8 - Tuesday
1997-07-0816:00Jop SibeynEffiziente parallele Algorithmen45, INFORMATIK
003
Vorstellungsvortrag für einen Habilitationsantrag
Hide details for 7 - Monday7 - Monday
1997-07-0716:15Frank PadbergEin besonderer Zufallsprozess45 - FB14
016
Seminar des Graduiertenkollegs
Hide details for 4 - Friday4 - Friday
1997-07-0417:00S.M. DeshpandeApplication of Kinetic schemes to all types of meshes27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 2 - Wednesday2 - Wednesday
1997-07-0217:00Robert FinnCapillarity Phenomena27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 1 - Tuesday1 - Tuesday
1997-07-0111:00Prof. Dr. Dominique MeryAssigning Temporal Meaning to Abstract Machines43.1 - DFKI
Raum 1.01 (TURING)
DFKI-Kolloquium
Hide details for June 1997June 1997
Hide details for 27 - Friday27 - Friday
1997-06-2713:45Carsten SchuermannTwelf: Eine LF-Implementierung mit expliziten Substitiutionen46.1
019
Logik-Seminar
1997-06-2717:15Andrei VoronkovThe equality elimination method46.1
024
Logik-Seminar
Hide details for 26 - Thursday26 - Thursday
1997-06-2614:00B. Chaib-draaSome Models for Rational Interactions in Multiagent domains43.1 - DFKI
1.01
DFKI-Kolloquium
1997-06-2614:00Prof. Dr. Hans-Peter SeidelHierarchische Methoden in der Graphischen Datenverarbeitung46 - MPI
024
MPI-Kolloquium
Hide details for 23 - Monday23 - Monday
1997-06-2316:00Frank SchulzÜber das Vorkommen von Teilfolgen in zufälligen Strings45 - FB14
EG, Raum 016
Seminar des Graduiertenkollegs
1997-06-2316:00M. HenzObjects in Oz45 - FB14
HS 003
Promotionskolloquium
Hide details for 20 - Friday20 - Friday
1997-06-2015:15Prof. Theo UngererMikroprozessoren - Stand der Technik und Möglichkeiten der Weiterentwicklung45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 19 - Thursday19 - Thursday
1997-06-1916:15Tobias NipkowCombining Model Checking and Deduction for I/O-Automata (joint work with Olaf Müller)46.1 - MPII
024
Logik-Seminar
Hide details for 18 - Wednesday18 - Wednesday
1997-06-1811:15Jörn HopfOptimizing Photomask-Layout46.1 - MPII
022
AG2 Working Group Seminar
1997-06-1814:00Prof. Dr. Robert GiegerichSoftware-Werkzeuge für die Molekularbiologie46.1 - MPII
022
Informatik-Kolloquium
1997-06-1816:00Martin AltOn Parallel Compilation45 - FB14
HS 001
Talk
1997-06-1817:15M. FurusawaPeriods of automorphic forms and special values of L-functions27 - Hörsaal Gebäude
HS IV
Talk
Hide details for 17 - Tuesday17 - Tuesday
1997-06-1717:00Andrei VoronkovThe equality elimination method46.1 - MPII
HS 024
Logik-Seminar
Hide details for 16 - Monday16 - Monday
1997-06-1616:15Ulrich MeyerMatrix Transpose auf Gitterrechnern: Theorie und Praxis45 - FB14
016 EG
Talk
1997-06-1617:15Fr. Prof. YuiThe Arithmetic of Certain Calabi-Yau type Varieties over Number Fields27 - Hörsaal Gebäude
HS IV
Talk
Hide details for 13 - Friday13 - Friday
1997-06-1315:00Prof. Dr. Walter TichyEin Experiment zur Wirksamkeit von Software-Entwurfsmustern45 - FB14
HS 001
Informatik-Kolloquium
Hide details for 11 - Wednesday11 - Wednesday
1997-06-1111:15Fritz EisenbrandFactor Refinement in Number Fields46.1 - MPII
022
AG2 Working Group Seminar
1997-06-1116:15Laurent PerronDecorated constraints46.1 - MPII
024
Talk
Hide details for 10 - Tuesday10 - Tuesday
1997-06-1017:15UnknownInformations- 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
Hide details for 9 - Monday9 - Monday
1997-06-0916:00T. ZieschangFinite Groups and Graphs in Cryptanalysis45 - FB14
015
Promotionskolloquium
1997-06-0917:00Prof. D. ThakurThe arithmetic of function fields27 - Hörsaal Gebäude
HSIV
Informatik-Kolloquium
Hide details for 2 - Monday2 - Monday
1997-06-0214:15Prof. Dr. Patrick CousotDesign of Semantics by Abstract Interpretation46.1
019
MPI-Kolloquium
1997-06-0216:00Dierk JohannesAlgebraische Graphentheorie - ein Einblick45 - FB14
016, EG
Seminar des Graduiertenkollegs
Hide details for May 1997May 1997
Hide details for 28 - Wednesday28 - Wednesday
1997-05-2810:00Dr.Jianyang Zhou


zu dem Thema
Computing smallest Cartesian products of intervals: application to the job-shop scheduling problem45 - FB14
EG, Raum 016
Talk
Hide details for 27 - Tuesday27 - Tuesday
1997-05-2714:00Thomas ChristallerKünstliche Intelligenz: Was ist das eigentlich?43.1 - DFKI
Zi -1.14
Talk
Hide details for 26 - Monday26 - Monday
1997-05-2616:00Ulrich FinklerEfficient Computation of Maximum Weighted Bipartite Matchings45 - FB14
EG, Raum 016
Seminar des Graduiertenkollegs
Hide details for 21 - Wednesday21 - Wednesday
1997-05-2111:15Luca ViganòLabelled sequent systems: a new method for bounding the complexity of modal logics46.1 - MPII
022
AG2 Working Group Seminar
1997-05-2114:00Rudolf FleischerEffiziente AlgorithmenBau 45
HS 003
Vorstellungsvortrag für einen Habilitationsantrag
Hide details for 16 - Friday16 - Friday
1997-05-1615:00Dr. Joachim HertelDer Software-Entwicklungsprozess in der Praxis45 - FB14
001
Informatik-Kolloquium
Hide details for 15 - Thursday15 - Thursday
1997-05-1516:00A. Kühlmann und F. KrohmBoolean Equivalence Checking at IBMBau 13
HS -1.03
Talk
Hide details for 14 - Wednesday14 - Wednesday
1997-05-1411:15Alexander BockmayrAlgebraic modelling and (constraint) logic programming46.1 - MPII
002
AG2 Working Group Seminar
Hide details for 12 - Monday12 - Monday
1997-05-1216:00Konstantin PopovEine parallele abstrakte Maschine für die nebenläufige, constraint-basierte Programmiersprache Oz45 - FB14
016 EG
Talk
Hide details for 9 - Friday9 - Friday
1997-05-0915:00Prof. Hans HagenGeometrische Modellierung und wissenschaftliche Visualisierung45 - FB14
001
Informatik-Kolloquium
1997-05-0917:00Prof. Attila PethöIndexformgleichungen und Indexformflächen27 - Hörsaal Gebäude
HS IV
Informatik-Kolloquium
Hide details for 7 - Wednesday7 - Wednesday
1997-05-0711:15Jürgen StuberSuperposition Theorem Proving over Theories Presented by Rewrite Systems46.1 - MPII
022
AG2 Working Group Seminar
Hide details for 5 - Monday5 - Monday
1997-05-0516:15Thilo ZieschangAlgebraische Ansätze in der Analyse von Block-Chiffrierverfahren45 - FB14
EG, Raum 016
Seminar des Graduiertenkollegs
1997-05-0517:00Prof. Hugh WilliamsComputations concerning a question involving certain character sums27 - Hörsaal Gebäude
Hörsaal IV
Talk
Hide details for April 1997April 1997
Hide details for 30 - Wednesday30 - Wednesday
1997-04-3011:15Seán MatthewsAdding a validity primitive to a logical framework46.1 - MPII
022
AG2 Working Group Seminar
1997-04-3016:00Henk ZeevatCommon Ground Updating12
201
Computerlinguistisches Kolloquium
Hide details for 24 - Thursday24 - Thursday
1997-04-2416:00Karel Oliva & M. A. Moshier (in absentia)"Newtonian" Linguistics17.3 - Computerlinguistik
Seminarraum, EG
Talk
Hide details for 22 - Tuesday22 - Tuesday
1997-04-2216:15Francois FagesTowards a flexible type system with subtypes and parametric polymorphism for constraint logic programming46.1 - MPII
019
Logik-Seminar
Hide details for 18 - Friday18 - Friday
1997-04-1814:00John SlaneyUsing FINDER as a Module46.1 - MPII
019
Talk
Hide details for 15 - Tuesday15 - Tuesday
1997-04-1514:30Dr. Ingo KirchnerThe Climate System and a Concept of a new Climate Model46.1 - MPII
SR 024
Talk
Hide details for 14 - Monday14 - Monday
1997-04-1416:00C. SchollMehrstufige Logiksynthese unter Ausnutzung funktionaler Eigenschaften45 - FB14
016
Promotionskolloquium
Hide details for March 1997March 1997
Hide details for 26 - Wednesday26 - Wednesday
1997-03-2611:15Miroslava TzakovaHybrid Logic46.1 - MPII
024
AG2 Working Group Seminar
Hide details for 21 - Friday21 - Friday
1997-03-2113:30Prof. Dr. Thomas A. HenzingerComputer-Aided Verification of Embedded Systems45 - FB14
Hörsaal 3
Informatik-Kolloquium
Hide details for 19 - Wednesday19 - Wednesday
1997-03-1911:15Georg StruthNon-Symmetric Completion and Generation of Optimized Inference Systems46.1 - MPII
024
AG2 Working Group Seminar
Hide details for 18 - Tuesday18 - Tuesday
1997-03-1816:15John SlaneyBlocks World Tamed: Ten thousand blocks in under a second46.1 - MPII
019
Logik-Seminar
Hide details for 12 - Wednesday12 - Wednesday
1997-03-1211:15Emil WeydertSemi-qualitative Minimal Information Reasoning46.1 - MPII
024
AG2 Seminar
1997-03-1213:30Uwe BrahmIntranet Demonstration for AG146.1 - MPII
019
Presentation
Hide details for 11 - Tuesday11 - Tuesday
1997-03-1116:15Danièle BeauquierThe Railroad Crossing Problem: Towards Semantics of Timed Algorithms and their Model-Checking in High-Level Languages46.1 - MPII
019
AG2 Seminar
Hide details for 10 - Monday10 - Monday
1997-03-1011:15Andreas TönneProgram Analysis with Linear Logic46.1 - MPII
024
AG2 Seminar
Hide details for 5 - Wednesday5 - Wednesday
1997-03-0511:15Christoph MeyerSoft Typing for Ordered Resolution46.1 - MPII
024
AG2 Seminar
Hide details for 4 - Tuesday4 - Tuesday
1997-03-0411:00Uwe BrahmIntranet Demonstration for AG246.1 - MPII
019
AG2 Group Meeting
Hide details for February 1997February 1997
Hide details for 24 - Monday24 - Monday
1997-02-2414:00Volker WarnkeDialogaktsegmentierung und -klassifikation unter Verwendung unterschiedlicher Wissensquellen43.1 - DFKI
+1.01
DFKI-Kolloquium
1997-02-2416:00 Dr. Franz LemmermeyerEuklidische Ringe45 - FB14
015
Seminar des Graduiertenkollegs
1997-02-2416:00Prof. Dr. Hans-Dieter EhrlichDaten und andere Objekte45 - FB14
Hörsaal I
Festkolloquium
Hide details for 21 - Friday21 - Friday
1997-02-2109:30Marco SchaerfOff-line processing and the space efficiency of propositional knowledge representation formalisms.46.1 - MPII
24
Talk
Hide details for 20 - Thursday20 - Thursday
1997-02-2017:00Peter ZollerRealisierung von Quantencomputern mit Methoden der QuantenoptikGebäude 22
Hörsaal I, Erdgeschoss
Talk
Hide details for 19 - Wednesday19 - Wednesday
1997-02-1911:30Florent JacquemardTree Automata and Term Rewriting46.1 - MPII
Room 022
AG2 Seminar
1997-02-1915:00Arno FormallaHigh Performance PRAM Beschleunigung der SB-PRAM um den Faktor 1245 - FB14
SR 14
Informatik-Kolloquium
1997-02-1917:00Solofo RamangalahyLinear Hybrid System46.1 - MPII
24
Talk
Hide details for 18 - Tuesday18 - Tuesday
1997-02-1810:00Jens-Uwe MoellerUnüberwachtes Lernen domänenspezifischer Dialogakte aus spontan gesprochener Sprache45 - FB14
Raum 0.13
Talk
1997-02-1814:00Wei GU(F)Owl-Graphik: Neue Modelle und Verfahren zur Integration einer 2-1/2-D-Graphik-Funktionalität in ein verteiltes System45 - FB14
001
Promotionskolloquium
Hide details for 17 - Monday17 - Monday
1997-02-1716:00Ulrich MeyerDeterministische PRAM-Simulation auf Gitterrechnern45 - FB14
015
Seminar des Graduiertenkollegs
Hide details for 13 - Thursday13 - Thursday
1997-02-1316:00Patrick BlackburnFrom Modal Logic to Hybrid Languages17.3 - Computerlinguistik
Seminarraum EG
Computerlinguistisches Kolloquium
Hide details for 12 - Wednesday12 - Wednesday
1997-02-1211:30Solofo RamangalahyTesting communicating automata46.1 - MPII
024
AG2 Seminar
Hide details for 11 - Tuesday11 - Tuesday
1997-02-1116:30Hubert BaumeisterJava and Object Oriented Programming46.1 - MPII
019
AG2 Seminar
1997-02-1118:00Petra SteffensBerufsmöglichkeiten für Computerlinguisten: Internationales Marketing - dargestellt am Spracherkennungssystem IBM VoiceTypeDFKI SB, Geb. 43.1
+1.01
Computerlinguistisches Kolloquium
Hide details for 7 - Friday7 - Friday
1997-02-0715:00Dr. Frank DammManagement kryptographischer Mechanismen45 - FB14
EG, 001
Informatik-Kolloquium
Hide details for 6 - Thursday6 - Thursday
1997-02-0614:00Aaron SlomanArchitectural requirements for autonomous human-like agents43.1 - DFKI
1.01 (Bananensaal)
DFKI-Kolloquium
1997-02-0616:00 Hermann J. KuenzelForensische Sprechererkennung43.1 - DFKI
Bananensaal: +1.01
Computerlinguistisches Kolloquium
Hide details for 4 - Tuesday4 - Tuesday
1997-02-0416:15Ullrich HustadtHow to lie with benchmarks46.1 - MPII
019
AG2 Seminar
Hide details for January 1997January 1997
Hide details for 31 - Friday31 - Friday
1997-01-3115:00Prof. Dr. Gilles KahnThe failure of Ariane 50145 - FB14
HS 001
Talk
Hide details for 30 - Thursday30 - Thursday
1997-01-3016:00Jie LieFeature Checking and NP Interpretation - A modified Checking Theory17.3 - Computerlinguistik
Seminarraum, EG
Computerlinguistisches Kolloquium
Hide details for 29 - Wednesday29 - Wednesday
1997-01-2911:30Sergei VorobyovThe hardest decidable theory46.1 - MPII
024
AG2 Seminar
Hide details for 24 - Friday24 - Friday
1997-01-2416:00W. FinklerAutomatische Selbstkorrektur bei der inkrementellen Generierung gesprochener Spache unter Realzeitbedingungen45 - FB14
HS 003
Promotionskolloquium
Hide details for 22 - Wednesday22 - Wednesday
1997-01-2211:30Andreas NonnengartStrong Skolemization46.1 - MPII
024
AG2 Seminar
Hide details for 17 - Friday17 - Friday
1997-01-1715:00David W. MatulaDesign of a Pipelined Packet-Forwarding Floating Point Processor.45 - FB14
001
1997-01-1717:00R. TobiesAd angewandter Mathematik schreiten wir zum concentrischen Angriffe. Felix Klein - ein 'gegenmoderner' Mathematiker?27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 15 - Wednesday15 - Wednesday
1997-01-1511:30Thomas KasperReconstructing Polyominos from Horizontal and Vertical Projections with CHIP46.1 - MPII
024
AG2 Seminar
Hide details for 9 - Thursday9 - Thursday
1997-01-0916:00Claire GardentParallelism and Deaccenting17.3 - Computerlinguistik
Seminarraum EG
Computerlinguistisches Kolloquium
Hide details for 8 - Wednesday8 - Wednesday
1997-01-0811:30Uwe WaldmannTheorem Proving in (Torsion-Free) Cancellative Abelian Monoids46.1 - MPII
024
AG2 Seminar
Hide details for December 1996December 1996
Hide details for 23 - Monday23 - Monday
1996-12-2314:00Ming LiEin wissensbasiertes System zur automatischen Generierung von Explosionszeichnungen45 - FB14
HS III
Promotionskolloquium
Hide details for 20 - Friday20 - Friday
1996-12-2014:00Christoph WeidenbachComputational aspects of a first-order logic with sorts46.1 - MPII
HS 019
Promotionskolloquium
Hide details for 19 - Thursday19 - Thursday
1996-12-1916:00W. StephanFormale Programmentwicklung - von logischen Grundlagen zu praktischen Anwendungen45 - FB14
016
Vorstellungsvortrag für einen Habilitationsantrag
Hide details for 18 - Wednesday18 - Wednesday
1996-12-1811:30Georg RockTransformations of First-Order Formulae for Automated Reasoning46.1 - MPII
024
AG2 Seminar
Hide details for 16 - Monday16 - Monday
1996-12-1614:00Prof. Dr. Johan K.van BenthemEXPLORING LOGICAL DYNAMICS43.1 - DFKI
1.01
DFKI-Kolloquium
1996-12-1618:30C. SenglerInduction on Non-Freely Generated Data Types45 - FB14
HS 001
Promotionskolloquium
Hide details for 10 - Tuesday10 - Tuesday
1996-12-1015:00A. FormellaRADIO-TRACER: Ein Simulationswerkzeug für die mobile Telekommunikation45 - FB14
R.001
Presentation
Hide details for 9 - Monday9 - Monday
1996-12-0911:00D. WodtkeModellbildung und Architektur von verteilten Workflow-Management-Systemen45 - FB14
001
Promotionskolloquium
1996-12-0914:15Jakob Lyng PetersenLarge Automatic Verification of a Control Program for a Railway Interlocking System45 - FB14
528
Talk
Hide details for 6 - Friday6 - Friday
1996-12-0617:00F. DuzaarMinimierung konform invarianter Energien in Homotopieklassen27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 5 - Thursday5 - Thursday
1996-12-0516:00Jan LernerAnaphern bei VP-Ellipsen17.3 - Computerlinguistik
Seminarraum, EG
Computerlinguistisches Kolloquium
Hide details for 4 - Wednesday4 - Wednesday
1996-12-0411:30Joerg ZeyerEine Beobachtungslogik für Module46.1 - MPII
024
AG2 Seminar
Hide details for November 1996November 1996
Hide details for 28 - Thursday28 - Thursday
1996-11-2816:00Reinhard MuskensDYNAMIC TYPE LOGICS AND THE SEMANTICS OF PROGRAMMING17.3 - Computerlinguistik
Seminarraum, EG
Computerlinguistisches Kolloquium
Hide details for 26 - Tuesday26 - Tuesday
1996-11-2616:00M. BauerEin evidenztheoretischer Ansatz zur Planerkennung46.1 - MPII
HS 019
Promotionskolloquium
1996-11-2616:00Paolo TraversoTechnology transfer and research projects at IRST43.1 - DFKI
Raum 1.01
DFKI-Kolloquium
Hide details for 25 - Monday25 - Monday
1996-11-2515:00Andrew MorrisHuman and Machine Idetification of Transitional Speech Segments17.2 - Computerlinguistik
Raum 5.09
Hide details for 24 - Sunday24 - Sunday
1996-11-2416:30W. MaassVon visuellen Daten zu inkrementellen Wegbeschreibungen in dreidimensionalen Umgebungen: Das Modell eines kognitiven Agenten45 - FB14
R.001
Promotionskolloquium
Hide details for 22 - Friday22 - Friday
1996-11-2211:00G. SanderVisualisierungstechniken für den Compilerbau45 - FB14
HS003
Informatik-Kolloquium
1996-11-2215:00Dr. Guido KanschatAdaptive finite Elemente Verfahren für große Systeme von PDE'S45 - FB14
Hörsaal 001
Informatik-Kolloquium
Hide details for 19 - Tuesday19 - Tuesday
1996-11-1916:15Bjoern VictorConstraints as Processes (enhanced version)46.1 - MPII
Hörsaal 019
Logik-Seminar
Hide details for 15 - Friday15 - Friday
1996-11-1514:00Dr. Brian DrabbleIntelligent Planning: Putting Planning to Work43.1 - DFKI
Seminarraum 1.01
DFKI-Kolloquium
1996-11-1515:00Dr. Ferri AbolhassanVertikalisierung in der Softwareindustrie, Chancen und Strategien für Anwendungssoftware45 - FB14
Hörsaal 001
Informatik-Kolloquium
1996-11-1517:00E. FouvrySur les nombres premiers de Gauss27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 13 - Wednesday13 - Wednesday
1996-11-1311:30Tim FernandoProbabilistic reasoning without numbers46.1 - MPII
024
Logik-Seminar
Hide details for 12 - Tuesday12 - Tuesday
1996-11-1216:00Leon van der TorreThe different faces of defeasibility in defeasible deontic logic46.1 - MPII
024
Logik-Seminar
Hide details for 11 - Monday11 - Monday
1996-11-1116:00M. Saidi'Etale coverings and semi-stable reduction of curves27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 8 - Friday8 - Friday
1996-11-0817:00E. TyrtyshnikovMosaic - skeleton approximation and applications to numerical problems27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 5 - Tuesday5 - Tuesday
1996-11-0516:15Bernd Ingo DahnComputergestuetzte Beweise in der Theorie verbandsgeordneter Gruppen46.1 - MPII
019
Logik-Seminar
Hide details for October 1996October 1996
Hide details for 29 - Tuesday29 - Tuesday
1996-10-2916:00Alessandro CoglioThe Control Component of OMRS: Resolution as a Case Study46.1 - MPII
019
Logik-Seminar
Hide details for 25 - Friday25 - Friday
1996-10-2511:00Gerald PennMultiple WH-Fronting and Clitic Placement: Evidence from Serbo-Croatian17.3 - Computerlinguistik
Seminarraum EG
Computerlinguistisches Kolloquium
Hide details for 16 - Wednesday16 - Wednesday
1996-10-1610:45Yongge WangRandomness and Complexity46.1 - MPII
023
AG2 Seminar
Hide details for 15 - Tuesday15 - Tuesday
1996-10-1511:00Dr. David R. TraumA computational theory of grounding in NL conversation43.1C
+1.01
DFKI-Kolloquium
1996-10-1514:00Prof. E. Bruce SpencerMinimal Binary Resolution Trees43.1 - DFKI
1.01
DFKI-Kolloquium
Hide details for 8 - Tuesday8 - Tuesday
1996-10-0816:15Luca ViganoImplementing Modal and Relevance Logics in a Logical Framework46.1 - MPII
019
AG2 Seminar
Hide details for 2 - Wednesday2 - Wednesday
1996-10-0210:45Witold CharatonikSolving Set Constraints with Intersection46.1 - MPII
023
Logik-Seminar
Hide details for 1 - Tuesday1 - Tuesday
1996-10-0116:15Renate SchmidtResolution is a Decision Procedure for Many Propositional Modal Logics46.1 - MPII
019
AG2 Seminar
Hide details for September 1996September 1996
Hide details for 30 - Monday30 - Monday
1996-09-3014:15Benno SteinKonfigurierung technischer Systeme45 - FB14
0.15
DFKI-Kolloquium
Hide details for 25 - Wednesday25 - Wednesday
1996-09-2510:45Andreas PodelskiTowards Verification and Debugging of Concurrent Constraint Programs
through Abstract Interpretation with Set Constraints (Part II)
46.1 - MPII
023
Logik-Seminar
Hide details for 18 - Wednesday18 - Wednesday
1996-09-1810:45Andreas PodelskiTowards Verification and Debugging of Concurrent Constraint Programs through Abstract Interpretation with Set Constraints46.1 - MPII
023
AG2 Seminar
Hide details for 12 - Thursday12 - Thursday
1996-09-1215:00Dr. Steven AbneyStochastische Attribute-Value Grammatiken43.1C
+1.01
DFKI-Kolloquium
Hide details for 9 - Monday9 - Monday
1996-09-0914:00Dan SahlinThe concurrent functional programming language Erlang - An OverviewFB14/45
528
Talk
Hide details for 4 - Wednesday4 - Wednesday
1996-09-0410:00K.-P. GappEin Objektlokalisationssystem in dreidimensionalen Umgebungen - Formalisierung, Implementierung und empirische ValidierungFB14/45
0.01
Promotionskolloquium
Hide details for August 1996August 1996
Hide details for 29 - Thursday29 - Thursday
1996-08-2914:15IV RamakrishnanOptimizing Clause ResolutionMPII/46.1
024
Logik-Seminar
Hide details for 22 - Thursday22 - Thursday
1996-08-2214:00Lori LevinMachine Translation Components of the Janus Speech-to-Speech Translation System43.1 - DFKI
+1.01
DFKI-Kolloquium
Hide details for 21 - Wednesday21 - Wednesday
1996-08-2111:00Mark SeligmanInteractive MT and Speech Translation on the Internet43.1C (DFKI)
+1.01
DFKI-Kolloquium
1996-08-2116:00Professor Thomas DeanRepresenting and Learning Structure in Dynamical Systems43.1 - DFKI
1.01
DFKI-Kolloquium
Hide details for 16 - Friday16 - Friday
1996-08-1611:00Denise OliveiraAn User-Programmable Logic-Based Shell for Cooperative Information Systems36 (Informatik)
406
Talk
Hide details for 8 - Thursday8 - Thursday
1996-08-0814:00Yde VenemaDynamic logic and special derivation rules46.1 - MPII
609
Talk
Hide details for 6 - Tuesday6 - Tuesday
1996-08-0616:00Arnaud VenetAbstract Interpretation of the pi-calculus46.1 - MPII
019
Logik-Seminar
Hide details for July 1996July 1996
Hide details for 12 - Friday12 - Friday
1996-07-1217:00Prof. Dr. Thomas BethQuanteninformatik - Rechnen mit Photonen, Ionen und Quanten45
003
Hide details for 11 - Thursday11 - Thursday
1996-07-1113:00Susanne GrafKombination von Modell-Checking und Theorembeweisen46.1 - MPII
019
Talk
1996-07-1116:00C. SamuelssonRelating Turing's Formula and Zipf's Law17.3 - Computerlinguistik
Seminarraum EG
Talk - Computerlinguistik
Hide details for 9 - Tuesday9 - Tuesday
1996-07-0917:00D. BlecherOperator spaces, operator algebras, tensor products, and bimodules27 - Hörsaal Gebäude
Hörsaal IV
Mathematisches Kolloquium
Hide details for 5 - Friday5 - Friday
1996-07-0511:00Dr. Frank KlawonnFuzzy-Methoden in der Datenanalyse und Mustererkennung45 - FB14
016
Informatik-Kolloquium
1996-07-0514:15Frank PfenningLinear Higher-Order Pre-Unification46.1 - MPII
019
Logik-Seminar
1996-07-0517:00O. IlievFictitious regions method based algorithms for solving convection-difffusion phase change problems27 - Hörsaal Gebäude
Hörsaal IV
Mathematisches Kolloquium
Hide details for 4 - Thursday4 - Thursday
1996-07-0416:00Natasha KurtoninaStructural Dimensions of Categorial Grammar17.2 - Computerlinguistik
Seminarraum, EG
Computerlinguistisches Kolloquium
1996-07-0417:00Priv.-Doz. Dr. Hans-Ulrich BauerSelbstorganisation neuronaler Karten45 - FB14
016
Vorstellungsvortrag in Informatik
Hide details for 3 - Wednesday3 - Wednesday
1996-07-0313:00Kurt SieberSemantik lokaler Variablen45 - FB14
002
Antrittvorlesung
Hide details for 2 - Tuesday2 - Tuesday
1996-07-0214:00Dr. Hendrik C. R. LockOn global capacity constraints in scheduling45 - FB14
015
DFKI-Kolloquium
Hide details for 1 - Monday1 - Monday
1996-07-0110:00B. BuchbergerComputer-Algebra und Theorem Proving43.1 - DFKI
1.01
DFKI-Kolloquium
Hide details for June 1996June 1996
Hide details for 28 - Friday28 - Friday
1996-06-2811:00Jürgen GieslAutomatisierung von Terminierungsbeweisen43.1 - DFKI
1.01
DFKI-Kolloquium
1996-06-2813:00Herr Dr. Daniel KeimSuche partiell aehnlicher Polygone in CAD-Anwendungen45 - FB14
016
Informatik-Kolloquium
1996-06-2815:00Dr. Birgit PfitzmannAsymmetrischer Copyrightschutz45 - FB14
016
Informatik-Kolloquium
1996-06-2817:00Dr. Matthias WeberIntegration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme45 - FB14
016
Vorstellungsvortrag In Informatik
Hide details for 27 - Thursday27 - Thursday
1996-06-2717:00Prof. Dr. Hans DobbertinHash-Funktionen für Digitale Signaturen45 - FB14
016
Kolloquium in Informatik
Hide details for 14 - Friday14 - Friday
1996-06-1417:00W. HackenbrochEvolutionssysteme und multiplikative Integration27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 12 - Wednesday12 - Wednesday
1996-06-1210:45Hans Jürgen OhlbachHow to turn number restrictions in KR languages, and more general arithmetic constraints on set cardinalities into diophantine equations46.1 - MPII
023
AG2 Working Group Seminar
1996-06-1217:00S. LeueZur Semantik des szenarien-basierten Entwurfs verteilter Realzeitsysteme45 - Informatik
016
Informatik-Kolloquium
Hide details for 7 - Friday7 - Friday
1996-06-0716:00Alexander BockmayrQuantenrechner und polynomiale Berechenbarkeit46.1 - MPII
024
Antrittsvorlesung
Hide details for 5 - Wednesday5 - Wednesday
1996-06-0510:45Andreas TönneProgram Analysis with Linear Logic46.1 - MPII
023
AG2 Working Group Seminar
1996-06-0516:00J. MüllerAn Architecture for Dynamically Interacting Agents46.1 - MPII
019
Promotionskolloquium
Hide details for May 1996May 1996
Hide details for 31 - Friday31 - Friday
1996-05-3113:45Rajeev Gore'Cut-free Display Calculi for Relation Algebras46.1 - MPII
019
Logikseminar des DFKI,FBI und MP
1996-05-3115:00Prof. Dr. Rolf SchulmeisterDidaktische Aspekte des Software-Designs45
Hörsaal 001
Informatik-Kolloquium
1996-05-3116:00K. SchildQuerying Knowledge and Data Bases by a Universal Description Logic with Recursion46.1 - MPII
HS 019
Promotionskolloquium
Hide details for 28 - Tuesday28 - Tuesday
1996-05-2816:00Cecile ParisDRAFTER: An Interactive Support Tool for Writing43.1C
+1.01
DFKI-Kolloquium
1996-05-2816:00Prof. Dr. Jean-Raymond AbrialProtocol Design and Liveness Proofs with the B-tool46.1 - MPII
019
MPI-Kolloquium
Hide details for 21 - Tuesday21 - Tuesday
1996-05-2116:00G. WeikumAutomatisches Tuning von DatenbanksystemenUni Trier
V302
Informatik-Kolloquium der Uni Trier
1996-05-2116:00J. R. PartingtonExtremal problems in Hardy spaces27 - Hörsaal Gebäude
Seminarraum 5
Oberseminar Funktionalanalysis
Hide details for 17 - Friday17 - Friday
1996-05-1717:00J. R. PartingtonInterpolation of analytic functions, with some applications27 - Hörsaal Gebäude
Hörsaal IV
Mathematisches Kolloquium
Hide details for 15 - Wednesday15 - Wednesday
1996-05-1510:45Manfred JaegerRepresentation Independence of Nonmonotonic Inference Relations46.1 - MPII
023
AG2 Seminar
1996-05-1514:00Wojciech SkutAdjuncts, Phrase Structure and Scope Ambiguity17.3 - Computerlinguistik
Seminarraum, EG
Computerlinguistischen Kolloquium
1996-05-1516:15Fred PopowichMachine Translation in Informal Contexts43.1 - DFKI
1.01
Computerlinguistischen Kolloquium
Hide details for 14 - Tuesday14 - Tuesday
1996-05-1417:00G. LumerUndetected large signals governed by parabolic equations27 - Hörsaal Gebäude
Seminarraum 5
Oberseminar
Hide details for 13 - Monday13 - Monday
1996-05-1314:00Thomas KampsAutomatische Generierung multimodaler Präsentationen aus einem Faktennetz43.1C
+1.01
DFKI-Kolloquium
1996-05-1316:00Hannah BastWahrscheinlichkeitsrechnung: Intuition und Theorie45
015
Seminar des Graduiertenkollegs
Hide details for 9 - Thursday9 - Thursday
1996-05-0916:15Maarten de RijkeExpressivity and Modal Logic46.1 - MPII
019
Logik-Seminar
Hide details for 8 - Wednesday8 - Wednesday
1996-05-0810:00Tom ReutterTextverarbeitung in der World Languages Research Group bei Microsoft43.1C
+1.01
Vorführung
Hide details for 7 - Tuesday7 - Tuesday
1996-05-0716:15Maarten de RijkeLogic, Bisimulations and Processes46.1 - MPII
019
Logik-Seminar
Hide details for April 1996April 1996
Hide details for 26 - Friday26 - Friday
1996-04-2610:00Dr. Alon LevyQuery Processing in the Information Manifold: Answering Queries using Structured sources on the WWW43.1 - DFKI
1.01
DFKI-Kolloquium
1996-04-2615:15Bertrand Le SaecTowards a structural coverage measure for protocols46.1 - MPII
019
Logik-Seminar
Hide details for 24 - Wednesday24 - Wednesday
1996-04-2410:45Yannis DimopoulosLearning Non-Monotonic Logic Programs46.1 - MPII
023
Working Group Seminar
Hide details for 19 - Friday19 - Friday
1996-04-1913:00Robert KnuthQuantitative Analyse von DLX-Pipeline-Architekturen36 - Informatik
-1.12
Promotionskolloquium

Previous Page | Next Page | Expand All | Collapse All