Please note that this newsitem has been archived, and may contain outdated information or links.
17 - 18 June 2019, 2nd workshop Formal Reasoning and Semantics (FORMALS 2019), Zagreb, Croatia
The 2st workshop Formal Reasoning and Semantics will be held at the Faculty of Teacher Education, University of Zagreb. The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS).
Invited speaker: Vivek Nigam (Paraiba, Brazil and Muenchen, Germany).
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. 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).
Please note that this newsitem has been archived, and may contain outdated information or links.