<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>