Editorial work


Postdoc supervision


Graduate student supervision


Conference organizing

Logic activities in the area


Research-related


Miscellaneous