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.
18 May 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 is accepted for presentation at Workshop on Foundations of Computer Security (FCS 2018), 8 July 2018, as part of Federated Logic Conference (FLoC 2018), Oxford, 6-19 July 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.