FORMALS 2018: Formal Reasoning and Semantics
24-28 September 2018
Co-located with the 7th conference Logic and Applications (LAP 2018)
Submission deadline (extended): 1 July 2018
The 1st workshop Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC) as a part of the 7th conference Logic and Applications (LAP 2018) 24-28 September 2018. 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). Even though logic is at the first glance a formal and theoretical discipline, logic is also exceptionally applicable, and it is surprising to see applications of the same or similar formal systems, especially modal logics, in a variety of areas. Formalization brings conceptual precision, clarity and confidence. Formalization also provides new insights of the complexity of problems and allows for discovery of new issues that remain hidden in informal reasoning.
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: 1 July 2018
Author Notification: 15 July 2018
Final version: 25 July 2018
Participants need to be registered for the main conference LAP 2018. Registration fee is 50 EUR and covers both the main conference and the workshop. It is payable in cash upon arrival.
Authors should submit an abstract in LaTeX format, not exceeding three pages, to tin.perkov[at]ufzg.hr with the subject “FORMALS 2018”.
ORGANIZERS (RESEARCH PROJECT GROUP)
Tin Perkov, Tajana Ban Kirigin, Marcel Maretić, Benedikt Perak, Aleksandar Hatzivelkos, Luka Mikec, Branimir Stojanović