[Proof Complexity] JAF 45 Warsaw

[thapen]

-------- Original Message --------
Subject: JAF 45 Warsaw - CFP
Date: 2026-03-13 09:31
 From: Mateusz Łełyk <mlelyk at uw.edu.pl>
To:

Dear All,

This year we invite you all for the 45th JAF to Warsaw. The conference
will take place at the Faculty of Philosophy, University of Warsaw [1],
between September 16th- September 18th and will be followed by a one-day
conference to celebrate the 60th birthday of Cezary Cieśliński. [2]

More details about the conference can be found in the attached file and
on our website. [3]

Hope to see you all in Warsaw!

Kind regards,
Mateusz Łełyk

-- 

Professional homepage (google.com) [4]


Links:
------
[1] https://filozofia.uw.edu.pl/en/
[2] https://cieslinskibc.wfz.uw.edu.pl/
[3] https://jaf45warsaw.wfz.uw.edu.pl/
[4] https://sites.google.com/uw.edu.pl/lelyk
-------------- next part --------------
A non-text attachment was scrubbed...
Name: JAF_invitation.pdf
Type: application/pdf
Size: 66541 bytes
Desc: not available
URL: <http://list.math.cas.cz/pipermail/proof-complexity/attachments/20260317/96cb9cf4/attachment-0001.pdf>