20-23 Jun 2022
Helsinki, Finland
========================================================= Call for Participation FoIKS 2022: 12th International Symposium on Foundations of Information and Knowledge Systems University of Helsinki, Finland, 20-23 June 2022 Conference website: https://foiks2022.github.io Early registration: 20 May 2022 ========================================================= The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers interested in this subject, share research experiences, promote collaboration, and identify new issues and directions for future research. The FoIKS symposia are a forum for intensive discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research. Furthermore, participants will be asked to prepare a first response to another contribution to initiate discussion. *** Technical Program The program is available online (subject to slight changes): https://foiks2022.github.io/program.html *** Invited Speakers - Patricia Bouyer-Decitre: Memory complexity for winning games on graphs - Gabriele Kern-Isberner: The Relevance of Formal Logics for Cognitive Logics, and Vice Versa - Jussi Rintanen: More automation to software engineering - Jouko Väänänen: Dependence logic: Some recent developments - Zeev Volkovich: Text classification using "imposter" projections method *** Registration Please check https://foiks2022.github.io/registration.html *** Publication Springer-Verlag will publish the proceedings in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be invited to submit extended journal versions of their papers for a FoIKS 2022 special issue of the Annals of Mathematics and Artificial Intelligence or another journal. Exact details will be provided on the conference website in due time. *** Venue The conference will be held at the University of Helsinki. *** Further Information Please visit the conference website (https://foiks2022.github.io) for further information and regular updates. *** Organisation and Program Committee See https://foiks2022.github.io -- [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