M. A. Alturki, T. Ban Kirigin, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: On security analysis of periodic systems: expressiveness and complexity, International Conference on Information Systems Security and Privacy (ICISSP 2021), online, 11-13 February 2021
A. A. Urquiza, M. A. Al Turki, M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott: Modelling resource and timing aspects of security protocols, Logic and Applications (LAP 2020), Dubrovnik, 21-25 September 2020
L. Mikec, J. J. Joosten, M. Vuković: A W-flavoured series of interpretability principles, Advances in Modal Logic (AiML 2020), Helsinki (online), 24-28 August 2020
L. Mikec: Syntax, semantics and labellings for interpretability logic, Seminar on Proof Theory and Foundations of Mathematics, Barcelona, 28 February 2020
B. Perak: Modelling the semantic relations within texts using the UD NLP tools for syntactic parsing, Neo4j graph database for storing and Igraph for network analysis, Graph Technologies in the Digital Humanities 2020, Vienna, 21-22 February 2020
L. Mikec: Complexity of interpretability logics, Workshop on Proof Theory, Modal Logic and Reflection Principles (WORMSHOP 2019), Barcelona, 5-8 November 2019
A. Hatzivelkos, B. Stojanović: Minimization of the d-measure of divergence from the compromise, Logic and Applications (LAP 2019), Dubrovnik, 23-27 September 2019
T. Perkov: Tableau-based translation from first-order logic to modal logic, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019), London, 3-5 September 2019
B. Perak: Croatian parliamentary debates network analysis of the conceptualized emotion categories, Words as a Battlefield (WAB 2019), Maribor, 5-6 April 2019
B. Perak: Extracting Emotion Constructions from Linguistic Corpora, Between Past and Present – Interdisciplinary Perspectives on Emotions, Zagreb, 18-19 October 2018
L. Mikec, T. Perkov: Existentially valid formulas corresponding to some normal modal logics, Advances in Modal Logic (AiML 2018), Bern, 27-31 August 2018
T. Perkov: Logicality of generalized quantifiers, Quantity in Language and Thought, ESSLLI 2018 workshop, Sofia, 13-17 August 2018
M. A. Al Turki, M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott: Statistical model checking of guessing and timing attacks on distance-bounding protocols, Workshop on Foundations of Computer Security (FCS 2018), Oxford, 8 July 2018
T. Perkov: Modal logics of provability and interpretability (advanced course, 10 hours), Logic and Computation track of European Summer School in Logic, Language and Information (ESSLLI 2018), Sofia, 6-17 August 2018
The paper T. Perkov: Abstract logical constants is awarded Georgius Benignus Logic Prize for 2017 by Croatian Logic Association, presented at 6th World Congress on Universal Logic (UNILOG 2018), Vichy, 16-26 June 2018 and published in the journal Logica Universalis.
L. Mikec implemented the procedure for tableau-based translation from first-order logic to modal logic. It is available here as of September 2019.