Bachelor/Master Seminar (WS 2024/25)

We offer a Bachelor/Master seminar “Software Engineering” (cf. INF-33-11 / INF-33-72).

Topics

Each proof assistant is its own topics. We will look at the following proof assistants:

• Isabelle/HOL
  • A general purpose, semi-automated theorem prover based on Higher-Order Logic
• Dependently typed functional programming languages / theorem provers based on dependent type theory:
  • Coq
  • Lean
  • Idris
  • Agda
  • By the end of this seminar, and after attending the other groups’ presentations, you will know how these differ!
• Liquid Haskell
  • An addition on top of Haskell that allows specification and verification of programs with the help of SMT solving

Material

• Kick-off slides
• LaTeX template (mandatory!)

Schedule

• Kick-off Meeting (compulsory attendance): Thursday, 24.10.2024, 08:15 - 09:45 in 32-439
• Presentations (compulsory attendance on all three days):
  • Thursday, 16.01.2025, 08:30 - 09:45 in 32-439
  • Thursday, 23.01.2025, 08:30 - 09:45 in 32-439
  • Thursday, 30.01.2025, 08:30 - 09:45 in 32-439
• Paper draft submission deadline: seven weeks before your presentation (28.11/05.12./12.12.2024)
• Final paper submission deadline: 07.02.2025 at 23:59

Registration

You can register for the seminars of all Software Engineering working groups in this OLAT course.