logo



FORMALS 2022 workshop

The 5th and final workshop Formal Reasoning and Semantics (FORMALS 2022) was held at the Inter-University Center Dubrovnik (IUC) and online as a part of the 11th conference Logic and Applications (LAP 2022) 26-29 September 2022.

Talks

V. Nigam: Automating safety proofs about cyber-physical systems using rewriting modulo SMT
T. Ban Kirigin, S. Bujačić Babić, Benedikt Perak: Semi-local integration centrality for complex networks
T. Ban Kirigin, S. Bujačić Babić, Benedikt Perak: Syntactic dependency networks: cognitive aspects of hierarhical multi-layer structures
A. Hatzivelkos: On p-Disapproval voting characterization
L. Mikec: FORMALS contributions overview (2018–2022)
Y. Petrukhin: Cut-free hypersequent calculus for a non-contingency version of S5

Abstracts are available online.

Previous workshops

FORMALS 2021

The 4th workshop Formal Reasoning and Semantics (FORMALS 2021) was held at the Inter-University Center Dubrovnik (IUC) and online as a part of the 10th conference Logic and Applications (LAP 2021) 20-24 September 2021.

Talks
V. Nigam – Soft-Agents: A Symbolic Verification Framework for Cyber-Physical Systems (invited talk)
T. Adlešić – Quine’s New foundations and paradoxes
T. Ban Kirigin, S. Bujačić Babić, B. Perak – Building a Sentiment Dictionary for Croatian
T. Ban Kirigin, S. Bujačić Babić, B. Perak – Sentiment Potential Analysis
T. Ban Kirigin, S. Bujačić Babić, B. Perak – Implementing Sentiment Dictionary into Vader Sentiment Analysis for Croatian
S. Horvat – Bisimulation games for (generalized) Veltman semantics
J. Raclavský – The rule of existential generalisation, its derivability and formal semantics
A. Hatzivelkos, M. Maretić – A note about disapproval voting
L. Mikec, J. J. Joosten, A. Visser, M. Vuković – On proving interpretability principles arithmetically sound
L. Conti – Abstraction’s Logicality and Invariance
Y. Petrukhin – Normalisation for some infectious logics with non-standard disjunction elimination rules
Abstracts are available online.

FORMALS 2020

The 3rd workshop Formal Reasoning and Semantics (FORMALS 2020) was held at the Inter-University Center Dubrovnik (IUC) and online as a part of the 9th conference Logic and Applications (LAP 2020) 21-25 September 2020.

Talks

L. Conti: A model for a free way out of Russell’s Paradox
A. Hatzivelkos: Axiomatic modelling of notion of compromise in social choice theory
S. Horvat: Smart labels in proofs of completeness of interpretability logics
S. Jelić (invited talk): Multi-valued logic in M-system theory
M. Maretić: A survey of online exam proctoring
L. Mikec, J. Joosten, M. Vuković: On ILWR-frames
V. Nigam (invited talk): Incremental automated safety and security reasoning with patterns
B. Perak, T. Ban Kirigin: ConGraCNet 0.3: Corpus-based graph syntactic-semantic relations analysis

Abstracts of all talks at the conference Logic and Applications (LAP 2020), including the workshop, are available online.

FORMALS 2019

The 2st workshop Formal Reasoning and Semantics took place at the Faculty of Teacher Education, University of Zagreb, 17-18 June 2019.

Talks

V. Nigam (invited talk): Symbolic timed trace equivalence [abstract]
L. Mikec, T. PerkovTechniques and results concerning relationships between modal -logics [abstract]
S. Horvat: GL1 is PSPACE-complete [abstract]
I. Kuzmanović Ivičić, J. Benić: On the relation of multi-valued logics and M-system theory [abstract]
B. Perak: Combining the conceptual analysis with social network analysis [abstract]
T. Ban Kirigin: Specifying and verifying timing aspects of security protocols [abstract]

FORMALS 2018

The 1st workshop Formal Reasoning and Semantics (FORMALS 2018) was held at the Inter-University Center Dubrovnik (IUC) as a part of the 7th conference Logic and Applications (LAP 2018) 24-28 September 2018.

Talks

M. Maretić: On geometric aspects of multiple conclusion natural deductions
B. Perak, T. Ban Kirigin: Corpus-based approach to the extraction of the emotional concepts and their ontological relations using the natural language logic operators
A. Hatzivelkos: Mathematical model for notion of compromise in social choice theory
B. Stojanović: Propositional and first-order logic formalizations of social welfare functions
T. Perkov: Formalizations of social choice theory in modal logic
V. Nigam (invited talk): Towards the formal verification of Industry 4.0 applications
L. Mikec: Complexity of the interpretability logic IL

Tutorials

B. Perak: Ontology of the language communication and the structure of meaning
T. Perkov: Introduction to modal logic: a semantic approach

Abstracts

Abstracts of all talks at the conference Logic and Applications (LAP 2018) are available online, including the introduction to the workshop and abstracts of workshop talks (pp. 48-62). Slides are also available.