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.

Talks