Institut für Informatik



    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


    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.