Seminar Guarded Logics and Automata

WS 2017/18

Registration

  • Students with a subject in mathematics can apply by writing an email to seminar [AT] logic.rwth-aachen.de including their name, immatriculation no., subject of studies, no. of semesters of studies, and information about relevant modules they have passed (especially lectures from our group).
  • Students in computer science need to apply via the central assignment of seminar places.

Organisation

Die Veranstaltung wird als Blockseminar angeboten, die Vorträge werden am Ende des Semesters wahlweise auf deutsch oder englisch gehalten.

Organisation

The talks are given at the end of the semester in a block.

Content

Will be published here soon.

Literature

Classification

  • Informatik (B.Sc.)/Seminare
  • Informatik (B.Sc.)/Zusätzliche Veranstaltungen
  • Informatik (M.Sc.)/Theoretische Informatik
  • Mathematik (B.Sc.)
  • Mathematik (M.Sc.)/Reine Mathematik
  • Mathematik (GYM+GS,BK,SII)/Mathematik
  • TK 2. Fach-Grundlagen der Informatik (M.Sc.)/Seminar

Prerequisites

  • Module Mathematical Logic
  • Basic knowledge in the field automata theory
  • for B.Sc. Computer Science: Module "Einführung in das wissenschaftliche Arbeiten (Proseminar)"

Contact

Erich Grädel, Matthias Hoelzel, Frederic Reinhardt, Svenja Schalthöfer, Richard Wilke