close

March 2018.

LIT Lecture March 14, 2018

Welcome!

Cars capable of thinking, subways on computer chips, an atom's fingerprint - if you want to know what is going on at the JKU, we invite you to attend a presentation during the LIT Lecture Series!

Programm:

"Con Espressione! AI, Machine Learning & Music" Gerhard Widmer (Department of Computational Perception)

"Ultra-sensitive sequencing-the path to discovering rare mutations" Irene Tiemann-Boege (LIT / Institute of Biophysics)

"Teaching Computational Thinking via Logical Modeling and Reasoning" Armin Biere (LIT / Institute for Formal Models and Verification)

LIT Lecture

Date

14 March, 2018

Starting Time

12.00 - 13.30 Uhr

Address

Johannes Kepler Universität Linz
Altenberger Straße 69
4040 Linz

Where

Uni-Center, Festsaal A

Program

Con Espressione! AI, Machine Learning & Music

Music is a wonderful thing, and as a complex manifestation of human intellect and creativity, it is a wonderful object of study for a discipline that calls itself Artificial Intelligence. We will look at recent AI research that tries to shed new light onto a central musical art: expressive performance. The audience will be subjected to a little experiment, which may, or may not, yield a surprising result.

Gerhard Widmer (Department of Computational Perception)

Ultra-sensitive sequencing-the path to discovering rare mutations

Mutations include single changes in our DNA that are as hard to detect as a needle in a haystack. To date, finding mutations in the human genome involves an enormous sequencing effort or is limited by technical artifacts. Our USS project is devised to discover individual mutations in our genome at an unprecedented sensitivity by using smart bioinformatics and creative molecular design.

Irene Tiemann - Boege (LIT / Institute of Biophysics)

Teaching Computational Thinking via Logical Modeling and Reasoning

Computational thinking is one of the most important skills today. Besides algo-rithmic aspects, the key in computational thinking is precise formal modeling and reasoning, based on mathematical logic. In the LOGTECHEDU project, we are building software based on logic to aid education in science, technology, engineering and mathematics and to support students to better understand logic itself.

Armin Biere (LIT / Institute for Formal Models and Verification)