Presentation and Workshops in Computer Science
Upper Level School Students 

Computer Science

Perfectly Logical?

Logic plays a ley role in many areas of science with logical formulas used in mathematics to prove theories, in electrical engineering to create circuits, as well as in computer science.
This workshop focuses on how automatic proofs can help solve puzzles, such as Sudoku, automatically. These simple games help participants learn about basic concepts of logical language and study the way modern automatic proofers solve problems.

Instructors: Univ. Prof. Armin Biere and Assoc. Univ. Prof. Dr. Martina Seidl

Workshop Info

Presentation Number



max. 25


approx. 3 hours (incl. breaks)