Logic List Mailing Archive

FoIKS 2022: Foundations of Information & Knowledge Systems

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
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