Deutsch Intern
Institute of Computer Science

31.10.2022

Informatik-Kolloquium

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

Montag, 31. Oktober 2022, 10:15 Uhr,  SE III, Informatikgebäude, Am Hubland

Prof. Dr. Salvador Abreu
Universidade de Évora, Portugal

P-CCoLo: Persistent Contextual Constraint Logic

Abstract

In this talk we introduce P-CCoLo, a Contextual Constraint Logic Programming language positioned as a mediator framework for the development of heterogeneous knowledge-based systems. The language is based on Contextual Logic and brings manageable scalability to logic programs with a flexible program composition scheme.

Short Bio

Salvador Abreu is Professor of Computer Science at the University of Evora (Portugal), founder and head of the Laboratory of Informatics, Systems and Parallelism (LISP, later NOVA LINCS), and external member at the CRI research laboratory of University Paris-1 (Pantheon Sorbonne). He was a JSPS (Japan Society for the Promotion of Science) Long Term invitation fellow, hosted at the University of Tokyo in 2015.
He held several leadership positions at the University of Evora (among which is president of the Scientific Council of the School of Science and Technology, head of the CS Department).
His work has focused on tools and applications of declarative programming, including the GNU Prolog system and several constraint-based meta-heuristic solvers focussing on the exploitation of non-standard computing architectures.

Homepage

http://www.di.uevora.pt/~spa/