Lehrveranstaltungen der Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion

Da die Arbeitsgruppe seit dem Wintersemester 2025/26 nicht mehr existiert, finden sich hier nur Referenzen auf ältere Lehrveranstaltungen.

Die nachfolgende Liste der Lehrveranstaltungen ist nicht vollständig. Weitere Lehrveranstaltungen sind auch im offiziellen Vorlesungsverzeichnis der Christian-Albrechts-Universität zu Kiel zu finden.

Lehrveranstaltungen im Wintersemester 2024/25

• Vorlesung "Deklarative Programmierung" (infDP-01a) (Weitere Informationen)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2024

• Vorlesung "Deklarative Programmiersprachen (Inf-DPS)" (Weitere Informationen)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2023/24

• Vorlesung "Deklarative Programmierung" (infDP-01a) (Weitere Informationen)
• Vorlesung "Prinzipien von Programmiersprachen (Inf-PPS)" (Weitere Informationen)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-PS) (weitere Informationen, Sammlung möglicher Papiere für Seminarvorträge)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2023

• Vorlesung "Übersetzerbau" (Inf-CB) (Weitere Informationen)
• Masterprojekt "Programmiersprachen und Programmiersysteme" (Inf-MPPS)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-PS) (weitere Informationen, Sammlung möglicher Papiere für Seminarvorträge)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2022/23

• Vorlesung "Deklarative Programmierung" (infDP-01a) (Weitere Informationen)
• Vorlesung "Deklarative Programmiersprachen (Inf-DPS)" (Weitere Informationen)
• Bachelorseminar "Programmierung und Programmiersprachen" (Inf-Sem-PS) (Weitere Informationen)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-PS) (weitere Informationen, Sammlung möglicher Papiere für Seminarvorträge)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2022

• Vorlesung "Prinzipien von Programmiersprachen (Inf-PPS)" (Weitere Informationen)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-PS) (Sammlung möglicher Papiere für Seminarvorträge)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2021/22

• Vorlesung "Fortgeschrittene Programmierung" (Inf-FortProgP) (Weitere Informationen)
• Vorlesung "Übersetzerbau" (Inf-CB) (Weitere Informationen)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-PS) (Sammlung möglicher Papiere für Seminarvorträge)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2020/21

• Vorlesung "Fortgeschrittene Programmierung" (Inf-FortProgP) (Weitere Informationen)
• Vorlesung "Deklarative Programmiersprachen (Inf-DPS)" (Weitere Informationen)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-PS) (Sammlung möglicher Papiere für Seminarvorträge)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2020

• Vorlesung "Prinzipien von Programmiersprachen (Inf-PPS)" (Weitere Informationen)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-PS) (weitere Informationen, Sammlung möglicher Papiere für Seminarvorträge)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2019/20

• Vorlesung "Fortgeschrittene Programmierung" (Inf-FortProgP) (Weitere Informationen)
• Vorlesung "Übersetzerbau" (Inf-CB) (Weitere Informationen)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-PS) (weitere Informationen, Sammlung möglicher Papiere für Seminarvorträge)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2019

• Vorlesung "Deklarative Programmiersprachen (Inf-DPS)" (Weitere Informationen)
• Bachelorabschlussprojekt "Programmiersprachen und Programmiersysteme" (Inf-BAP-PS) (Vorbesprechung: 8.4.2019, 14:15 Uhr, CAP4-715)
• Masterprojekt "Programmiersprachen und Programmiersysteme" (Inf-MPPS) (Vorbesprechung: 8.4.2019, 14:15 Uhr, CAP4-715)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-PS)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2018/19

• Vorlesung "Fortgeschrittene Programmierung" (Inf-FortProgP) (Weitere Informationen)
• Vorlesung "Prinzipien von Programmiersprachen (Inf-PPS)" (Weitere Informationen)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-PS)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2018

• Vorlesung "Übersetzerbau" (Inf-CB) (Weitere Informationen)
• Bachelorabschlussprojekt "Programmiersprachen und Programmiersysteme" (Inf-BAP-PS) (Vorbesprechung: 9.4.2018, 14:00 Uhr, CAP4-715)
• Masterprojekt "Programmiersprachen und Programmiersysteme" (Inf-MPPS) (Vorbesprechung: 9.4.2018, 14:00 Uhr, CAP4-715)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-PS)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2017/18

• Vorlesung "Fortgeschrittene Programmierung" (Inf-FortProg) (Weitere Informationen)
• Vorlesung "Deklarative Programmiersprachen (Inf-DPS)" (Weitere Informationen)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-PS) (Weitere Informationen)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2017

• Vorlesung "Prinzipien von Programmiersprachen (Inf-PPS)" (Weitere Informationen)
• Masterprojekt "Programmiersprachen und Programmiersysteme" (Inf-MP-PS) (Weitere Informationen)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2016/17

• Vorlesung "Fortgeschrittene Programmierung" (Inf-FortProg) (Weitere Informationen)
• Vorlesung "Übersetzerbau (Inf-CB)" (Weitere Informationen)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2015/16

• Vorlesung "Deklarative Programmiersprachen (Inf-DPS)" (Weitere Informationen)
• Abschlussprojekt "Programmiersprachen und Programmiersysteme" (Inf-AP-PS) (Weitere Informationen)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-Sem-PS) (Weitere Informationen)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2015

• Vorlesung "Fortgeschrittene Programmierung" (Inf-FortProg) (Weitere Informationen)
• Vorlesung "Prinzipien von Programmiersprachen (Inf-PPS)" (Weitere Informationen)
• Masterprojekt "Programmiersprachen und Programmiersysteme" (Inf-MP-PS) (Weitere Informationen)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-Sem-PS) (Weitere Informationen)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2014/15

• Vorlesung "Programmierung" (Inf-Prog) (Weitere Informationen)
• Vorlesung "Übersetzerbau (MS0302)" (Weitere Informationen)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-Sem-PS) (Weitere Informationen)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2014

• Vorlesung "Fortgeschrittene Programmierung" (Inf-FortProg)
• Vorlesung "Deklarative Programmiersprachen (MS0303)" (Weitere Informationen)
• Masterprojekt "Programmiersprachen und Programmiersysteme" (Inf-MP-PS) (Weitere Informationen)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2013/14

• Vorlesung "Programmierung" (Inf-Prog) (Weitere Informationen)
• Vorlesung "Prinzipien von Programmiersprachen (MS0301)" (Weitere Informationen)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-Sem-PS) (Weitere Informationen)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2013

• Vorlesung "Fortgeschrittene Programmierung" (Inf-FortProg) (Weitere Informationen)
• Vorlesung "Übersetzerbau (MS0302)" (Weitere Informationen)
• Masterprojekt "Programmiersprachen und Programmiersysteme" (Inf-MP-PS) (Weitere Informationen)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2012/13

• Vorlesung "Programmierung" (Inf-Prog) (Weitere Informationen)
• Vorlesung "Deklarative Programmiersprachen (MS0303)" (Weitere Informationen)
• Bachelorseminar "Programmierung und Programmiersprachen" (Inf-Sem-PS) (Weitere Informationen)
• Masterseminar "Programmiersprachen und Programmiersysteme" (Inf-MS-Sem-PS) (Weitere Informationen)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2012

• Vorlesung "Fortgeschrittene Programmierung" (Inf-FortProg) (Weitere Informationen)
• Vorlesung "Prinzipien von Programmiersprachen (MS0301)" (Weitere Informationen)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2011/12

• Vorlesung "Programmierung" (Inf-Prog) (Weitere Informationen)
• Vorlesung "Übersetzerbau (MS0302)" (Weitere Informationen)
• Abschlussseminar (hier sind Vorschläge für Abschlussarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2010/11

• Vorlesung "Programmierung" (Inf-Prog) (Weitere Informationen)
• Vorlesung "Deklarative Programmiersprachen (MS0303)" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2010

• Vorlesung "Fortgeschrittene Programmierung" (WI09) (Weitere Informationen)
• Vorlesung "Prinzipien von Programmiersprachen (MS0301)" (Weitere Informationen)
• Seminar "Programmiersprachen und Programmiersysteme (MSS0302)" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2009/2010

• Vorlesung "Programmierung" (Inf-Prog) (Weitere Informationen)
• Vorlesung "Übersetzerbau (MS0302)" (Weitere Informationen)
• Masterabschlusseminar Programmiersprachen (MSS0303) (hier sind Vorschläge für Masterarbeiten)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2009

• Vorlesung "Fortgeschrittene Programmierung" (WI09) (Weitere Informationen)
• Vorlesung "Deklarative Programmiersprachen (MS0303)" (Weitere Informationen)
• Seminar "Programmiersprachen und Programmiersysteme" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2008/2009

• Vorlesung "Informatik I (Programmierung)" (Weitere Informationen)
• Vorlesung "Prinzipien von Programmiersprachen (MS0301)" (Weitere Informationen)
• Bachelor-Projektmodul Werkzeuge zur Fehlersuche (Debug)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2008

• Vorlesung "Übersetzerbau (MS0302)" (Weitere Informationen)
• Bachelor-Projektmodul und Fortgeschrittenenpraktikum Internetprogrammierung
• Vorlesung "Funktionale Programmierung (MS0304)"
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2007/2008

• Vorlesung "Informatik I (Programmierung)" (Ankündigung)
• Programmierpraktikum "Informatik I" (Ankündigung)
• Vorlesung "Nebenläufige und verteilte Programmierung (MS0306)" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2007

• Vorlesung "Deklarative Programmiersprachen" (Weitere Informationen)
• Seminar "Funktionale Programmiertechniken" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2006/2007

• Vorlesung "Prinzipien von Programmiersprachen" (Weitere Informationen)
• Seminar "Programmierwerkzeuge" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2006

• Vorlesung "Übersetzerbau" (Weitere Informationen)
• Vorlesung "Logikprogrammierung" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2005/2006

• Vorlesung "Informatik I (Programmierung)" (Ankündigung)
• Programmierpraktikum "Informatik I" (Ankündigung)
• Seminar "Fortgeschrittene Techniken der funktionalen Programmierung" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2004/2005

• Vorlesung "Prinzipien von Programmiersprachen" (Weitere Informationen)
• Fortgeschrittenen-Praktikum "Internet-Programmierung" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2004

• Vorlesung "Deklarative Programmiersprachen" (Weitere Informationen)
• Seminar "Implementierung von Programmiersprachen" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2003/2004

• Vorlesung "Informatik I (Programmierung)" (Ankündigung)
• Programmierpraktikum"Informatik I" (Ankündigung)
• Vorlesung "Übersetzerbau" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2003

• Vorlesung "Logikprogrammierung" (Weitere Informationen, Informationen zu den Übungen)
• Seminar "Programmierung verteilter Systeme" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2002/2003

• Vorlesung "Prinzipien von Programmiersprachen" (Weitere Informationen)
• Vorlesung "Nebenläufige und verteilte Programmierung"
• Fortgeschrittenen-Praktikum "Internet-Programmierung" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2002

• Vorlesung "Deklarative Programmiersprachen" (Weitere Informationen, Informationen zu den Übungen)
• Seminar "Programmiersprachen für eingebettete Systeme und Echtzeitsysteme" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2001/2002

• Vorlesung "Informatik I (Programmierung)" (Ankündigung, Informationen zu den Übungen)
• Programmierpraktikum"Informatik I" (Ankündigung)
• Vorlesung "Übersetzerkonstruktion" (Weitere Informationen)
• Seminar "Objektorientierte Entwurfstechniken und Programmiersprachen" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2001

• Vorlesung "Prinzipien von Programmiersprachen" (Weitere Informationen, Informationen zu den Übungen)
• Fortgeschrittenen-Praktikum "Verteilte Programmierung" (Weitere Informationen)
• Seminar "Hochsprachen zur nebenläufigen und verteilten Programmierung" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2000/2001

• Vorlesung "Informatik I" (Weitere Informationen)
• Vorlesung "Logikprogrammierung" (Weitere Informationen)
• Seminar Internet-Programmiersprachen (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2000

• Vorlesung "Übersetzerkonstruktion" (Weitere Informationen)
• Vorlesung "Deklarative Programmiersprachen" (Weitere Informationen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft Programmiersprachen und Programmiermethodik