\n

The 5th w orkshop Formal Reasoning and Semantics will be hel d at the Inter-University Center Dubrovnik (IUC), as a part of the 11th conferenc e Logic and Applications (LAP 2022). Virtual p articipation is also possible.

\nThe works hop is organized within the research project Forma l Reasoning and Semantics (FORMALS). The emphasis of the project is on applications of logic in comp uter science, and vice versa, the application of c omputational tools in logical and mathematical res earch. Another goal is to apply logic to specific problems of linguistics or, more generally, cognit ive and information sciences, as well as interdisc iplinary areas in which economics and mathematics overlap (game theory, social choice theory).

\n

URL:http://formals.ufzg.hr/index.php/workshop/
END:VEVENT
END:VCALENDAR
We have several 30 min slots avail able for contributed talks. All contributions whic h broadly fit the main goal of the project - mutua l enrichment of pure and applied logic - are welco me. Authors should submit an abstract in LaTeX for mat, not exceeding three pages.