News and Events: Conferences

26 - 29 September 2022, The 5th workshop Formal Reasoning and Semantics (FORMALS 2022), Dubrovnik (Croatia) & Virtual

Date: 26 - 29 September 2022
Location: Dubrovnik (Croatia) & Virtual
Deadline: Wednesday 15 June 2022

The 5th workshop Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC), as a part of the 11th conference Logic and Applications (LAP 2022). 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.

For more information, see http://formals.ufzg.hr/index.php/workshop/.