Hellenic-Romanian Logic and Computation Seminar


Scope

This seminar is a facet of a long term collaboration between two research groups, from Greece and from Romania. The origin of this collaboration dates back to the early nineties when the co-chairs of this seminar were DPhil students of the late Professor Joseph Goguen, a paramount and unique scientist of the last century.
The seminar focuses on the algebraic specification tradition in its broad and modern acceptation. This includes specific logical methods in computing both at the theoretical and applied levels. One of the most important theoretical topics is represented by the axiomatic approach to model theory known as `institution theory', while the applied level includes also software systems designed for formal specification and verifications or for various logic-based programming paradigms.
Themes that do not fit exactly the main focus of the seminar are also welcome.

▲

Format

This is a monthly hybrid seminar. The hybrid aspect means that it is held both in online and in physical format. Each session of the seminar consists of a talk and a part dedicated to discussions. As the discussions represent a significant component of our activity, which is also meant to develop beyond the usual questions and answers, we allocate it a generous time slot. In fact we encourage the participants to elaborate and debate on the respective topic.

▲

Chairs

Răzvan Diaconescu
(Simion Stoilow Institute of Mathematics of the Romanian Academy – IMAR)
Petros Stefaneas
(National Technical University of Athens – NTUA)
▲

Are you interested in participating?

If yes, then write an email message to one of the chairs, either at

razvan.diaconescu@ymail.com
or at
petrosstefaneas@gmail.com
and you will be included in the mailing list of the seminar.

▲

Coming talks

  1. G. Voutsadakis: Algebraizable Graded Logics, 16 March 2026
    2. We present an attempt at extending the theory of "Algebraizable Logics" of Blok and Pigozzi, presented in their seminal "Memoirs monograph", to graded logics, i.e., logics whose truth values are drawn from a complete lattice (possibly with additional structure, if needed). We go as far as we can, but, since the setting is more general, the results we obtain are less impressive than those of Blok and Pigozzi.

  2. C. Vasilakopoulou: Monads and enrichment in double categories, 20 April 2026
    3. The classical notion of algebras in the context of k-vector spaces or R-modules generalize in a natural way to a suitable notion of `monad’ in a higher-dimensional categorical structure, that of a double category D. Starting from the base case of a category equipped with a monoidal structure, we will discuss monoids and their dual notion of comonoids therein, and we will extend a folklore result that enriches the space of algebra maps with a comultiplication (using the so-called Sweedler’s `universal measuring coalgebras’) to the double categorical context. Such a process opens paths for further applications involving operads and other related structures, within a general framework that may be called `enriched duality’.

Past talks

  1. I. Țuțu: An institution-theoretic account of bisimilarity, 16 February 2026
  2. A. Tarlecki: On the stability and fragility of interpolation, 19 January 2026
  3. G. Voutsadakis: Abstract Foundations for Non-Monotonic Systems, 15 December 2025
  4. S. Bhaskar: Shadowy institutions, 24 November 2025
  5. R. Diaconescu: Reflections on fuzzy Modus Ponens, 27 October 2025
  6. U. Wolter: Logics of Statements in Context – The Case of Many-Sorted First-Order Logic, 10 June 2025.
  7. F.A. Borja: Application of formal methods to critical control systems at CERN, 13 May 2025.
  8. A. Plithas and A. Gkantzounis: Existence, Ontological Neutrality and The Square of Opposition: An Abstract Model-Theoretic Approach, 29 April 2025.
  9. M. Aiguier: Logic, categories and topos : from category theory to categorical logic, 18 March 2025.
  10. S. Ghilezan: Kripke-style semantics in computation, 17 February 2025.
  11. L. Leuștean: An invitation to proof mining, 23 January 2025.
  12. G. Pitsiladis: Embedding the Calendar and Time Type System in Temporal Type Theory, 09 December 2024.
  13. T. Mossakowski: Neuro-symbolic integration for ontology-based classification of structured objects, 13 November 2024.
  14. A. Gatzounis: Topological Inquiry in Abstract Model Theory, 16 October 2024.
  15. C. Reynolds: Formalising the Institution for First-Order Logic in an Interactive Proof Assistant, 19 June 2024.
  16. A. Gatzounis: On Mathematical Proving and Algebra, 22 May 2024.
  17. M. Prunescu: On representability by arithmetic terms, 17 April 2024.
  18. Y. Kiouvrekis: Fagin's theorem, Turing Machines and Quantum computing, 20 March 2024.
  19. M. Prunescu: An introduction to Zero Knowledge Proofs, 14 February 2024.
  20. S. Almpani: An introduction to argumentation-based proof-event calculus (APEC), 22 January 2024.
  21. I. Țuțu: An introduction to experimental theorem proving, 20 December 2023.
  22. I. Vandoulakis: J. Goguen’s Concept of Proof Events: Current State of Research and Perspectives, 29 November 2023.
  23. R. Diaconescu: Two recent logic-based verification languages, NTUA, 27 September 2023.
▲