News and Events: Conferences

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

Date: 17 - 18 June 2019
Location: Zagreb, Croatia
Deadline: Wednesday 15 May 2019

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).

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

Please note that this newsitem has been archived, and may contain outdated information or links.