2025 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Fri Jan 3 10:20:30 CET 2025
Ending: Fri Mar 28 10:07:14 CET 2025
Messages: 43

• [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] [ANNOUNCE] Agda Standard Library Version 2.2   Matthew Daggitt
• [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] Recursion on transfinite numbers.   Naïm Favier
• [Agda] Recursion on transfinite numbers.   Fredrik Nordvall Forsberg
• [Agda] Postdoc position at University of Iceland   Anders Claesson
• [Agda] TYPES 2025: Deadline Extension and Final Call for Contributions   Fredrik Nordvall Forsberg
• [Agda] EuroProofNet Symposium, 8-19 September 2025, 1st Call for Talk Proposals   Frédéric Blanqui
• [Agda] 1st International School on Logical Frameworks, and Proof Systems Interoperability (LFPSI'25)   Frédéric Blanqui
• [Agda] Research Fellow position at the University of Tartu, Estonia   Danel Ahman
• [Agda] ITP 2025: Second Call for Papers   Tom de Jong
• [Agda] Agda Implementors' Meeting (AIM XXXX): Call for talks and participation   Ambrus Kaposi
• [Agda] Call for Participation to French Spring School on TCS -- 19-23 may in Aussois (French Alps)   Alexis Saurin
• [Agda] ARRAY 2025: Call for contributions   Artem Shinkarov
• [Agda] Explicit definition.   Serge Leblanc
• [Agda] Explicit definition.   Naïm Favier
• [Agda] clarification on --level-universe   Jason Hu
• [Agda] clarification on --level-universe   Naïm Favier
• [Agda] CfP: GPCE 2025   Jeremy Yallop
• [Agda] TABLEAUX 2025 2nd call for papers   Tarmo Uustalu
• [Agda] Digital Data Processing 2025   edprocess dline.info
• [Agda] Digital Data Processing 2025   edprocess dline.info
• [Agda] Midlands Graduate School - final call for participation   Graham Hutton
• [Agda] Midlands Graduate School 2025 final call -- registration closes on 24 March   Andrei Popescu
• [Agda] PhD positions at Stockholm University (deadline April 22)   Anders Mortberg
• [Agda] HoTT/UF 2025: Registration   Felix Cherubini
• [Agda] Haskell Symposium 2025 First Call for Papers   Ningning Xie
• [Agda] Deadline extension (9 April): GPCE 2025   Jeremy Yallop

Last message date: Fri Mar 28 10:07:14 CET 2025
Archived on: Fri Mar 28 10:07:40 CET 2025

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...