[Proof Complexity] Fwd: JAF 43 (Journées sur les Arithmétiques Faibles) in Passau - Third announcement

[thapen]

Please see the announcement from Azza Gaysin below.

-------- Original Message --------
Subject: JAF 43 (Journées sur les Arithmétiques Faibles) in Passau - 
Third announcement
Date: 2024-07-19 09:15
 From: Azza Gaysin <azza.gaysin at gmail.com>
To: ...

Dear all,

Here is the third announcement of JAF 43 to be held in Passau (Germany)
from September 9 to 11, 2024.

Please note that the deadlines were extended: submissions are to be
received by August 5, 2024, and notifications are to be sent by August
15, 2024.

A joint conference dinner is planned to take place at one of the largest
folk festivals in eastern Bavaria, Passauer Herbstdult, on Tuesday
10.09.

We are organizing a joint tour to Veste Oberhaus and to the National
Bavarian park Halser Ilzschleife on Tuesday 10.09.

The conference website is: https://www.uni-passau.de/en/jaf
Best regards,
Azza and Patrick
-------------- next part --------------
A non-text attachment was scrubbed...
Name: jaf43ThirdAnnouncement.pdf
Type: application/pdf
Size: 57378 bytes
Desc: not available
URL: <http://list.math.cas.cz/pipermail/proof-complexity/attachments/20240720/a5ee3dbc/attachment-0001.pdf>