Lehrveranstaltungen der Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion

Vorschläge für neue Abschlussarbeiten (Bachelor, Master, Diplom) kann man hier finden.

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