\n

The 1st w orkshop of Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC ) as a part of the 7th conference Logic and Applic ations (LAP 2018). The workshop is organized withi n the research project Formal Reasoning and Semant ics (FORMALS).

\n\nThe emphasis of the pro ject is on applications of logic in computer scien ce, and vice versa, the application of computation al tools in logical and mathematical research. Ano ther goal is to apply logic to specific problems o f linguistics or, more generally, cognitive and in formation sciences, as well as interdisciplinary a reas in which economics and mathematics overlap (g ame theory, social choice theory).

\n\nInv ited speakers: Vivek Nigam.

\n\n

URL:http://formals.ufzg.hr/
CONTACT:tin.perkov at ufzg.hr
END:VEVENT
END:VCALENDAR
We have several 30 min slots available for contri buted talks. All contributions which broadly fit t he main goal of the project - mutual enrichment of pure and applied logic - are welcome.

\n