Please note that this newsitem has been archived, and may contain outdated information or links.
20 - 24 September 2021, 4th workshop Formal Reasoning and Semantics (FORMALS 2021), Dubrovnik (Croatia) and Virtual
The 4th workshop Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC), as a part of the 10th conference Logic and Applications (LAP 2021) 20-24 September 2021. Virtual participation is also possible.
The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS). 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).
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. Authors should submit an abstract in LaTeX format, not exceeding three pages.
Please note that this newsitem has been archived, and may contain outdated information or links.