[DL] FoIKS 2018 -- Call for Papers

[Stefan Woltran]

**Apologies for cross-postings***

Please consider to contribute to and/or forward to the appropriate groups
the following opportunity to submit and publish original scientific results
to FoIKS 2018.

Abstract submission deadline is November 24, 2017.

===================== FoIKS 2018 | Call for Papers ========================

CALL FOR PAPERS
10th Int'l. Symposium on Foundations of Information and Knowledge Systems
May 14-18, 2018
Alfred Renyi Institute of Mathematics,
Hungarian Academy of Sciences,
Budapest, Hungary

http://2018.foiks.org/


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 with an interest in this
subject, share research experiences, promote collaboration and identify
new issues and directions for future research.

FoIKS 2018 solicits original contributions dealing with any foundational
aspect of information and knowledge systems. This includes submissions
that apply ideas, theories or methods from specific disciplines to
information and knowledge systems. Examples of such disciplines are
discrete mathematics, logic and algebra, model theory, information theory,
complexity theory, algorithmics and computation, statistics and
optimization.

The FoIKS symposia are a forum for intense 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 in order to initiate
discussion.

Previous FoIKS symposia were held in Linz (Austria) in 2016, Bordeaux
(France) in 2014, Kiel (Germany) in 2012, Sofia (Bulgaria) in 2010, Pisa
(Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004,
Schloss Salzau near Kiel (Germany) in 2002, and Burg/Spreewald near Berlin
(Germany) in 2000. FoIKS took up the tradition of the conference series
Mathematical Fundamentals of Database Systems (MFDBS), which initiated
East-West collaboration in the field of database theory. Former MFDBS
conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary)
in 1989, and Dresden (Germany) in 1987.


Submission Guidelines
=====================

All papers must be original and not simultaneously submitted to another
journal or conference. Papers must be typeset using the Springer LaTeX2e
style llncs for Lecture Notes in Computer Science. The suggested number of
pages is 16, and the maximum number of pages is 18. Submissions which
deviate substantially from these guidelines may be rejected without review.
Initial submissions must be in PDF format, but authors should keep in mind
that the LaTeX2e source must be submitted for the final versions of
accepted papers. Submissions in alternate formats, such as Microsoft Word,
cannot be accepted for either initial or final versions. The submissions
will be judged for scientific quality and for suitability as a basis for
broader discussion. Submission is via EasyChair at

https://easychair.org/conferences/?conf=foiks2018


Suggested Topics
================

The suggested topics include, but are not limited to:

Database Design: formal models, dependencies and independencies;

Big Data: models for data in the Cloud, programming languages for big data,
query processing;

Dynamics of Information: models of transactions, concurrency control,
updates, consistency preservation, belief revision;

Information Fusion: heterogeneity, views, schema dominance, multiple source
information merging, reasoning under inconsistency;

Integrity and Constraint Management: verification, validation, consistent
query answering, information cleaning;

Intelligent Agents: multi-agent systems, autonomous agents, foundations of
software agents, cooperative agents, formal models of interactions,
negotiations and dialogue, logical models of emotions;

Knowledge Discovery and Information Retrieval: machine learning, mining,
formal concept analysis and association rules, text mining, information
extraction;

Knowledge Representation, Reasoning and Planning: non-monotonic formalisms,
probabilistic and non-probabilistic models of uncertainty, graphical models
and independence, similarity-based reasoning, preference modeling and
handling, computation models of argument, argumentation systems;

Logics in Databases and AI: classical and non-classical logics, logic
programming, description logics, spatial and temporal logics, probability
logic, fuzzy logic;

Mathematical Foundations: discrete structures and algorithms, graphs,
grammars, automata, abstract machines, finite model theory, information
theory, coding theory, complexity theory, randomness;

Security in Information and Knowledge Systems: identity theft, privacy,
trust, intrusion detection, access control, inference control, secure Web
services, secure Semantic Web, risk management;

Semi-Structured Data and XML: data modelling, data processing, data
compression, data exchange;

Social Computing: collective intelligence and self-organizing knowledge,
collaborative filtering, computational social choice, Boolean games,
coalition formation, reputation systems;

The Semantic Web and Knowledge Management: languages, ontologies, agents,
adaption, intelligent algorithms, ontology-based data access; and

The WWW: models of Web databases, Web dynamics, Web services, Web
transactions and negotiations, Social Networks, Web Mining.


Program Committee
=================
Yamine Ait Ameur, France
Pablo Barcelo, Chile
Kim Bauters, Northern Ireland, UK
Christoph Beierle, Germany
Leopoldo Bertossi, Canada
Philippe Besnard, France
Nicole Bidoit, France
Meghyn Bienvenu, France
Joachim Biskup, Germany
Marina De Vos, UK
Michael Dekhtyar, Russia
Dragan Doder, Serbia
Thomas Eiter, Austria
Christian Fermueller, Austria
Marc Gyssens, Belgium
Edward Hermann Haeusler, Brazil
Martin Homola, Slovakia
Anthony Hunter, England
Gabriel Istrate, Romania
Gyula Y. Katona, Hungary
Gabriele Kern-Isberner, Germany
Attila Kiss, Hungary
Ioannis Kokkinis, France
Sebastien Konieczny, France
Juha Kontinen, Finland
Nicola Leone, Italy
Sebastian Link, New Zealand
Thomas Lukasiewicz, UK
Sofian Maabout, France
Jorge Martinez-Gil, Austria
Henri Prade, France
Elena Ravve, Israel
Sebastian Rudolph, Germany
Attila Sali, Hungary
Vadim Savenkov, Austria
Klaus-Dieter Schewe, Austria
Thomas Schwentick, Germany
Kostyantyn Shchekotykhin, Austria
Csaba Istvan Sidlo, Hungary
Guillermo Ricardo Simari, Argentina
Mantas Simkus, Austria
Bernhard Thalheim, Germany
Alex Thomo, Canada
Mirek Truszczynski, USA
Gyorgy Turan, USA
Jose Turull-Torres, Argentina/New Zealand
Dirk Van Gucht, USA
Jonni Virtema, Finland
Qing Wang, Australia


Program Chairs
==============

Flavio Ferrarotti, Software Competence Center Hagenberg, Austria.
Stefan Woltran, TU Wien, Austria.


Local Organization Chair
========================

Attila Sali, Alfred Renyi Institute of Mathematics, Hungary.


Invited Speakers
================

Laura Kovacs, TU Wien, Austria.
Sebastian Link, University of Auckland, New Zealand.
David Pearce, Technical University of Madrid, Spain (supported by ALP).
Bernhard Thalheim, Christian-Albrechts-University at Kiel, Germany.


Publication
===========

The proceedings will be published by Springer-Verlag 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 2018 special issue of the Annals of Mathematics and Artificial
Intelligence.


Venue
=====

The conference venue will be the renowned Alfred Renyi Institute of
Mathematics at the Hungarian Academy of Sciences (for more information
on the venue, see http://www.renyi.hu/contact.html


Important Dates
===============

Abstract submission deadline: November 24, 2017
Paper submission deadline: December 01, 2017
Author notification: February 02, 2018
Camera-ready paper due: February 16, 2018
FoIKS 2018 Symposium: May 14-18, 2018


Scientific Sponsorship
======================

Association for Logic Programming (ALP)
European Association for Theoretical Computer Science
Vienna Center for Logic and Algorithms


Student Grants
==============

Students of accepted papers on logic programming related topics
can apply to the student travel grant of ALP to attend FoIKS 2018.


Contact
=======

All questions about submissions should be emailed to
woltran at dbai.tuwien.ac.at and flavio.ferrarotti at scch.at

Web page: http://2018.foiks.org/