Zur JKU Startseite
Linz Institute of Technology
Was ist das?

Institute, Schools und andere Einrichtungen oder Angebote haben einen Webauftritt mit eigenen Inhalten und Menüs.

Um die Navigation zu erleichtern, ist hier erkennbar, wo man sich gerade befindet.

LIT Breakfast Briefing

Univ.-Prof. Dr. Martina Seidl and Dr. He Sun


LIT OIC Breakfast Briefing

Our LIT Breakfast Briefings not only provide a brief introduction into an emerging field of research and current cutting-edge research being conducted at the JKU, but also looks at the potential to apply key research developments to address real-world problems. Two topics – 30 minutes.

Date: 08.06.2021, 08:30-09:00 am
Online via Zoom


Univ.-Prof. Dr. Martina Seidl (Institute for Symbolic Artificial Intelligence)   

Competitions as Scientific Method

Automated reasoning as successfully applied for software and hardware verification is a complex task. It is supported by advanced reasoning tools like solvers and theorem provers that implement sophisticated techniques for solving provably hard problems. To objectively evaluate the state of the art, research communities organize competitions that distinguish the fast and best tools. Besides providing insights into recent tool developments, such competitions also identify interesting research problems. Thus the outcome of competitions motivates researchers to push the boundaries of their technologies, further improving the state of the art. In this talk, we take a closer look at the role of software competitions as a scientific method. Based on the examples of some successful competitions, we explain their general setup and how they contribute to the  scientific progress of a research community.


Dr. He Sun (Institute of Organic Chemistry)

Design of Electrochemical Flow-cell for Efficient Electrocatalytic CO2 Conversion

CO2 electroreduction processes can provide sustainable pathways to produce valuable chemicals and fuels. Developing an efficient scalable electrolyzer for CO2 will help store renewable energies into useful chemicals while replacing greenhouse gas emissions. However, electrochemical performance in a large scale is limited by low CO2 concentration and diffusivity. Here we discuss some recent research aspects of designing electrodes and cell stacks of electrolyzers for enhancing efficient CO2 reduction.

Registration until 4th of June:

https://www.reglist24.com/reglist_anmeldung.php?list_id=5178323, öffnet eine externe URL in einem neuen Fenster


Zoom-Link: https://jku.zoom.us/j/95663062177, öffnet eine externe URL in einem neuen Fenster

Meeting-ID: 956 6306 2177