8 October 2018
The paper M. A. Alturki, M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott: Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols will be presented and published in the proceedings of ACM Workshop on Cyber-Physical Systems Security & Privacy (CPS-SPC 2018), Toronto, 19 October 2018.
1 September 2018
The paper L. Mikec, T. Perkov: Existentially valid formulas corresponding to some normal modal logics was presented at the conference Advances in Modal Logic (AiML 2018), Bern, 27-31 August 2018.
20 August 2018
T. Perkov lectured an advanced course Modal logics of provability and interpretability at Logic and Computation track of European Summer School in Logic, Language and Information (ESSLLI 2018), Sofia, 6-17 August 2018.
The talk T. Perkov: Logicality of generalized quantifiers was held at ESSLLI 2018 workshop Quantity in Language and Thought, Sofia, 13-17 August 2018.
15 July 2018
The paper M. A. Alturki, M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott: Statistical model checking of guessing and timing attacks on distance-bounding protocols was presented at Workshop on Foundations of Computer Security (FCS 2018), 8 July 2018, and at IEEE Computer Security Foundations Symposium (CSF 2018), 9-12 July 2018, parts of Federated Logic Conference (FLoC 2018), Oxford, 6-19 July 2018.
20 June 2018
15 June 2018
6 June 2018
Deadline is extended to 1 July 2018 for the 1st project workshop Formal Reasoning and Semantics (FORMALS 2018). This is a satellite workshop of the 7th conference Logic and Applications (LAP 2018), Dubrovnik, 24-28 September 2018.
9 May 2018
The paper T. Perkov: Abstract logical constants is awarded Georgius Benignus Logic Prize for 2017 by Croatian Logic Association, to be presented at 6th World Congress on Universal Logic (UNILOG 2018), Vichy, 16-26 June 2018 and to be published in the journal Logica Universalis.