Course categories:

Magister- und Dissertantenseminar (P. Paule)
Lecturer: Peter Paule

The purpose of the meetings is to discuss progress made in diploma or PhD theses advised by the lecturer.

Projektseminar Algorithmische Kombinatorik
Lecturer: Peter Paule

The seminar language is English.

The overall goal of this seminar is to study aspects of recent algorithmic developments, and to discuss progress made in various research projects.

Major topics of interest are: symbolic summation and integration, special functions, and related themes like difference equations, generating functions, etc. The main focus is on the design of new computer algebra algorithms.

Despite its research character, the structure of the seminar is such that ambitious students, being new to the area, have a chance to contribute in an active manner. Usually this happens in the form of approx. 120 minutes talks.

Requirements: Active knowledge from "Analytische Kombinatorik" and "Computer Algebra I"

Spezialvorlesung Special Functions I
Lecturer: Peter Paule
The lecture will be in English.

In many different areas of mathematics one meets special function. For example: gamma function, (q-)binomial coeeficients, exp/log- and sin/cos-integrals, Airy and Bessel functions, (q-)hypergeometric series, or orthogonal polynomials. The lecture discusses elementary properties of such functions. A particular emphasis is put on computer algebra algebra algorithms for proving identities.

Analytische Kombinatorik
Lecturer: Peter Paule

The lecture will be in English. The learning goal is to develop basic skills and techniques which are relevant to problem solving when dealing with formulas related to enumeration, in particular, for the analysis of algorithms.

A major emphasis of the lecture is on putting computer algebra into action. Recently developed algorithms will be discussed, for instance, the Steele-prized summation algorithm by Zeilberger.

Requirements: Basic knowledge from analysis and linear algebra.

Note: Within the frame of this lecture various topics for a diploma thesis are offered.

Praktische Softwaretechnologie
Lehrer: Martin Giese

Hauptthema des Kurses ist die Einführung in die objekt-orientierte
Softwareentwicklung, mit einer kurzen Einführung in JAVA, UML, sowie einige Werkzeuge zur Unterstützung der Software-Entwicklung.
Formal Models for Parallel and Distributed Systems (WS 2006/07)
Lecturer: Wolfgang Schreiner

This course deals with the formal modeling of concurrent systems such as parallel or multi-threaded programs, distributed hardware and software systems, mobile systems, and the like.
Formal Semantics of Programming Languages (WS 2006/07)
Lecturer: Wolfgang Schreiner

This course presents the major methods for defining the meaning of
languages (operational semantics, denotational semantics, axiomatic
semantics) and programs and discusses their relationship.
Formale Grundlagen 2 (WS 2006/07)
Lektor/in: Wolfgang Schreiner
Lektor/in: Ralf Hemmecke
Lektor/in: Christoph Koutschan

In dieser LVA behandeln wir den formalen
Berechenbarkeitsbegriff anhand von rekursiven Funktionen und
Turingmaschinen. Darauf aufbauend befassen wir uns mit der
Entscheidbarkeit bzw. Unentscheidbarkeit von Problemen, mit
Komplexitätsklassen und vollständigen Problemen.
Project Seminar Formal Methods in Computer Science (WS 2006/07)
Lecturer: Wolfgang Schreiner
Lecturer: Franz Lichtenberger

In this seminar, we explore current research
and systems for specifying and verifying computer programs
(specification languages, program verifiers, model checkers, ...).