The 2st workshop Formal Reasoning and Semantics will take place at the Faculty of Teacher Education, University of Zagreb 17-18 June 2019.
17:00 V. Nigam (invited talk): Symbolic timed trace equivalence [abstract]
10:00 L. Mikec, T. Perkov: Techniques and results concerning relationships between modal ∃-logics [abstract]
10:30 S. Horvat: GL1 is PSPACE-complete [abstract]
11:00 I. Kuzmanović Ivičić, J. Benić: On the relation of multi-valued logics and M-system theory [abstract]
11:30 B. Perak: Combining the conceptual analysis with social network analysis [abstract]
12:00 T. Ban Kirigin: Specifying and verifying timing aspects of security protocols [abstract]
Call for abstracts
FORMALS 2019: Formal Reasoning and Semantics
17-18 June 2019
Submission deadline: 15 May 2019
The 2st workshop Formal Reasoning and Semantics will be held at the Faculty of Teacher Education, University of Zagreb 17-18 June 2019. The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS) supported by Croatian Science Foundation (HRZZ), UIP-2017-05-9219.
We have several 30 min slots available for contributed talks. All contributions which broadly fit the main goal of the project – mutual enrichment of pure and applied logic – are welcome, including, but not limited to, specific project topics listed below.
The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).
The theoretical aspects of the project include:
1) exploring the expressive power of formal languages by methods of model theory
2) soundness and completeness, decidability and complexity of formal systems, in particular modal logics
3) exploring the possibilities of developing an abstract theory of formal semantics.
Application aspects are:
1) development, research and formalization of mathematical models for problems of other disciplines
2) development and implementation of algorithms
3) detection of links between seemingly unrelated domains through related formalizations.
Vivek Nigam, Federal University of Paraíba, João Pessoa, Brazil and fortiss An-Institut Technische Universität München, Germany
Abstract submission: 15 May 2019
Author notification: 1 June 2019 (possibly earlier for early submissions)
Final version: 15 June 2019
Abstract submission implies registration. Other participants are also welcome, but although there is no fee, please register by email to tin.perkov[at]ufzg.hr.
Authors should submit an abstract in LaTeX format, not exceeding three pages, to tin.perkov[at]ufzg.hr with the subject “FORMALS 2019”.
To be included.
ORGANIZERS (RESEARCH PROJECT GROUP)
Tin Perkov, Tajana Ban Kirigin, Marcel Maretić, Benedikt Perak, Mandi Orlić Bachler, Aleksandar Hatzivelkos, Luka Mikec, Branimir Stojanović, Sebastijan Horvat
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.
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
B. Perak: Ontology of the language communication and the structure of meaning
T. Perkov: Introduction to modal logic: a semantic approach
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.