logo


  • NEWS
  • PAPERS
  • TALKS
  • WORKSHOP
  • ABOUT
  • RESEARCH GROUP


News

1 February 2021

The paper A. A. Urquiza, M. A. Alturki, T. Ban Kirigin, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: Resource and timing aspects of security protocols is accepted for publication in Journal of Computer Security.

9 May 2020

The paper L. Mikec, M. Vuković: Interpretability logics and generalised Veltman semantics is accepted for publication in The Journal of Symbolic Logic.

The paper T. Perkov, L. Mikec: Existential definability of modal frame classes is accepted for publication in Mathematical Logic Quarterly.

7 November 2019

L. Mikec held the talk Complexity of interpretability logics at the Workshop on Proof Theory, Modal Logic and Reflection Principles (WORMSHOP 2019), Barcelona, 5-8 November 2019.

1 September 2019

L. Mikec implemented the procedure presented in the paper Tableau-based translation from first-order logic to modal logic. It is available here.

28 June 2019

The paper A. Urquiza, M. AlTurki, M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott: Resource-bounded intruders in denial of service attacks was presented at 32nd IEEE Computer Security Foundations Symposium (CSF 2019), Hoboken, New Jersey, SAD, 25-28 June 2019 and published in the proceedings.

25 June 2019

The paper T. Perkov: Tableau-based translation from first-order logic to modal logic is accepted for presentation at the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019), London, 3-5 September 2019.

25 May 2019

The paper M. A. Alturki, T. Ban Kirigin, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: A multiset rewriting model for specifying and verifying timing aspects of security protocols was presented at Catherine Meadows Festschrift Symposium, 22-23 May 2019, Fredericksburg, Virginia, USA, and published in J. Guttman et al. (eds.): Foundations of Security, Protocols, and Equational Reasoning (Essays Dedicated to Catherine A. Meadows), Springer, 2019.

10 April 2019

B. Perak held the talk Croatian parliamentary debates network analysis of the conceptualized emotion categories at the conference Words as a Battlefield (WAB 2019), Maribor, 5-6 April 2019.

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

The paper L. Mikec, F. Pakhomov, M. Vuković: Complexity of the interpretability logic IL is published online first in Logic Journal of the IGPL.

15 June 2018

B. Perak lead the panel Linguistic diversity, construal and conceptualization at the conference CLARC 2018 (Perspectives on Linguistic Diversity), Rijeka, 8-10 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.

Formal reasoning and semantics
UIP-05-2017-9219


Sveučilište u Zaqrebu
Sveučilište u Zaqrebu

FORMALS UIP-05-2017-9219
UFZG - 2017 Marko Gregurić