Information

Scope

Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, agents, and context dependency, which are signature features of information in nature, natural languages, and reasoning.

The session covers theoretical work, applications, approaches, and techniques for computational models of information, language (artificial, human, or natural in other ways), reasoning. The goal is to promote computational systems and related models of thought, mental states, reasoning, and other cognitive processes.


Topics

We invite contributions relevant to the following topics, without being limited to them, across approaches, methods, theories, implementations, and applications:

  • Theorem provers and assistants
  • Model checkers
  • Theory of computation
  • Theory of information
  • Natural language inference
  • Transfer of reasoning in natural language to theorem provers and assistants
  • Theories for applications to language, information processing, reasoning
  • Type theories for applications to language, information processing, reasoning
  • Computational grammar
  • Computational syntax
  • Computational semantics of natural languages
  • Computational syntax-semantics interface
  • Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics
  • Parsing
  • Multilingual processing
  • Large-scale grammars of natural languages
  • Models of computation and algorithms for linguistics, natural language processing, argumentation
  • Computational models of partiality, underspecification, and context-dependency
  • Models of situations, contexts, and agents, for applications to language processing
  • Information about space and time in language models and processing
  • Data science in language processing
  • Machine learning of language and reasoning
  • Interdisciplinary methods
  • Integration of formal, computational, model theoretic, graphical, diagrammatic, statistical, and other related methods
  • Logic for information extraction or expression in written and spoken language
  • Formal models of argumentations
  • Interactive computation, reasoning, argumentation
  • Computation with heterogeneous information
  • Reasoning with heterogeneous and/or inconsistent information
  • Dialog, interactions
  • Interdisciplinary approaches to language, computation, reasoning, memory
  • Argumentation in AI applications, e.g., to business, economy, justice, health, medical sciences
  • Language processing based on biological fundamentals of information and languages
  • Computational neuroscience of language
  • etc.

Committee

Organizing Committee

  • Ana Bove, Chalmers University of Technology, Gothenburg, Sweden
  • Sara Rodríguez, University of Salamanca, Spain
  • Roussanka Loukanova, Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Bulgaria and Stockholm University, Sweden


Program Committee

  • Varol Akman, Department of Computer Engineering Ihsan Dogramaci Bilkent University, Bilkent, Ankara 06800, Turkey
  • Krasimir Angelov, University of Gothenburg and Chalmers University of Technology (Sweden)
  • Wojciech Buszkowski, Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Poznan, Poland
  • Stergios Chatzikyriakidis, University of Gothenburg, Sweden
  • Robin Cooper, University of Gothenburg, Sweden
  • Marie Duzi, VSB-Technical University of Ostrava, Czech Republic
  • Antonín Dvořák, University of Ostrava (Czech Republic)
  • Annie Foret, IRISA and Univ Rennes 1, France
  • Lars Hellan, Norwegian University of Science and Technology, Norway
  • Ali Hürriyetoğlu, Koç University, Istanbul
  • M. Dolores Jiménez López, GRLMC-Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona, Spain
  • Manfred Kerber, School of Computer Science, University of Birmingham, England
  • Stepan Kuznetsov, Steklov Mathematical Institute of RAS, Moscow, and HSE University, Moscow, Russia
  • Kristina Liefke, Ruhr-University Bochum, Germany
  • Zhaohui Luo, Royal Holloway, University of London, UK
  • Petra Murinová, University of Ostrava, Czech Republic
  • Rainer Osswald, Heinrich-Heine-Universität Düsseldorf, Germany
  • Christian Retoré, LIRMM Université de Montpellier CNRS, Montpellier, France
  • Frank Richter, Goethe University Frankfurt a.M., Germany
  • Ana Paula Rocha, University of Porto, LIACC / FEUP, Portugal
  • Sylvain Salvati, Université de Lille, INRIA, CRIStAL UMR 9189, France
  • Christoph Schwarzweller, University of Gdansk, Poland
  • Milena Slavcheva, Bulgarian Academy of Sciences, Sofia, Bulgaria
  • Satoshi Tojo, School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), Japan
  • Jørgen Villadsen, Technical University of Denmark, Denmark
  • Marek Zawadowski, Institute of Mathematics, University of Warsaw, Poland

Contact

Roussanka Loukanova
Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Bulgaria and Stockholm University, Sweden
rloukanova@gmail.com