Section: Dissemination

Popularization

Marie Duflot-Kremer, Pascal Fontaine, and Stephan Merz presented some of the subjects and techniques that underly formal verification of protocols and algorithms at events like “Fête de la Science”. Using wooden puzzles, Sudoku sheets or boxes with locks, they explained how real-life problems can be represented in logical form and then solved using automated tools based on formal logic.

Marie Duflot-Kremer presented exercise sessions for high school students on “conducting a police investigation using databases” and “discovering Turing machines with Lego bricks”. She is also a member of the steering committee preparing an itinerant exposition intended for explaining computer science to high-school students.

Thomas Sturm, Uwe Waldmann, and Christoph Weidenbach are involved in the “Computer Science Research Days” which take place every year. Gifted students from all over Germany can actively participate in current research themes within the Max Planck Institute for Informatics, the Computer Science Department of Saarland University and the German Research Center for Artificial Intelligence. The goal is to fill young people with enthusiasm for the subject of computer science as well as to discover and support the development of new talent.