TABLEAUX 2023 - FIRST CALL FOR PAPERS

--00000000000049e0d905f72cb0a9
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

TABLEAUX 2023 - FIRST CALL FOR PAPERS

The 32nd International Conference on Automated Reasoning with Analytic
Tableaux and Related Methods
Prague, Czech Republic, September 18-21, 2023

Website: http://tableaux2023.tableaux-ar.org
Submission deadlines: May 9 (abstract), May 14, 2023 (paper)

GENERAL INFORMATION
The 32nd International Conference on Automated Reasoning with Analytic
Tableaux and Related Methods (TABLEAUX 2023) will be hosted by the
Czech Technical University in Prague, Czech Republic, September 18-21,
2023.

TABLEAUX is the main international conference at which research on all
aspects -- theoretical foundations, implementation techniques, systems
development and applications -- of tableaux-based reasoning and
related methods are presented. The first TABLEAUX conference was held
in Lautenbach near Karlsruhe, Germany, in 1992. Since then it has been
organised on an annual basis (sometimes as a part of IJCAR).

TABLEAUX 2023 will be co-located with the 14th International Symposium
on Frontiers of Combining Systems (FroCoS 2023). The conferences will
provide a rich programme of workshops, tutorials, invited talks, paper
presentations and system descriptions.

SCOPE OF CONFERENCE
Tableaux and related proof methods offer convenient and flexible tools
for automated reasoning for both classical and non-classical logics.
Areas of application include verification of software and computer
systems, deductive databases, knowledge representation and its
required inference engines, teaching, and system diagnosis.

Topics of interest include but are not limited to:
   * tableau methods for classical and non-classical logics (including
first-order, higher-order, modal, temporal, description, hybrid,
intuitionistic, linear, substructural, fuzzy, relevance and
non-monotonic logics) and their proof-theoretic foundations;
   * sequent, natural deduction, labelled, nested and deep calculi for
classical and non-classical logics, as tools for proof search and
proof representation;
   * related methods (SMT, model elimination, model checking,
connection methods, resolution, BDDs, translation approaches);
   * flexible, easily extendable, light-weight methods for theorem
proving; novel types of calculi for theorem proving and verification
in classical and non-classical logics;
   * systems, tools, implementations, empirical evaluations and
applications (provers, proof assistants, logical frameworks, model
checkers, etc.);
   * implementation techniques (data structures, efficient algorithms,
performance measurement, extensibility, etc.);
   * combinations with machine learning and other AI methods;
   * techniques for proof generation and compact (or human-readable)
proof representation;
   * theoretical and practical aspects of decision procedures;
   * applications of automated deduction to mathematics, software
development, verification, deductive and temporal databases, knowledge
representation, ontologies, fault diagnosis or teaching.

We also welcome papers describing applications of tableau procedures
to real-world examples. Such papers should be tailored to the TABLEAUX
community and should focus on the role of reasoning and on logical
aspects of the solution.

AITP-TABLEAUX SPECIAL TRACK
Besides the main track, TABLEAUX 2023 will host a special track on
Artificial Intelligence and Theorem Proving (AITP). The special track
invites papers combining machine learning and related AI methods with
standard TABLEAUX topics (see above). We welcome full versions of the
extended abstracts presented at the AITP conference
(http://aitp-conference.org/2023/). The special track should be
indicated when submitting in EasyChair.

CALL FOR WORKSHOPS AND TUTORIALS
Workshop/Tutorial proposals can be made any time up to July 7, 2023.
Notification will be provided within one week after submission. Please
see the TABLEAUX 2023 website for more details.

INVITED SPEAKERS
To be announced.

SUBMISSION GUIDELINES
Submissions are invited in the following two categories:
(A) regular papers reporting original theoretical research or
applications. Up to 15 pages excluding references;
(B) short papers such as system descriptions, user experiences, case
studies and domain models. Up to 9 pages excluding references.

Submissions will be reviewed by the Program Committee, possibly with
the help of external reviewers, taking into account correctness,
originality, readability, relevance, and significance. Any additional
material (going beyond the page limit) may be included in a clearly
marked appendix that will be read at the discretion of the committee
and must be removed for the camera-ready version.

Submissions must be unpublished and not submitted for archival
publication elsewhere. If software or data is relevant to a paper, a
link that provides access to the software/data must be provided to
enable reproduction of the results. Accepted papers in categories (A)
and (B) will be published in the conference proceedings.

Papers must be edited in LaTeX using the llncs style and must be
submitted electronically as PDF files via the EasyChair system:
https://easychair.org/my/conference?conf=3Dtableaux2023

For all accepted papers, at least one author is required to register
for 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:
http://www.springer.com/br/computer-science/lncs/conference-proceedings-gui=
delines

IMPORTANT DATES
Submission of title and abstract: May 9, 2023
Paper submission deadline: May 14, 2023
Notification of acceptance: July 9, 2023
Final version: July 23, 2023
Conference date: September 18-21, 2023

CONFERENCE FORMAT AND COVID-19
TABLEAUX 2023 and FroCoS 2023 are planned as in-person conferences.
However, virtual participation might be a possibility in exceptional
situations.

PUBLICATION
The conference proceedings will be published in the Springer series
Lecture Notes in Artificial Intelligence (LNAI/LNCS) as Gold Open
Access under a CC-BY-4.0-license. The open access costs will be
covered from sponsorships and from the registration fees of all
participants.

BEST PAPER AWARDS
The program committee will select
* the TABLEAUX 2023 Best Paper; and,
* the TABLEAUX 2023 Best Junior Researcher Paper

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. For a submission to be eligible for the Best Junior
Researcher Paper award, more than 50% of the contribution must be made
by the junior researcher(s). The two awards will be presented at the
conference.

TRAVEL GRANTS FOR STUDENTS
Some funding may be available to support students participating at
TABLEAUX 2023. More details will be given on the conference website in
due time.

PROGRAM COMMITTEE

Bahareh Afshari (University of Gothenburg & University of Amsterdam)
Carlos Areces (FaMAF - Universidad Nacional de C=C3=B3rdoba)
Peter Baumgartner (Data61/CSIRO)
Serenella Cerrito (IBISC, Univ Evry, Universit=C3=A9 Paris-Saclay)
Kaustuv Chaudhuri (INRIA)
Anupam Das (University of Birmingham)
St=C3=A9phane Demri (CNRS, LMF, ENS Paris-Saclay)
Clare Dixon (University of Manchester)
Jos=C3=A9 Esp=C3=ADrito Santo (University of Minho)
Christian Ferm=C3=BCller (Technische Universit=C3=A4t Wien)
Camillo Fiorentini (Universit=C3=A0 degli Studi di Milano)
Ulrich Furbach (University of Koblenz)
Didier Galmiche (Universit=C3=A9 de Lorraine, CNRS, LORIA)
Silvio Ghilardi (Universit=C3=A0 degli Studi di Milano)
Marianna Girlando (University of Amsterdam)
St=C3=A9phane Graham-Lengrand (SRI International)
Charles Grellois (Bordeaux INP)
Andrzej Indrzejczak (University of Lodz)		=09
Cezary Kaliszyk (University of Innsbruck)
Hidenori Kurokawa (Kanazawa University)
Stepan Kuznetsov (Steklov Mathematical Institute, RAS)
Timo Lang (University College London)
Sonia Marin (University of Birmingham)
Neil Murray (Emeritus, University at Albany - SUNY)
Cl=C3=A1udia Nalon (University of Bras=C3=ADlia)
Sara Negri (University of Genoa)
Eugenio Orlandelli (University of Bologna)
Jens Otten (University of Oslo)
Alessandra Palmigiano (Vrije Universiteit Amsterdam)
Dirk Pattinson (The Australian National University)
Nicolas Peltier (CNRS - LIG)
Frank Pfenning (Carnegie Mellon University	)
Elaine Pimentel (University College London)
Gian Luca Pozzato (Universit=C3=A0 di Torino)		=09
Revantha Ramanayake (University of Groningen)
Michael Rawson (Technische Universit=C3=A4t Wien)
Reuben Rowe (Royal Holloway University of London)
Katsuhiko Sano (Hokkaido University)
Lutz Stra=C3=9Fburger (Inria Saclay)
Thomas Studer (University of Bern)
Josef Urban (Czech Technical University in Prague)
Yoni Zohar (Bar-Ilan University)
Zsolt Zombori (Alfr=C3=A9d R=C3=A9nyi Institute of Mathematics)
Hans de Nivelle (Nazarbayev University)

PC CHAIRS
Revantha Ramanayake (University of Groningen)
Josef Urban (Czech Technical University in Prague)

LOCAL ORGANIZERS
Karel Chvalovsky (Czech Technical University in Prague)
Jan Jakubuv (Czech Technical University in Prague)
Martin Suda (Czech Technical University in Prague)
Josef Urban (Czech Technical University in Prague)

--00000000000049e0d905f72cb0a9
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_quote"><div dir=3D"ltr"><pre style=3D"=
color:rgb(0,0,0);white-space:pre-wrap">TABLEAUX 2023 - FIRST CALL FOR PAPER=
S

The 32nd International Conference on Automated Reasoning with Analytic Tabl=
eaux and Related Methods
Prague, Czech Republic, September 18-21, 2023

Website: <a href=3D"http://tableaux2023.tableaux-ar.org" target=3D"_blank">=
http://tableaux2023.tableaux-ar.org</a>
Submission deadlines: May 9 (abstract), May 14, 2023 (paper)

GENERAL INFORMATION
The 32nd International Conference on Automated Reasoning with Analytic Tabl=
eaux and Related Methods (TABLEAUX 2023) will be hosted by the Czech Techni=
cal University in Prague, Czech Republic, September 18-21, 2023.

TABLEAUX is the main international conference at which research on all aspe=
cts -- theoretical foundations, implementation techniques, systems developm=
ent and applications -- of tableaux-based reasoning and related methods are=
 presented. The first TABLEAUX conference was held in Lautenbach near Karls=
ruhe, Germany, in 1992. Since then it has been organised on an annual basis=
 (sometimes as a part of IJCAR).=20

TABLEAUX 2023 will be co-located with the 14th International Symposium on F=
rontiers of Combining Systems (FroCoS 2023). The conferences will provide a=
 rich programme of workshops, tutorials, invited talks, paper presentations=
 and system descriptions.

SCOPE OF CONFERENCE=20
Tableaux and related proof methods offer convenient and flexible tools for =
automated reasoning for both classical and non-classical logics. Areas of a=
pplication include verification of software and computer systems, deductive=
 databases, knowledge representation and its required inference engines, te=
aching, and system diagnosis.

Topics of interest include but are not limited to:    =20
   * tableau methods for classical and non-classical logics (including firs=
t-order, higher-order, modal, temporal, description, hybrid, intuitionistic=
, linear, substructural, fuzzy, relevance and non-monotonic logics) and the=
ir proof-theoretic foundations;
   * sequent, natural deduction, labelled, nested and deep calculi for clas=
sical and non-classical logics, as tools for proof search and proof represe=
ntation;
   * related methods (SMT, model elimination, model checking, connection me=
thods, resolution, BDDs, translation approaches);
   * flexible, easily extendable, light-weight methods for theorem proving;=
 novel types of calculi for theorem proving and verification in classical a=
nd non-classical logics;
   * systems, tools, implementations, empirical evaluations and application=
s (provers, proof assistants, logical frameworks, model checkers, etc.);
   * implementation techniques (data structures, efficient algorithms, perf=
ormance measurement, extensibility, etc.);
   * combinations with machine learning and other AI methods;
   * techniques for proof generation and compact (or human-readable) proof =
representation;
   * theoretical and practical aspects of decision procedures;
   * applications of automated deduction to mathematics, software developme=
nt, verification, deductive and temporal databases, knowledge representatio=
n, ontologies, fault diagnosis or teaching.=20

We also welcome papers describing applications of tableau procedures to rea=
l-world examples. Such papers should be tailored to the TABLEAUX community =
and should focus on the role of reasoning and on logical aspects of the sol=
ution.

AITP-TABLEAUX SPECIAL TRACK
Besides the main track, TABLEAUX 2023 will host a special track on Artifici=
al Intelligence and Theorem Proving (AITP). The special track invites paper=
s combining machine learning and related AI methods with standard TABLEAUX =
topics (see above). We welcome full versions of the extended abstracts pres=
ented at the AITP conference (<a href=3D"http://aitp-conference.org/2023/" =
target=3D"_blank">http://aitp-conference.org/2023/</a>). The special track =
should be indicated when submitting in EasyChair.

CALL FOR WORKSHOPS AND TUTORIALS
Workshop/Tutorial proposals can be made any time up to July 7, 2023. Notifi=
cation will be provided within one week after submission. Please see the TA=
BLEAUX 2023 website for more details.

INVITED SPEAKERS
To be announced.

SUBMISSION GUIDELINES=20
Submissions are invited in the following two categories:=20
(A) regular papers reporting original theoretical research or applications.=
 Up to 15 pages excluding references;  =20
(B) short papers such as system descriptions, user experiences, case studie=
s and domain models. Up to 9 pages excluding references.

Submissions will be reviewed by the Program Committee, possibly with the he=
lp of external reviewers, taking into account correctness, originality, rea=
dability, relevance, and significance. Any additional material (going beyon=
d the page limit) may be included in a clearly marked appendix that will be=
 read at the discretion of the committee and must be removed for the camera=
-ready version.=20

Submissions must be unpublished and not submitted for archival publication =
elsewhere. If software or data is relevant to a paper, a link that provides=
 access to the software/data must be provided to enable reproduction of the=
 results. Accepted papers in categories (A) and (B) will be published in th=
e conference proceedings.

Papers must be edited in LaTeX using the llncs style and must be submitted =
electronically as PDF files via the EasyChair system:

<a href=3D"https://easychair.org/my/conference?conf=3Dtableaux2023" target=
=3D"_blank">https://easychair.org/my/conference?conf=3Dtableaux2023</a>

For all accepted papers, at least one author is required to register for th=
e conference and present the paper. A title and a short abstract of about 1=
00 words must be submitted before the paper submission deadline. Formatting=
 instructions and the LNCS style files can be obtained at:

<a href=3D"http://www.springer.com/br/computer-science/lncs/conference-proc=
eedings-guidelines" target=3D"_blank">http://www.springer.com/br/computer-s=
cience/lncs/conference-proceedings-guidelines</a>

IMPORTANT DATES
Submission of title and abstract: May 9, 2023
Paper submission deadline: May 14, 2023
Notification of acceptance: July 9, 2023
Final version: July 23, 2023
Conference date: September 18-21, 2023

CONFERENCE FORMAT AND COVID-19
TABLEAUX 2023 and FroCoS 2023 are planned as in-person conferences. However=
, virtual participation might be a possibility in exceptional situations.

PUBLICATION=20
The conference proceedings will be published in the Springer series Lecture=
 Notes in Artificial Intelligence (LNAI/LNCS) as Gold Open Access under a C=
C-BY-4.0-license. The open access costs will be covered from sponsorships a=
nd from the registration fees of all participants.

BEST PAPER AWARDS
The program committee will select
* the TABLEAUX 2023 Best Paper; and,
* the TABLEAUX 2023 Best Junior Researcher Paper

Researchers will be considered &quot;junior&quot; if either they are studen=
ts or their PhD degree date is less than two years from the first day of th=
e meeting. For a submission to be eligible for the Best Junior Researcher P=
aper award, more than 50% of the contribution must be made by the junior re=
searcher(s). The two awards will be presented at the conference.

TRAVEL GRANTS FOR STUDENTS
Some funding may be available to support students participating at TABLEAUX=
 2023. More details will be given on the conference website in due time.

PROGRAM COMMITTEE

Bahareh Afshari (University of Gothenburg &amp; University of Amsterdam)
Carlos Areces (FaMAF - Universidad Nacional de C=C3=B3rdoba)
Peter Baumgartner (Data61/CSIRO)
Serenella Cerrito (IBISC, Univ Evry, Universit=C3=A9 Paris-Saclay)
Kaustuv Chaudhuri (INRIA)
Anupam Das (University of Birmingham)
St=C3=A9phane Demri (CNRS, LMF, ENS Paris-Saclay)
Clare Dixon (University of Manchester)
Jos=C3=A9 Esp=C3=ADrito Santo (University of Minho)
Christian Ferm=C3=BCller (Technische Universit=C3=A4t Wien)
Camillo Fiorentini (Universit=C3=A0 degli Studi di Milano)
Ulrich Furbach (University of Koblenz)
Didier Galmiche (Universit=C3=A9 de Lorraine, CNRS, LORIA)
Silvio Ghilardi (Universit=C3=A0 degli Studi di Milano)
Marianna Girlando (University of Amsterdam)
St=C3=A9phane Graham-Lengrand (SRI International)
Charles Grellois (Bordeaux INP)
Andrzej Indrzejczak (University of Lodz)		=09
Cezary Kaliszyk (University of Innsbruck)
Hidenori Kurokawa (Kanazawa University)
Stepan Kuznetsov (Steklov Mathematical Institute, RAS)
Timo Lang (University College London)
Sonia Marin (University of Birmingham)
Neil Murray (Emeritus, University at Albany - SUNY)
Cl=C3=A1udia Nalon (University of Bras=C3=ADlia)
Sara Negri (University of Genoa)
Eugenio Orlandelli (University of Bologna)
Jens Otten (University of Oslo)
Alessandra Palmigiano (Vrije Universiteit Amsterdam)
Dirk Pattinson (The Australian National University)
Nicolas Peltier (CNRS - LIG)
Frank Pfenning (Carnegie Mellon University	)
Elaine Pimentel (University College London)
Gian Luca Pozzato (Universit=C3=A0 di Torino)		=09
Revantha Ramanayake (University of Groningen)
Michael Rawson (Technische Universit=C3=A4t Wien)
Reuben Rowe (Royal Holloway University of London)
Katsuhiko Sano (Hokkaido University)
Lutz Stra=C3=9Fburger (Inria Saclay)
Thomas Studer (University of Bern)
Josef Urban (Czech Technical University in Prague)
Yoni Zohar (Bar-Ilan University)
Zsolt Zombori (Alfr=C3=A9d R=C3=A9nyi Institute of Mathematics)
Hans de Nivelle (Nazarbayev University)

PC CHAIRS=20
Revantha Ramanayake (University of Groningen)
Josef Urban (Czech Technical University in Prague)

LOCAL ORGANIZERS
Karel Chvalovsky (Czech Technical University in Prague)
Jan Jakubuv (Czech Technical University in Prague)
Martin Suda (Czech Technical University in Prague)
Josef Urban (Czech Technical University in Prague)</pre></div>
</div></div>

--00000000000049e0d905f72cb0a9--