Seminar: Rule Based and Constraint Programming


Registration is organized centrally for all seminars of the faculty. You will be contacted by e-mail after registration. Do not hesitate to contact Sascha Rechenberger if you experience any problems or have questions about the process.

The Seminar is a platform to learn about, analyze and evaluate recent research approaches. Furthermore, it enhances presentation skills of scientific content by literature review, preparation of a scientific report, presentation and discussion of selected texts: The students familiarize themselves with their chosen topic, prepare a written report, give a scientific talk of their topic and participate in the discussion of the other presentations.

Topic: Recent Research on Declarative Programming

This bachelor and masters seminar will be concerned with recent research topics on declarative programming and programming languages, as well as constraint programming in particular. Here, one can have an in-depth look into an elegant and powerful programming paradigm and its formal foundations, as well as deepen existing knowledge. Some knowledge in formal logic and declarative programming languages is recommended.

Possible topics:

  • Functional and logic Programming
  • Constraint Handling Rules
  • Constraint Logic Programming
  • Constraint Satisfaction Problems
  • Satisfiability Modulo Theories
  • SAT and SMT in practice
  • ...