Thread Index (2303)

[Chronological Index] [Top]
Last update: Sun Mar 19 00:15:02 2023
8 threaded messages

  • [mizar] AITP 2023 - Call for Contributions, Josef Urban
  • [mizar] Raspberry PI - Mizar, Roland Coghetto
  • [mizar] Proof Assistants for Teaching, Artur Kornilowicz
  • [mizar] Call for Bids to Host ITP 2024, Adam Naumowicz
  • [mizar] Lectureships at Lancaster University (Leipzig campus), Deadline 30 March, Marco Caminati
  • [mizar] ITP 2023: Call for Workshop and Tutorial Proposals, Adam Naumowicz
  • [mizar] TABLEAUX 2023 - FIRST CALL FOR PAPERS, Josef Urban

    • [Chronological Index] [Top]