15.07.2026

Auf Einladung von Prof. Dr. Dietmar Seipel findet der folgende Vortrag statt:

Mittwoch, 15. Juli 2026, 10:00 Uhr, Raum 01.002, Zentrales Hörsaal- u. Seminargebäude Z6, Am Hubland

Prof. Dr. Salvador Abreu
University of Evora, Portugal

Declarative Problem-Solving in Leveraging High-Performance Hardware

Abstract

In this talk we present ways in which high-level declarative modeling and programming techniques may impact the use of modern computer architectures.

In particular, we show that using Logic and Constraint Programming as the formal basis for modeling problems and solutions thereto leads to scalable and effective use of modern computing architectures.

URL: Salvador Abreu