Logic List Mailing Archive

FORMALS 2018: Formal Reasoning & Semantics

24-28 Sep 2018
Dubrovnik, Croatia

FORMALS 2018: Formal Reasoning and Semantics
http://formals.ufzg.hr/

24-28 September 2018
Dubrovnik, Croatia

Co-located with the 7th conference Logic and Applications (LAP 2018)
http://imft.ftn.uns.ac.rs/math/cms/LAP2018

Submission deadline (extended): 1 July 2018

The 1st workshop Formal Reasoning and Semantics will be held at the
Inter-University Center Dubrovnik (IUC) as a part of the 7th conference
Logic and Applications (LAP 2018) 24-28 September 2018. The workshop is
organized within the research project Formal Reasoning and Semantics
(FORMALS) supported by Croatian Science Foundation (HRZZ), UIP-2017-05-9219.

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, including, but not
limited to, specific project topics listed below.

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). Even though logic
is at the first glance a formal and theoretical discipline, logic is also
exceptionally applicable, and it is surprising to see applications of the
same or similar formal systems, especially modal logics, in a variety of
areas. Formalization brings conceptual precision, clarity and confidence.
Formalization also provides new insights of the complexity of problems and
allows for discovery of new issues that remain hidden in informal reasoning.

The theoretical aspects of the project include:
1) exploring the expressive power of formal languages by methods of model
theory
2) soundness and completeness, decidability and complexity of formal
systems, in particular modal logics
3) exploring the possibilities of developing an abstract theory of formal
semantics.

Application aspects are:
1) development, research and formalization of mathematical models for
problems of other disciplines
2) development and implementation of algorithms
3) detection of links between seemingly unrelated domains through related
formalizations.

INVITED SPEAKER
Vivek Nigam, Federal University of Paraíba, João Pessoa, Brazil and fortiss
An-Institut Technische Universität München, Germany

IMPORTANT DATES
Abstract Submission: 1 July 2018
Author Notification: 15 July 2018
Final version: 25 July 2018

REGISTRATION
Participants need to be registered for the main conference LAP 2018.
Registration fee is 50 EUR and covers both the main conference and the
workshop. It is payable in cash upon arrival.

SUBMISSION
Authors should submit an abstract in LaTeX format, not exceeding three
pages, to tin.perkov[at]ufzg.hr with the subject ?FORMALS 2018?.

PRACTICAL INFORMATION
https://www.iuc.hr/

ORGANIZERS (RESEARCH PROJECT GROUP)
Tin Perkov, Tajana Ban Kirigin, Marcel Mareti?, Benedikt Perak, Aleksandar
Hatzivelkos, Luka Mikec, Branimir Stojanovi?
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam