The Algorithmic Applications and Logic Laboratory (AALL), headed by Prof. Antonios Symvonis, is devoted to research and teaching in the fields of Algorithms and Logic and their applications.

The Algorithmic Applications and Logic Laboratory consists of the following groups:

News -- Recent Activities