Logic List Mailing Archive

CfP: FoIKS 2024: 13th Int. Symp. on Foundations of Information and Knowledge Systems, 8-11 April 2024, Sheffield (UK)

[ Sorry if you have received multiple copies of this email.]

================
Call for Participation
================

13th International Symposium on Foundations of Information and Knowledge Sy
stems.
April 8-11 2024, Sheffield, UK
https://foiks2024.github.io/

FoIKS 2024 will be held April 8-11, 2024 in Sheffield, UK. The FoIKS sympos
ia provide a biennial forum for presenting and discussing theoretical and a
pplied research on information and knowledge systems. The goal is to bring 
together researchers with an interest in this subject, share research exper
iences, promote collaboration and identify new issues and directions for fu
ture research.


================
Registration
================

Early Registration ends on *March 11, 2024*
Late Registration ends on *March 21, 2024*

https://foiks2024.github.io/registration.html

================
Invited speakers
================

- Georg Gottlob (University of Calabria)
  "Hypertree Decompositions, an Ongoing Project"

- Phokion Kolaitis (University of California Santa Cruz and IBM Research)
  "Consistency of Relations over Semirings and Monoids"

- Andrei Popescu (University of Sheffield)
  "Epi-Recursion and Epi-Corecursion"

- Uli Sattler (University of Manchester)
  "Engineering Ontologies requires more than Automated Reasoning"


================
Accepted papers and programme
================

https://foiks2024.github.io/program.html

https://easychair.org/smart-program/FoIKS24/index.html


Looking forward to seeing you in Sheffield,
The organizers.


_________________________
Dr. Luca Gmez lvarez
INRIA & Univ. Grenoble Alpes, LIG
Grenoble, France
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php