Prof. Dr. Helmut Seidl

Talks for the German Olympic CS Team

• Presburger Arithmetic (2002)

• Datalog: Computing with Relations (2001)

• Von MiniJava zur MiniJVM (2000)

Tutorials

• Precise Program Analysis, Strategy Iteration and Games (2008)
• Interprocedurally Analyzing Polynomial Identities (2006)
• Advanced Solver Technology: Computing with Relations (2006)
• Advanced Solver Technology: Beyond the Finite (2006)
• Advanced Solver Technology: Beyond Recognizability (2006)
• Treeautomata for Document Processing (2003)
• Antrittsvorlesung, TU München (2003)
• XML: Foundations and Challenges (2002)