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 December 1995December 1995
Hide details for 12 - Tuesday12 - Tuesday
1995-12-1216:00Hans HagenGeometrisches Modellieren und wissenschaftliche VisualiserungUni Trier
V302
Informatik-Kolloquium der Uni Trier
Hide details for 7 - Thursday7 - Thursday
1995-12-0716:00Claire GardentFocus and Higher-Order Unification17.2 - Computerlinguistik
Seminarraum
Computerlinguistisches Kolloquium
Hide details for 4 - Monday4 - Monday
1995-12-0414:00Paola MonachesiDECOMPOSING ITALIAN CLITICS10 - PhilFak
Dekanatssitzungssaal der philosophischen Fakultaet
1995-12-0416:00Guy EvenSpreading metric based approximate graph partitioning algorithms36 - Informatik
406
Seminar des Graduiertenkollegs
Hide details for 1 - Friday1 - Friday
1995-12-0110:00Michael PohstArithmetik von Relativerweiterungen algebraischer Zahlkörper36 - Informatik
406
Mathematisches Kolloquium
Hide details for November 1995November 1995
Hide details for 30 - Thursday30 - Thursday
1995-11-3013:00Jörg ZeyerFaktorisieren mit dem Number Field Sieve36 - Informatik
406
Promotionskolloquium
1995-11-3015:00Christoph ThielOn the complexity of some problems in algorithmic algebraic number theory44 - MPII
117
Promotionskolloquium
1995-11-3016:00Luca DiniActional Classes and Event Composition17.3 - Computerlinguistik
Seminarraum, EG
Computerlinguistisches Kolloquium
Hide details for 29 - Wednesday29 - Wednesday
1995-11-2915:00Jörg KellerRealisierung und Verwendbarkeit von Parallelrechnern mit gemeinsamem Adreßraum36 - Informatik
-1.12
Vorstellungsvortrag für einen Habilitationsantrag
Hide details for 28 - Tuesday28 - Tuesday
1995-11-2816:00Uwe SchöningZufall und AlgorithmikUni Trier
V302
Informatik-Kolloquium der Uni Trier
Hide details for 27 - Monday27 - Monday
1995-11-2716:00George HavasComputing Canonical Forms of Matrices36 - Informatik
406
Informatik-Kolloquium
Hide details for 24 - Friday24 - Friday
1995-11-2415:00Prof. Dr. Heikki MannilaData Mining (or Knowledge Discovery)27 - Hörsaal Gebäude
HS III
MPI-Kolloquium
Hide details for 23 - Thursday23 - Thursday
1995-11-2311:00Uwe HefterATM - Aktivitäten der Deutschen Telekom AG13
HS -1.22
Hide details for 22 - Wednesday22 - Wednesday
1995-11-2217:00Neil TrudingerIsoperimetric inequalities and Monge-Amp'ere Equations27 - Hörsaal Gebäude
HSIV
Mathematisches Kolloquium
Hide details for 21 - Tuesday21 - Tuesday
1995-11-2116:30Manfred JaegerEine Logik für Default-Schliessen mit Wahrscheinlichkeiten44 - MPII
118
Promotionskolloquium
Hide details for 17 - Friday17 - Friday
1995-11-1715:15Frank LeymannEnterprise Aspects of Workflow Technology27 - Hörsaal Gebäude
HS III
Informatik-Kolloquium
1995-11-1716:30A.J. BirkStimulus Response Lernen - ein neues Machine Learning Paradigma27 - Hörsaal Gebäude
HSIV
Promotionskolloquium
Hide details for 16 - Thursday16 - Thursday
1995-11-1616:00Johannes MatiasekEin Generator für das Deutsche auf der Basis von FUF - Ein Experiment in der Wiederverwendung linguistischer Ressourcen17.2 - Computerlinguistik
Seminarraum
Vortrag Computerlinguistik
Hide details for 14 - Tuesday14 - Tuesday
1995-11-1414:00James RogersWhat Does a Grammar Formalism Say About a Language?Computerlinguistik
Seminar Room
Talk
1995-11-1416:00Reinhard WilhelmSystematische Ableitung paralleler numerischer ProgrammeUni Trier
V302
Informatik-Kolloquium der Uni Trier
Hide details for 10 - Friday10 - Friday
1995-11-1017:00Konrad PolthierKompakte Flächen konstanter mittlerer Krümmung - Konstruktion und Numerik27 - Hörsaal Gebäude
HS IV
Mathematisches Kolloquium
Hide details for 7 - Tuesday7 - Tuesday
1995-11-0716:00Fred GreenSmall Depth Circuits with Threshold and MOD-GatesUni Trier
V302
Informatik-Kolloquium
Hide details for 3 - Friday3 - Friday
1995-11-0315:15Sudhakar M. ReddyTesting of VLSI circuits - A personal perspective of the future27 - Hörsaal Gebäude
HS III
Informatik-Kolloquium
Hide details for 2 - Thursday2 - Thursday
1995-11-0214:00Dr. Hans RottWissensrevision: Kohärenz, Fundament und Nichtmonotonie43.1 - DFKI
1.01
DFKI-Kolloquium
Hide details for October 1995October 1995
Hide details for 26 - Thursday26 - Thursday
1995-10-2610:15Bernd GaedeSPASS: (S)ynergetic (P)rover (A)ugmenting (S)uperposition with (S)orts44 - MPII
333
AG2 Seminar
Hide details for 24 - Tuesday24 - Tuesday
1995-10-2416:15Stephane DemriBackward translations for modal logics44 - MPII
117
Logik-Seminar
Hide details for 23 - Monday23 - Monday
1995-10-2311:00Prof. Hassan Aït-KaciA New Foundation for Computation and Approximation43.1
1.01
DFKI-Kolloquium
1995-10-2316:00Dr. Bettina ButhAutomatische Verifikationsunterstützung für Operationsverfeinerung43.1 - DFKI
0.25
DFKI-Kolloquium
Hide details for 11 - Wednesday11 - Wednesday
1995-10-1114:00Mathias ReinholzExpertensysteme für die Entwicklung von Sicherheitsmodellen43.1
1.01
DFKI-Kolloquium
Hide details for September 1995September 1995
Hide details for 26 - Tuesday26 - Tuesday
1995-09-2616:15Johan MonteliusPenny, a parallel implementation of a CCP language43 - DFKI
+1.01
DFKI-Kolloquium
Hide details for 14 - Thursday14 - Thursday
1995-09-1411:00Shimon Even*No Title27 - HS III
Hörsaal 3
Hide details for August 1995August 1995
Hide details for 29 - Tuesday29 - Tuesday
1995-08-2916:15Hubert BaumeisterUsing Algebraic Specification Languages for Model Oriented
Specifications
44 - MPII
117
Logik-Seminar
Hide details for 25 - Friday25 - Friday
1995-08-2516:00Joachim NiehrenFunktionale Berechnung in einem nebenläufigen Kalkül mit
logischen Variablen
44 - MPII
117
Promotionskolloquium
Hide details for 16 - Wednesday16 - Wednesday
1995-08-1616:00Deepak KapurMaximal Extensions of Simplification Orderings44 - MPII
117
Logik-Seminar
Hide details for January 1995January 1995
Hide details for 11 - Wednesday11 - Wednesday
1995-01-1110:15Uwe BrahmUnterstützung der wissenschaftlichen Arbeit durch Groupware44 - MPII
117
Presentation

Previous Page | Next Page | Expand All | Collapse All