Thread Index (2401)

Last update: Thu Feb 01 00:15:03 2024
3 threaded messages

[mizar] CICM 2024 Call for Papers, Adam Naumowicz

[mizar] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024), Josef Urban

[mizar] Re: Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024), Josef Urban

[Chronological Index] [Top]