Projects Theory of computational logics: link 1; link 2; PI: Antti Kuusisto Cost Action CA17124 – Digital forensics: link; Tampere contact: Prof. Esko Turunen