<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Vain tekstinä Char";
margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
span.Shkpostityyli17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.VaintekstinChar
{mso-style-name:"Vain tekstinä Char";
mso-style-priority:99;
mso-style-link:"Vain tekstinä";
font-family:"Calibri",sans-serif;
mso-fareast-language:FI;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 2.0cm 70.85pt 2.0cm;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="FI" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoPlainText"><span lang="EN-US">FoIKS 2020: Eleventh International Symposium on Foundations of
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Information and Knowledge Systems<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">University of Dortmund, Germany, Feb. 17-21, 2020<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Conference website: </span><a href="https://foiks2020.cs.tu-dortmund.de/"><span lang="EN-US">https://foiks2020.cs.tu-dortmund.de/</span></a><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Submission link: </span><a href="https://easychair.org/conferences/?conf=foiks2020"><span lang="EN-US">https://easychair.org/conferences/?conf=foiks2020</span></a><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Submission deadlines: September 11, 2019 (abstract), September 18, 2019
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">(paper)<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">The FoIKS symposia provide a biennial forum for presenting and
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">discussing theoretical and applied research on information and knowledge
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">systems. The goal is to bring together researchers with an interest in
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">this subject, share research experiences, promote collaboration and
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">identify new issues and directions for future research.<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">FoIKS 2020 solicits original contributions dealing with any foundational
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">aspect of information and knowledge systems. This includes submissions
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">that apply ideas, theories or methods from specific disciplines to
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">information and knowledge systems. Examples of such disciplines are
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">discrete mathematics, logic and algebra, model theory, information
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">theory, complexity theory, algorithmics and computation, statistics and
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">optimization.<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">The FoIKS symposia are a forum for intense discussions. Speakers will be
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">given sufficient time to present their ideas and results within the
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">larger context of their research; furthermore, participants will be
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">asked to prepare a first response to another contribution in order to
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">initiate discussion.<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*** Suggested topics<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">The suggested topics include, but are not limited to:<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">* Database Design: Formal models, dependencies and independencies<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">* Big Data: Models for data in the Cloud, programming languages for big
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">data, query processing<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">* Dynamics of Information: Models of transactions, concurrency control,
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">updates, consistency preservation, belief revision<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">* Information Fusion: Heterogeneity, views, schema dominance, multiple
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">source information merging, reasoning under inconsistency<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">* Integrity and Constraint Management: Verification, validation,
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">consistent query answering, information cleaning<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">* Intelligent Agents: Multi-agent systems, autonomous agents,
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">foundations of software agents, cooperative agents, formal models of
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">interactions, negotiations and dialogue, logical models of emotions<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">* Knowledge Discovery and Information Retrieval: Machine learning, data
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">mining, formal concept analysis and association rules, text mining,
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">information extraction<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">* Knowledge Representation, Reasoning and Planning: Non-monotonic
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">formalisms, probabilistic and non-probabilistic models of uncertainty,
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">graphical models and independence, similarity-based reasoning,
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">preference modeling and handling, computational models of argument,
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">argumentation systems<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">* Logics in Databases and AI: Classical and non-classical logics, logic
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">programming, description logics, spatial and temporal logics,
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">probability logic, fuzzy logic<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">* Mathematical Foundations: Discrete structures and algorithms, graphs,
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">grammars, automata, abstract machines, finite model theory, information
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">theory, coding theory, complexity theory, randomness<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">* Security in Information and Knowledge Systems: Identity theft,
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">privacy, trust, intrusion detection, access control, inference control,
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">secure Web services, secure Semantic Web, risk management<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">* Semi-Structured Data and XML: Data modelling, data processing, data
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">compression, data exchange<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">* Social Computing: Collective intelligence and self-organizing
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">knowledge, collaborative filtering, computational social choice, Boolean
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">games, coalition formation, reputation systems<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*The Semantic Web and Knowledge Management: Languages, ontologies,
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">agents, adaption, intelligent algorithms, ontology-based data access<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">* The WWW: Models of Web databases, Web dynamics, Web services, Web
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">transactions and negotiations, Social Networks, Web Mining<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*** Submission Guidelines<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">All papers must be original and not simultaneously submitted to another
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">journal or conference. Papers must be typeset using the Springer LaTeX2e
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">style llncs for Lecture Notes in Computer Science. The suggested number
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">of pages is 16, and the maximum number of pages is 18. Submissions which
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">deviate substantially from these guidelines may be rejected without
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">review. Initial submissions must be in PDF format, but authors should
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">keep in mind that the LaTeX2e source must be submitted for the final
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">versions of accepted papers. Submissions in alternate formats, such as
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Microsoft Word, cannot be accepted for either initial or final versions.
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">The submissions will be judged for scientific quality and for
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">suitability as a basis for broader discussion. Submission is via EasyChair.<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*** Important Dates<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Abstract submission deadline: September 11, 2019<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Paper submission deadline: September 18, 2019<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Author notification: November 19, 2019<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Camera-ready paper due: December 05, 2019<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">FoIKS 2020 Symposium: February 14-18, 2020<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*** Program Committee<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Ait Ameur, Yamine<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Artale, Alessandro<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Bauters, Kim<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Beierle, Christoph<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Bertossi, Leopoldo<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Besnard, Philippe<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Bidoit, Nicole<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Bienvenu, Meghyn<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Biskup, Joachim<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Botoeva, Elena<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Britz, Arina<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Doder, Dragan<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Eiter, Thomas<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Fermüller, Christian<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="SV">Ferrarotti, Flavio<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="SV">Gierasimczuk, Nina<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="SV">Gyssens, Marc<o:p></o:p></span></p>
<p class="MsoPlainText">Janhunen, Tomi<o:p></o:p></p>
<p class="MsoPlainText">Järvisalo, Matti<o:p></o:p></p>
<p class="MsoPlainText">Kern-Isberner, Gabriele<o:p></o:p></p>
<p class="MsoPlainText">Kiss, Attila<o:p></o:p></p>
<p class="MsoPlainText">Krötzsch, Markus<o:p></o:p></p>
<p class="MsoPlainText">Kuusisto, Antti<o:p></o:p></p>
<p class="MsoPlainText">Link, Sebastian<o:p></o:p></p>
<p class="MsoPlainText">Lukasiewicz, Thomas<o:p></o:p></p>
<p class="MsoPlainText">Palmigiano, Alessandra<o:p></o:p></p>
<p class="MsoPlainText"><span lang="SV">Rudolph, Sebastian<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="SV">Sali, Attila<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="SV">Schewe, Klaus-Dieter<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="SV">Schockaert, Steven<o:p></o:p></span></p>
<p class="MsoPlainText">Shchekotykhin, Kostyantyn<o:p></o:p></p>
<p class="MsoPlainText">Simari, Guillermo R.<o:p></o:p></p>
<p class="MsoPlainText"><span lang="EN-US">Thalheim, Bernhard<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Thomo, Alex<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="SV">Truszczynski, Mirek<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="SV">Turull-Torres, Jose<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="SV">Van Gucht, Dirk<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="SV">Varzinczak, Ivan<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="SV">Virtema, Jonni<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="SV">Wang, Qing<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Woltran, Stefan<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*** Program Chairs<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">• Andreas Herzig, CNRS, IRIT, Toulouse, France<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">• Juha Kontinen, University of Helsinki, Finland<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*** Local Organization Chair<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Gabriele Kern-Isberner, TU Dortmund<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Christoph Beierle, University of Hagen<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*** Invited Speakers<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">tba<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*** Publication<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">The proceedings will be published by Springer-Verlag in the Lecture
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Notes in Computer Science. After the symposium, authors of selected
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">papers will be invited to submit extended journal versions of their
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">papers for a FoIKS 2020 special issue of the Annals of Mathematics and
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Artificial Intelligence.<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*** Venue<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">The conference will be held at the TU Dortmund; further information on
<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">the venue will be provided in time.<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*** Contact<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">All questions about submissions should be emailed to
<o:p></o:p></span></p>
<p class="MsoPlainText"><a href="mailto:foiks2020@easychair.org">foiks2020@easychair.org</a>.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>