Workshop on

Translations between Logical Systems