Geeignete Vorlesungen für GRK-Stipendiaten im Sommersemester 2000

NameThemaOrtZeit
Prof. Peter BuchholzPetri NetzeGRU 470Mi 2. DS
Prof. Manfred DrosteTheoretische Informatik: BerechenbarkeitstheorieBEY 0114 u. WIL C 129Mi 4. DS u. Fr 3. DS
Gruppentheorie: Grundlagen der Gruppentheorie, Isomorphiesätze, Sylow-Sätze, auflösbare GruppenWIL A 120Di 2. DS
Seminar Ausgewählte Kapitel der Informatik: Ausgewählte neuere Arbeiten zur AutomatentheorieWIL C 130Do 3. DS
Prof. Bernhard GanterBegriffliche WissensdarstellungWIL C 129Di 7. DS
Prof. Steffen Hölldobler/ Prof. Michael ThielscherFoundations of Cognitive RoboticsHG 350Mo 2. DS u. Do 3. DS
Prof. Horst ReichelFormal Specification of Data and Process TypesGRU 356Di 2. DS
Prof. Heiko VoglerImplementation of imperative programming languagesHG 350Di 2. DS u. Mi 2. DS



Geeignete Vorlesungen für GRK-Stipendiaten im Wintersemester 2000/2001

NameThemaOrtZeit
Prof. Manfred DrosteAlgebraische Grundlagen der InformatikWIL-C207 u. WIL-A124Di 2. DS u. Fr 2. DS
Algebraische AutomatentheorieWIL-C207Mi 3. DS
Seminar Ausgewählte Kapitel der InformatikWIL C105Mi 6. DS
Prof. Reinhard PöschelUniverselle Algebra
(Dr. Seidel)
 Di 5. DS
Prof. Horst Reichel/Prof. Heiko VoglerHauptseminar Inductionless InductionHG 151Mi 4. DS
Prof. Heiko VoglerAttribute GrammarsHG 350Fr 3. DS



Geeignete Vorlesungen für GRK-Stipendiaten im Sommersemester 2001

NameThemaOrtZeit
Prof. Bernhard GanterQualitative DatenanalyseWIL C129Di 3. DS
Prof. Reinhard PöschelFunktionen- und RelationenalgebrenWIL C129 u. WIL A120Mi 7. DS u. Fr 1. DS
Prof. Horst ReichelFormal Specification of Data and Process TypesHS 350Mi 2. DS
Prof. Michael ThielscherFoundation of Cognitive RoboticsHG 350Mo 3. DS u. Do 4. DS
Prof. Heiko VoglerSyntax-Directed SemanticsHG 350Mi 4. DS u. Do 3. DS



Geeignete Vorlesungen für GRK-Stipendiaten im Wintersemester 2001/2002

NameThemaOrtZeit
Prof. Manfred DrosteGruppentheorieWIL C 133Do 2. DS
Prof. Steffen HölldoblerIntroduction to Computational LogicGRU 350Di 3. DS u. Mi 2. DS
Prof. Reinhard PöschelUniverselle AlgebraWIL A124Do 1. DS
Prof. Horst ReichelFormal Modells of ConcurrencyGRU 350Do 2. DS



Geeignete Vorlesungen für GRK-Stipendiaten im Sommersemester 2002

LehrbeauftragterLehrveranstaltung
Prof. Franz BaaderLogic-based Knowledge Representation
Prof. Peter BuchholzPetri Nets
Prof. Manfred DrosteAlgebra 2
Prof. Bernhard GanterFormal Concept Analysis: Basic Theory and Algorithmus
 International Seminar
Prof. Michael ThielscherFoundations of Cognitive Robotics
Prof. Heiko VoglerAttribute Grammars



Geeignete Vorlesungen für GRK-Stipendiaten im Wintersemester 2002/2003

NameVeranstaltungOrtZeit
Prof. Franz BaaderAutomata and LogicGRU 350Di u. Do 6. DS
Prof. Peter BuchholzNaturanaloge OptimierungsverfahrenGRU 356Mo 6. DS
Prof. Manfred DrosteAlgebraische AutomatentheorieWIL C 129Do 6. DS
Prof. Steffen HölldoblerIntroduction to Computational LogicGRU 350Mo u. Mi 2. DS
HDoz. Dr. Dietrich KuskeBerechenbarkeit und LogikWIL B122 u. WIL C206Di 6. DS u. Mi 5. DS
Prof. Reinhard PöschelUniverselle AlgebraWIL A 120Mi 7. DS
Prof. Heiko VoglerSyntax-Directed SemanticsGRU 350Mi u. Do 4. DS



Geeignete Vorlesungen für GRK-Stipendiaten im Sommersemester 2003

NameVeranstaltungOrtZeit
Prof. Franz BaaderTerm rewriting systemsGRU 350Di 6. DS u. Do 5. DS
Prof. F. Baader u. Dr. C. LutzModal LogicGRU 350Mo 4. DS
Prof. M. Droste u. HDoz. Dr. D. KuskeAlgebraische Grundlagen der InformatikWIL A 120 u. WIL C 133Mo 4. DS u. Do 2. DS
Prof. Bernhard GanterFormale BegriffsanalyseWIL B 321Fr 2. DS
Prof. Steffen HölldoblerMachine LearningGRU 350Mo 2. DS
HDoz. Dr. Dietrich KuskeBeweistheorieWIL A 124Fr 5. DS
Prof. Horst ReichelAdvanced LogicsGRU 350Mi 2. DS u. Do 2. DS
 Formal Specification of Data and Process TypesGRU 350Do 4. DS
Prof. Michael ThielscherReasoning AgentsGRU 350Mo 6. DS u. Di 7. DS



Geeignete Vorlesungen für GRK-Stipendiaten im Wintersemester 2003/2004

NameVeranstaltungOrtZeit
Prof. Manfred DrosteLogik und ModelltheorieWIL C 307Mi 2. DS
Prof. Reinhard PöschelUniverselle AlgebraWIL A 317Mi 2. DS
Prof. Horst ReichelProgrammverifikation und -spezifikation mit CoalgebrenGRU 470Mo 4. DS
Prof. Michael ThielscherReasoning Agents IIGRU 350Mo 5. DS u. Di 3. DS
Prof. Heiko VoglerFunktionale- und Logik-ProgrammierungGRU 150Mi u. Do 4. DS



Geeignete Vorlesungen für GRK-Stipendiaten im Sommersemester 2004

NameVeranstaltungOrtZeit
Prof. Franz BaaderTerm Rewriting SystemsGRU 350Di u. Do 6. DS
Prof. Reinhard PöschelKategorientheorieWIL C 133Mo 6. DS
Prof. Michael ThielscherReasoning AgentsGRU 350Mo u. Do 5. DS
Prof. Heiko VoglerThe algebraic path problemGRU 350Mi u. Do 4. DS
 AttributgrammatikenGRU 450Mi 5. DS


Geeignete Vorlesungen für GRK-Stipendiaten im Wintersemester 2004/2005

NameVeranstaltungOrtZeit
Prof. Reinhard PöschelUniverselle AlgebraWIL C 129V: Di 1. DS
Prof. Michael ThielscherReasoning Agents 2GRU 350S: Mi 7. DS
Prof. Heiko VoglerSyntax-Directed SemanticsGRU 350V: Mo 3. DS & Di 3. DS,
Ü: Do 4. DS
 Compilerbau (deutsch)GRU 150+250V: Di 5. DS (150) & Mi 6. DS (250),
Ü: Mi 2. DS (250)
Prof. Franz BaaderAutomata and LogicGRU 350V: Di 6. DS & Do 6. DS,
Ü: Mi 3. DS
Prof. Steffen HölldoblerScience of Computational LogicGRU 350V: Mo 2. DS oder Mi 2. DS,
Ü: Mo 4. DS oder Fr 3. DS


Geeignete Vorlesungen im Sommersemester 2005

NameVeranstaltungOrtZeit
Prof. Heiko VoglerSyntax-Directed SemanticsGRU 350V: Di 5. DS & Mi 4. DS
Ü: Mo 2. DS
Prof. Heiko VoglerAlgebraic OptimizationGRU 350S: Fr 4. DS
Prof. Franz BaaderLogic-based Knowledge RepresentationGRU 350V: Di 6. DS & Do 6. DS,
Ü: Mi 2. DS
Prof. Michael ThielscherReasoning AgentsGRU 350V: Mo 4. DS & V/Ü: Do 5. DS
Dr. Hendrik TewsCoalgebraische Spezifikation und VerfeinerungGRU 358V: Mi 4. DS,
Ü: Di 4. DS
Prof. Steffen HölldoblerLogic Programming and Connectionist SystemsGRU 350V/Ü: Di 2. DS


Geeignete Vorlesungen im Wintersemester 2005/2006

NameVeranstaltungOrtZeit
Prof. Michael ThielscherGeneral Game-PlayingGRU 350V: Do 4. DS
Prof. Michael ThielscherReasoning Agents IIGRU 350S: Fr 5. DS
Prof. Franz BaaderComplexity and LogicGRU 350V: Di 6. DS & Do 6. DS,
Ü: Mi 3. DS
Dr. Barbara MorawskaTheorem Proving and EqualityGRU 350V: Di 4. DS
Prof. Heiko VoglerThe Algebraic Path ProblemGRU 350V: Mo 3. DS & Di 2. DS,
Ü: Do 5. DS



Weitere Informationen zu den Vorlesungen sind den zugehörigen Web-Seiten zu entnehmen.

(Diese Seite wird nicht mehr gepflegt.)