<!DOCTYPE html>
<html>

<head>
    <title>JAF 44</title>
    <style>
        body {
            font-family: Arial, sans-serif;
            max-width: 960px;
            margin: 10px;
        }

        img {
            width: 100%;
            height: auto;
        }
    </style>
</head>

<body bgcolor="bbc9dd" link="#0000FF" vlink="#0000AA" alink="#FF0000" text="#000000">


    <h1>Journées sur les Arithmétiques Faibles <br> Weak Arithmetics Days 44</h1>
    <img src="orloj.png" alt="Astronomical clock, Old Town Square">
    <h3>8-10 September 2025, Prague, Czech Republic</h3>


    <p><b>Aim.</b>
        Weak arithmetics play a fundamental role in several areas of philosophy, mathematics, and
        computer science, by studying the nature and properties of natural numbers from a logical
        point of view. The aim of the conference is to provide a forum for researchers to present
        their results to members of communities who study or apply weak arithmetics in various
        fields and formalisms.
        <a href="https://www.lacl.fr/jaf/html/issues.html">Previous JAFs</a>.
    </p>

    <p><b>Topics.</b>
        Proofs in arithmetic with restricted system of axioms; non-standard models of such systems;
        decidability, undecidability, and complexity of arithmetical theories;
        definability in arithmetic structures; machines, automata and words, related to arithmetic;
        finite model theory, word structures.</p>

    <p><b>Location.</b>
        Institute of Mathematics, Czech Academy of Sciences.
        The <a href="https://www.math.cas.cz">institute</a> is  in the centre of Prague,
        a few minutes walk from Wenceslas Square.

    <p><b>Programme.</b> TBA; confirmed speakers
    <ul>
        <li><a href="https://www.cs.upc.edu/~atserias/">Albert Atserias</a>,
            Technical University of Catalonia </li>
        <li><a href="https://www.mimuw.edu.pl/~lak/">Leszek Kołodziejczyk</a>,
            University of Warsaw
        </li>
        <li><a href="https://www.karlin.mff.cuni.cz/~krajicek/">Jan Krajíček</a>,
            Charles University</li>
    </ul>
    </p>


    <p><b>Contributed papers.</b> Authors are invited to send an abstract not exceeding
        three pages as an electronic submission in the form of a pdf file, to be sent both to
        cegielski@u-pec.fr and to thapen@math.cas.cz.
        Submissions are to be
        received before <b>2 June 2025</b>.
        Authors will be notified of acceptance before <b>5 July 2025</b>.

    <p><b>Accommodation.</b> TBA</p>

    <p><b>Registration.</b>
        To register, send your details (full name, affiliation, planned dates of arrival and departure)
        to thapen@math.cas.cz. There is no conference fee.


    <p><b>Financial support.</b>
        We have some funds to support students coming to Prague to attend the conference.
        Please contact Neil Thapen, thapen@math.cas.cz, to apply.</p>

    <p><b>Contact.</b> For any enquires contact
        Patrick Cégielski,
        cegielski@u-pec.fr
        or Neil Thapen,
        thapen@math.cas.cz.</p>

    <p><b>JAF steering committee.</b>
        Patrick Cégielski (Paris XII),
        Julien Cervelle (Paris XII),
        Andrés Córdon-Franco (Seville),
        Ali Enayat (Göteborg),
        Costas Dimitracopoulos (Athens),
        Alex Esbelin (Clermont-Ferrand),
        Neil Thapen (CAS)
    </p>

    <p><b>Local organizing committee.</b>
        Neil Thapen (CAS),
        Pavel Hrubeš (CAS),
        Ondřej Ježil (Charles University)</p>

    <p><b>Sponsors / organizers.</b></p>

    <a href="https://math.cas.cz"><img src="imlogo.png" style="width:60px;height:60px;"></a>
    <a href="https://nadacersj.com/"><img src="rsj.png" style="width:60px;height:60px;"></a>

    <p><small>Header image of the astronomical clock in Old Town Square by Txllxt TxllxT, <a href="https://creativecommons.org/licenses/by-sa/4.0">CC BY-SA
                4.0</a></small>
    </p>


    </p>
    </address></a>
</body>

</html>