17-18 Jun 2019
Zagreb, Croatia
FORMALS 2019: Formal Reasoning and Semantics http://formals.ufzg.hr/index.php/workshop/ 17-18 June 2019 Zagreb, Croatia Submission deadline: 15 May 2019 The 2st workshop Formal Reasoning and Semantics will be held at the Faculty of Teacher Education, University of Zagreb <http://www.unizg.hr/homepage/> 17-18 June 2019. 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). 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 <http://nigam.info/>, Federal University of Paraiba, Joao Pessoa, Brazil and fortiss An-Institut Technische Universitaet Muenchen, Germany IMPORTANT DATES Abstract submission: 15 May 2019 Author notification: 1 June 2019 (possibly earlier for early submissions) Final version: 15 June 2019 REGISTRATION Abstract submission implies registration. Other participants are also welcome, but although there is no fee, please register by email to tin.perkov[at]ufzg.hr. SUBMISSION Authors should submit an abstract in LaTeX format, not exceeding three pages, to tin.perkov[at]ufzg.hr with the subject ?FORMALS 2019?. PRACTICAL INFORMATION To be included. ORGANIZERS (RESEARCH PROJECT GROUP) Tin Perkov, Tajana Ban Kirigin, Marcel Maretic, Benedikt Perak, Mandi Orlic Bachler, Aleksandar Hatzivelkos, Luka Mikec, Branimir Stojanovic, Sebastijan Horvat -- [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