O καθηγητής Razvan Diaconescu (IMAR) επισκέπτεται τον Τομέα μας μέσω του προγράμματος Erasmus+ και προτιθεται να δωσει δυο σειρές διαλέξεων την Πέμπτη 25 και την Παρασκευή 26 Σεπτεμβρίου 2025, στην αίθουσα 1 του Τομέα Μαθηματικών – ΣΕΜΦΕ – ΕΜΠ (κτ. Ε) με το κάτωθι περιεχόμενο
Introduction to institution theory — part 1
Institution theory is a categorical model theory that is being applied extensively and successfully both in logic and in computer science.
In this talk we will present the concept of institution and how it can capture various logical systems. We will also discuss various
mappings between institutions, that can be used to encode between logical systems.
We will also discuss at a general level how institution theory is applied in logic and computer science, as well as various extensions of the standard institution theory towards non-classical logics.
The necessary background for this talk is elementary category theory (up to the concept of adjoint functors) and some elementary model theory.
The talk is based on material from the monograph “Institution-independent model theory”, Birkhauser 2025, second, extended edition.
Introduction to institution theory — part 2
In this talk, we will present a Galois connection between the syntax and the semantics in institution theory, the construction of colimits of theories, the concept of model amalgamation, the method of diagrams, and develop a result on the existence of free models at the abstract institution theoretic level.
With one exception, all these are themes that are most relevant in the context of computer science applications, especially for modularisation systems, for initial semantics in algebraic specification, and for denotational semantics in logic programming.
The necessary background for this talk is elementary category theory (up to the concept of adjoint functors) and some lementary model theory.
The talk is based on material from the monograph “Institution-independent model theory”, Birkhauser 2025, second, extended edition.
Also, it is necessary to have attended the previous talk.
Για περισσότερες πληροφορίες μπορείτε να επικοινωνήσετε με τον Καθηγητή κ. Πέτρο Στεφανέα petros@math.ntua.gr