<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="-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,
      please note a change compared to the first call: The references
      are not counted in the page limits. </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;">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=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Submission
      deadlines: 21 Apr 2019 (abstract), 24 Apr 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;">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: 21 Apr 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: 24 Apr 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
      degree date is less than two years from the first day of the
      meeting. The two awards will be presented at the conference. </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;">TRAVEL
      GRANTS FOR STUDENTS </p>
    <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
      margin-right:0px; -qt-block-indent:0; text-indent:0px;">Some
      funding will be available to support students traveling to
      TABLEAUX 2019. More details will be given on the conference
      website in due time. </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>