März 2018.

LIT Lecture am 14. März 2018

Herzlich willkommen!

Denkende  Autos, U-Bahnen auf Computerchips, Fingerabdrücke von Atomen - wenn Sie wissen wollen, worum es an der JKU geht, sind Sie herzlich eingeladen, an der LIT Lecture Series teilzunehmen!


"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


14. März 2018


12.00 - 13.30 Uhr


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


Uni-Center, Festsaal A


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)

Wir weisen darauf hin, dass mit Abspielen des Videos u.U. Daten an Dritte übermittelt werden. Weitere Infos finden Sie in unserer Datenschutzerklärung

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)