<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    TABLEAUX 2019
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">The 28th
      International Conference on Automated Reasoning with Analytic
      Tableaux and Related Methods</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">London,
      UK, September 3-5, 2019</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Website:
      <a class="moz-txt-link-freetext" href="https://www.tableaux2019.org">https://www.tableaux2019.org</a></p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Contact:
      <a class="moz-txt-link-abbreviated" href="mailto:chair@tableaux2019.org">chair@tableaux2019.org</a> </p>
    <p style="-qt-paragraph-type:empty; margin-top:0px;
      margin-bottom:0px; margin-left:0px; margin-right:0px;
      -qt-block-indent:0; text-indent:0px;"><br>
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Due to
      requests from potential authors and from current authors wishing
      to polish their papers, we have extended the submission deadlines.
      The new deadlines are: </p>
    <p style="-qt-paragraph-type:empty; margin-top:0px;
      margin-bottom:0px; margin-left:0px; margin-right:0px;
      -qt-block-indent:0; text-indent:0px;"><br>
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">1 May 2019
      (abstract), 8 May 2019 (paper) </p>
    <p style="-qt-paragraph-type:empty; margin-top:0px;
      margin-bottom:0px; margin-left:0px; margin-right:0px;
      -qt-block-indent:0; text-indent:0px;"><br>
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Authors
      who have a good paper and are in doubt whether to send it to
      TABLEAUX may note some highlights of this year's edition: two
      affiliated workshops, two affiliated tutorials, a financially
      supported best paper award for young researchers, five outstanding
      invited speakers (to be announced soon) and some support for young
      researchers traveling to the conference (including widely
      available cheap accommodation). We hope to see many of you this
      September in London -- in the beautiful campus of the Middlesex
      University, located 40 minutes from the city center and 20 minutes
      from Camden Town's iconic music venues! </p>
    <p style="-qt-paragraph-type:empty; margin-top:0px;
      margin-bottom:0px; margin-left:0px; margin-right:0px;
      -qt-block-indent:0; text-indent:0px;"><br>
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">GENERAL
      INFORMATION</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">The 28th
      International Conference on Automated Reasoning with Analytic
      Tableaux and Related Methods (TABLEAUX 2019) will take place in
      London. It will be hosted by the Department of Computer Science at
      the Middlesex University London, on 3-5 September 2019. </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">TABLEAUX
      is the main international conference at which research on all
      aspects -- theoretical foundations, implementation techniques,
      systems development and applications -- of the mechanization of
      tableaux-based reasoning and related methods is presented. The
      first TABLEAUX conference was held in Lautenbach near Karlsruhe,
      Germany, in 1992. Since then it has been organized on an annual
      basis; in 2001, 2004, 2006, 2008, 2010, 2012, 2014, 2016 and 2018
      as a constituent of IJCAR. </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">TABLEAUX
      2019 will be co-located with the 12th International Symposium on
      Frontiers of Combining Systems (FroCoS 2019). The conferences will
      provide a rich programme of workshops, tutorials, invited talks,
      paper presentations and system descriptions. </p>
    <p style="-qt-paragraph-type:empty; margin-top:0px;
      margin-bottom:0px; margin-left:0px; margin-right:0px;
      -qt-block-indent:0; text-indent:0px;"><br>
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">SCOPE OF
      CONFERENCE </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Tableau
      methods offer a convenient and flexible set of tools for automated
      reasoning in classical logic, extensions of classical logic, and a
      large number of non-classical logics. For many logics, tableau
      methods can be generated automatically. Areas of application
      include verification of software and computer systems, deductive
      databases, knowledge representation and its required inference
      engines, teaching, and system diagnosis. </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Topics of
      interest include but are not limited to: </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"> * tableau
      methods for classical and non-classical logics (including
      first-order, higher-order, modal, temporal, description, hybrid,
      intuitionistic, substructural, fuzzy, relevance and non-monotonic
      logics) and their proof-theoretic foundations; </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"> * sequent
      calculi and natural deduction calculi for classical and
      non-classical logics, as tools for proof search and proof
      representation; </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"> * related
      methods (SMT, model elimination, model checking, connection
      methods, resolution, BDDs, translation approaches); </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"> *
      flexible, easily extendable, light-weight methods for theorem
      proving; novel types of calculi for theorem proving and
      verification in classical and non-classical logics; </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"> *
      systems, tools, implementations, empirical evaluations and
      applications (provers, proof assistants, logical frameworks, model
      checkers, etc.); </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"> *
      implementation techniques (data structures, efficient algorithms,
      performance measurement, extensibility, etc.); </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"> *
      extensions of tableau procedures with conflict-driven learning; </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"> *
      techniques for proof generation and compact (or humanly readable)
      proof representation; </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"> *
      theoretical and practical aspects of decision procedures; </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"> *
      applications of automated deduction to mathematics, software
      development, verification, deductive and temporal databases,
      knowledge representation, ontologies, fault diagnosis or teaching.
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">We also
      welcome papers describing applications of tableau procedures to
      real-world examples. Such papers should be tailored to the tableau
      community and should focus on the role of reasoning and on logical
      aspects of the solution. </p>
    <p style="-qt-paragraph-type:empty; margin-top:0px;
      margin-bottom:0px; margin-left:0px; margin-right:0px;
      -qt-block-indent:0; text-indent:0px;"><br>
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">SUBMISSION
      GUIDELINES </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Submissions
      are invited in three categories: </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">(A)
      research papers reporting original theoretical research or
      applications, with length up to 15 pages excluding references; </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">(B) system
      descriptions, with length up to 9 pages excluding references; </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">(C)
      position papers and brief reports on work in progress, with length
      up to 9 pages excluding references. </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Submissions
      will be reviewed by the PC, possibly with the help of external
      reviewers, taking into account readability, relevance and
      originality. Any additional material (going beyond the page limit)
      can be included in a clearly marked appendix, which will be read
      at the discretion of the committee and must be removed for the
      camera-ready version. </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">For
      category A submissions, the reported results must be original and
      not submitted for publication elsewhere. For category B
      submissions, a working implementation must be accessible via the
      internet. Authors are encouraged to publish the implementation
      under an open source license. The aim of a system description is
      to make the system available in such a way that people can use it,
      understand it, and build on it. Accepted papers in categories A
      and B will be published in the conference proceedings. Accepted
      papers in category C will be published as a Technical Report of
      the Middlesex University London. </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Papers
      must be edited in LaTeX using the llncs style and must be
      submitted electronically as PDF files via the EasyChair system:
      <a class="moz-txt-link-freetext" href="http://easychair.org/conferences/?conf=tableaux2019">http://easychair.org/conferences/?conf=tableaux2019</a> </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">For all
      accepted papers at least one author is required to attend the
      conference and present the paper. A title and a short abstract of
      about 100 words must be submitted before the paper submission
      deadline. Formatting instructions and the LNCS style files can be
      obtained at
<a class="moz-txt-link-freetext" href="http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines">http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines</a></p>
    <p style="-qt-paragraph-type:empty; margin-top:0px;
      margin-bottom:0px; margin-left:0px; margin-right:0px;
      -qt-block-indent:0; text-indent:0px;"><br>
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">IMPORTANT
      DATES </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Abstract
      submission: 1 May 2019</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Paper
      submission: 8 May 2019</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Notification
      of paper decisions: 6 Jun 2019</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Camera-ready
      papers due: 1 Jul 2019</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">TABLEAUX
      conference: 3-5 Sep 2019</p>
    <p style="-qt-paragraph-type:empty; margin-top:0px;
      margin-bottom:0px; margin-left:0px; margin-right:0px;
      -qt-block-indent:0; text-indent:0px;"><br>
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">PUBLICATION
      DETAILS </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">The
      conference proceedings will be published in the Springer series
      Lecture Notes in Artificial Intelligence (LNAI/LNCS).</p>
    <p style="-qt-paragraph-type:empty; margin-top:0px;
      margin-bottom:0px; margin-left:0px; margin-right:0px;
      -qt-block-indent:0; text-indent:0px;"><br>
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">BEST PAPER
      AWARDS </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">The
      program committee will select (1) the TABLEAUX 2019 Best Paper and
      (2) the TABLEAUX 2019 Best Paper by a Junior Researcher, of which
      the latter will be supported by 500 Euros. Researchers will be
      considered junior if either they are students or their PhD award
      date is less than two years from the first day of the meeting, 3
      September 2019. "Paper by a Junior Researcher" means that the
      paper's main author is junior, or the paper's main authors are all
      junior. For a paper to qualify, this information must be indicated
      in the pdf submission by adding an asterisk (*) at both the title
      and the main-author name(s). </p>
    <p style="-qt-paragraph-type:empty; margin-top:0px;
      margin-bottom:0px; margin-left:0px; margin-right:0px;
      -qt-block-indent:0; text-indent:0px;"><br>
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">SUPPORT
      FOR STUDENT AND YOUNG RESEARCHER PARTICIPATION</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">We have
      some limited funding for supporting students and young researchers
      traveling to the conference -- courtesy of direct sponsorship from
      Amazon and Springer and indirect sponsorship from the Association
      for Symbolic Logic. In addition, some funding will be available
      through the EUTypes COST action website. In all cases, authors of
      accepted papers will be given precedence. Please see the
      conference website for more details. </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">In
      addition, the Middlesex University is offering accommodation at a
      £30 daily rate in some excellently maintained shared flats located
      close to the conference venue
      (<a class="moz-txt-link-freetext" href="https://www.mdx.ac.uk/student-life/accommodation/platt-hall">https://www.mdx.ac.uk/student-life/accommodation/platt-hall</a>). </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"> </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">AFFILIATED
      EVENTS (COMMON WITH FroCoS)</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">WORKSHOPS:
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"> * The
      25th Workshop on Automated Reasoning (ARW 2019,
      <a class="moz-txt-link-freetext" href="http://arw.csc.liv.ac.uk">http://arw.csc.liv.ac.uk</a>) </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Organizers:
      Florian Kammueller (Middlesex University) and Alexander Bolotov
      (University of Westminster) </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"> *
      Journeys in Computational Logic: Tributes to Roy Dyckhoff </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Organizers:
      Stéphane Graham-Lengrand (SRI International), Ekaterina
      Komendantskaya (Heriot-Watt University) and Mehrnoosh Sadrzadeh
      (Queen Mary University of London) </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">TUTORIALS:
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"> *
      Formalising concurrent computation: CLF, Celf, and applications
      (joint FroCoS/TABLEAUX tutorial).</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Presenters:
      Sonia Marin (IT-University of Copenhagen), Giselle Reis (Carnegie
      Mellon University in Qatar) and Iliano Cervesato (Carnegie Mellon
      University) </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"> * How to
      Build an Automated Theorem Prover - An Introductory Tutorial
      (invited TABLEAUX tutorial). Presenter: Jens Otten (University of
      Oslo)</p>
    <p style="-qt-paragraph-type:empty; margin-top:0px;
      margin-bottom:0px; margin-left:0px; margin-right:0px;
      -qt-block-indent:0; text-indent:0px;"><br>
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">PROGRAM
      COMMITTEE </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Peter
      Baumgartner, Data61/CSIRO, Australia</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Maria
      Paola Bonacina, Università degli Studi di Verona, Italy</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">James
      Brotherston, University College London, UK</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Serenella
      Cerrito, IBISC, Univ. Evry, Paris Saclay University, France</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Agata
      Ciabattoni, Technische Universität Wien, Austria</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Anupam
      Das, University of Copenhagen, Denmark</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Clare
      Dixon, University of Liverpool, UK</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Camillo
      Fiorentini, University of Milano, Italy</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Pascal
      Fontaine, LORIA, INRIA, University of Lorraine, France</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Didier
      Galmiche, LORIA, University of Lorraine, France</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Martin
      Giese, Universitetet i Oslo, Norway</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Laura
      Giordano, DISIT, Università del Piemonte Orientale, Italy</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Rajeev
      Goré, The Australian National University, Australia</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Stéphane
      Graham-Lengrand, SRI International, USA</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Reiner
      Hähnle, TU Darmstadt, Germany</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Ori Lahav,
      Tel Aviv University, Israel</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Tomer
      Libal, American University of Paris, France</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">George
      Metcalfe, Universität Bern, Switzerland</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Dale
      Miller, INRIA and LIX/Ecole Polytechnique, France</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Leonardo
      de Moura, Microsoft Research, USA</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Neil
      Murray, SUNY at Albany, USA</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Cláudia
      Nalon, University of Brasília, Brazil</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Sara
      Negri, University of Helsinki, Finland</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Hans de
      Nivelle, Nazarbayev University, Kazakhstan</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Nicola
      Olivetti, LSIS, Aix-Marseille Université, France</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Jens
      Otten, Universitetet i Oslo, Norway</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Valeria De
      Paiva, Nuance Communications, USA</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Nicolas
      Peltier, CNRS, Laboratoire d'Informatique de Grenoble, France</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Elaine
      Pimentel, Universidade Federal do Rio Grande do Norte, Brazil</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Francesca
      Poggiolesi, CNRS, IHST Paris, France</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Andrei
      Popescu, Middlesex University London, UK</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Gian Luca
      Pozzato, University of Turin, Italy </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Giles
      Reger, University of Manchester, UK</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Giselle
      Reis, Carnegie Mellon University, Qatar</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Renate
      Schmidt, University of Manchester, UK</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Viorica
      Sofronie-Stokkermans, Universität Koblenz-Landau, Germany</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Alwen Tiu,
      Australian National University, Australia</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Sophie
      Tourret, Max-Planck-Institut für Informatik, Saarbrücken, Germany</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Dmitriy
      Traytel, ETH Zürich, Switzerland</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Josef
      Urban, Czech Institute of Informatics, Robotics and Cybernetics,
      Czech Republic</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Luca
      Viganò, King's College, London, UK</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Uwe
      Waldmann, Max-Planck-Institut für Informatik, Saarbrücken, Germany</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Bruno
      Woltzenlogel Paleo, Vienna University of Technology, Austria</p>
    <p style="-qt-paragraph-type:empty; margin-top:0px;
      margin-bottom:0px; margin-left:0px; margin-right:0px;
      -qt-block-indent:0; text-indent:0px;"><br>
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">PC CHAIRS
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Serenella
      Cerrito, IBISC, Univ. Evry, Paris Saclay University, France</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Andrei
      Popescu, Middlesex University London, UK </p>
    <p style="-qt-paragraph-type:empty; margin-top:0px;
      margin-bottom:0px; margin-left:0px; margin-right:0px;
      -qt-block-indent:0; text-indent:0px;"><br>
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">LOCAL
      ORGANIZATION COMMITTEE </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Kelly
      Androutsopoulos, Middlesex University London, UK</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Jaap
      Boender, Middlesex University London, UK</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Michele
      Bottone, Middlesex University London, UK</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Florian
      Kammueller, Middlesex University London, UK</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Rajagopal
      Nagarajan, Middlesex University London, UK</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Andrei
      Popescu, Middlesex University London, UK</p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Franco
      Raimondi, Middlesex University London, UK</p>
    <p style="-qt-paragraph-type:empty; margin-top:0px;
      margin-bottom:0px; margin-left:0px; margin-right:0px;
      -qt-block-indent:0; text-indent:0px;"><br>
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">CONFERENCE
      CHAIR </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Andrei
      Popescu, Middlesex University London, UK <br>
    </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;"><br>
    </p>
  </body>
</html>