Chronological Index (2401)
[Thread Index]
[Top]
Last update: Thu Feb 01 00:15:03 2024
3 messages in chronological order
Subject
From
# of followups
[mizar] CICM 2024 Call for Papers
Adam Naumowicz
0
[mizar] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024)
Josef Urban
1
[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
0
[Thread Index]
[Top]