2025 Archives by thread
Starting: Fri Jan 3 10:20:30 CET 2025
Ending: Thu Feb 20 16:04:03 CET 2025
Messages: 21
- [Agda] [ANNOUNCE] Agda Standard Library Version 2.2 - Release Candidate 1
Matthew Daggitt
- [Agda] POPL 2025 Call for Participation (January 19-25, Denver, Colorado)
Ningning Xie
- [Agda] Final call for participation: LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025
Andrei Popescu
- [Agda] [ANNOUNCE] Agda Standard Library Version 2.2
Matthew Daggitt
- [Agda] Final CfP for HoTT/UF 2025
Felix Wellen
- [Agda] Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)
Jonathan Weinberger
- [Agda] Midlands Graduate School 2025
Graham Hutton
- [Agda] Postdoc positions in type theory (start: May 2025; location: Budapest, Hungary)
Ambrus Kaposi
- [Agda] 2nd CfP: FMBC 2025 - 6th International Workshop on Formal Methods for Blockchains
Orestis Melkonian
- [Agda] [CFP] 1st Int. Conf. on Quantum Software :: Submission Deadline - 18th February
calendarsites at insticc.org
- [Agda] Save the date: AIM in Budapest, 26-31 May
Ambrus Kaposi
- [Agda] TYPES 2025: Second Call for Contributions
Fredrik Nordvall Forsberg
- [Agda] 2nd CfC: Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)
Jonathan Weinberger
- [Agda] DDP 2025
edprocess dline.info
- [Agda] Call for STSMs and ITC conference grants
simona.k at uns.ac.rs
- [Agda] Midlands Graduate School - registration now open
Graham Hutton
- [Agda] Recursion on transfinite numbers.
Serge Leblanc
- [Agda] Postdoc position at University of Iceland
Anders Claesson
Last message date:
Thu Feb 20 16:04:03 CET 2025
Archived on: Thu Feb 20 16:04:54 CET 2025
This archive was generated by
Pipermail 0.09 (Mailman edition).