Semantics of concurrent programming;

Process calculi with distribution, mobility and/or cryptography;

Formal methods for security;

Categorial semantics of concurrency;

Modal (behavioural) logics;

Game theory;

Graph algorithms;

Machine learning;

Software engineering.