Logic List Mailing Archive

CfP proceedings volume of ThEdu 2023 in EPTCS, Deadlin: 22 Oct 2023

                            Open Call for Papers
                           Proceedings for ThEdu'23
               Theorem Proving Components for Educational Software
                           to be published by EPTCS,
              Electronic Proceedings in Theoretical Computer Science


The workshop ThEdu'23 happened on 5 of July, 2023, as a satellite
event of CADE29. It was a very lively meeting. The programme was
comprised of one invited talk, by Yves Bertot, Inria, France as
well as seven regular contributions, whose abstracts and
presentations may be found in the workshop's webpage.

Now the proceedings are being planned, intending to collect full
versions of the contributed papers, as well as new contributions.
The contributions' range of topics is diverse, according to ThEdu's
scope, and this is a call for papers, open to everyone, also those
who did not participate in the workshop. All papers will undergo
reviewing according to the EPTCS standards.

ThEdu'23 Scope:

     Computer Theorem Proving is becoming a paradigm as well as a
     technological base for a new generation of educational software in
     science, technology, engineering and mathematics. This volume of
     EPTCS intends to bring together experts in automated deduction with
     experts in education in order to further clarify the shape of the
     new software generation and to discuss existing systems.

Topics of interest include:

      * methods of automated deduction applied to checking students' input;
      * methods of automated deduction applied to prove post-conditions
         for particular problem solutions;
      * combinations of deduction and computation enabling systems to
         propose next steps;
      * automated provers specific for dynamic geometry systems;
      * proof and proving in mathematics education.

Important Dates

      * Submission (Full Papers): 22 October 2023
      * Notification of acceptance: 26 November 2023
      * Revised papers due: 5 January 2024


     We welcome submission of full papers (12--20 pages) presenting
     original unpublished work which is not being submitted for
     publication elsewhere.

     All contributions will be reviewed (at least three blind reviews) to
     meet the high standards of EPTCS.

     The author should comply with the EPTCS's "instructions for authors"
     (http://info.eptcs.org/), and accept the "Non-exclusive license to
     (http://copyright.eptcs.org/) and use the EPTCS's "LaTeX Style"

     Papers should be submitted via EasyChair,

Program Committee

     Francisco Botana, University of Vigo at Pontevedra, Spain
     David Cerna, Johannes Kepler University, Austria
     João Marcos, Federal University of Rio Grande do Norte, Brazil
     Filip Maric, University of Belgrade, Serbia
     Julien Narboux, University of Strasbourg, France (co-chair)
     Adolfo Neto, Federal University of Technology – Parana, Brazil
     Walther Neuper, Johannes Kepler University Linz, Austria (co-chair)
     Pedro Quaresma, University of Coimbra, Portugal (co-chair)
     Joana Teles, University of Coimbra, Portugal
     Vanda Santos, University of Aveiro, Portugal
     Anders Schlichtkrull, Aalborg University, Denmark
     M. Pilar Vélez, Nebrija University, Spain
     Jørgen Villadsen, Technical University of Denmark, Denmark

---------- Forwarded message ----------

BETREFF: CFP: Celebrating the Work of Ross Brady (AJL), Deadline: 15 January

Dear colleagues,

You might be interested in the following cfp for a special issue of the AJL on
the work of Ross Brady. The deadline for submission is January 15, 2024.

We are delighted to announce a special issue of the Australasian Journal of
Logic (AJL) dedicated to celebrating the remarkable contributions of Ross Brady.
Ross's work has made significant advancements in various areas of logic, both
technically and philosophically. This special issue aims to honor his invaluable
contributions and provide a platform for scholars to engage with his work. We
invite submissions on topics related to Ross Brady's research interests,
including but not limited to: Naive set theory, (see e.g. "The non-triviality of
dialectical set theory" in Paraconsistent Logic: Essays on the Inconsistent or
"The Simple Consistency of Naive Set Theory using Metavaluations";  Journal of
Philosophical Logic, 2014). Content semantics (see "A content semantics for
quantified relevant logics I & II"; Studia Logica, 1988 and 1989).
Gentzenization results for nonclassical logics (see e.g. "Gentzenization and
decidability of some contraction-less relevant logics"; Journal of Philosophical
Logic, 1991 or "Gentzenizations of Relevant Logics with Distribution"; Journal
of Symbolic Logic, 1996). Normalized natural deduction systems for nonclassical
logics (see e.g. "Normalized Natural Deduction Systems for Some Relevant Logics
I: The Logic DW"; Journal of Symbolic Logic, 2006). The consistency of
arithmetic (see e.g. "The consistency of arithmetic, based on a logic of meaning
containment"; Logique et Analyse, 2012 or "Arithmetic Formulated in a Logic of
Meaning Containment"; Australasian Journal of Logic, 2021). Relevant implication
and arguments in favor of weak logics (see e.g. "Relevant implication and the
case for a weaker logic"; Journal of Philosophical Logic, 1996 or Universal
Logic; CSLI publications, 2006). Critiques of Cantor's diagonal argument (see
e.g. "What is Wrong with Cantor's Diagonal Argument?" (with Penny Rush); Logique
et Analyse, 2008). Distribution in logics of meaning containment and in quantum
mechanics (see e.g. "Distribution in the logic of meaning containment and in
quantum mechanics" (with Andrea Meinander) in Paraconsistency: Logic and
Applications, 2013). Use of definitions and logical representation in paradox
derivation (see e.g. "The use of definitions and their logical representation in
paradox derivation" Synthese, 2017). In addition to the listed topics, we
welcome submissions that explore related areas, recent research, and extensions
of Ross Brady's work. Particularly, we encourage contributions focusing on the
logic MC of meaning containment and its applications, as well as investigations
into metavaluations and metacompleteness.

Submission Guidelines:
Manuscripts should be prepared according to the guidelines of the Australasian
Journal of Logic (https://ojs.victoria.ac.nz/ajl/). Submissions should be made
through the AJL's online submission system (details available on the journal's
website). All submitted papers will undergo a rigorous peer-review process to
ensure the quality and relevance of the contributions.

The deadline for paper submissions is January 15, 2024.

Guest Editor:
Shay Logan

We look forward to receiving your submissions and celebrating the exceptional
work of Ross Brady in this special issue of the Australasian Journal of Logic.
For any inquiries or further information, please contact the Guest Editor.


[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam