2024 Archives by author
Starting: Mon Jan 8 12:00:00 CET 2024
Ending: Fri Apr 26 21:06:50 CEST 2024
Messages: 52
- [Agda] [ANNOUNCE] Agda 2.6.4.2 release candidate
Andreas Abel
- [Agda] [ANNOUNCE] Agda 2.6.4.2 release candidate 2
Andreas Abel
- [Agda] [ANNOUNCE] Agda 2.6.4.2
Andreas Abel
- [Agda] [ANNOUNCE] Agda 2.6.4.2 retracted
Andreas Abel
- [Agda] [ANN] Agda-2.6.4.3 release candidate 1
Andreas Abel
- [Agda] [ANN] Agda-2.6.4.3
Andreas Abel
- [Agda] Research Fellow in Programming Languages Foundations, University of Tartu, Estonia
Danel Ahman
- [Agda] PhD positions at Nottingham
Thorsten Altenkirch
- [Agda] TYPES 2024 - Call for Contributions
Patrick Bahr
- [Agda] TYPES 2024: Call for Contributions - Deadline extension
Patrick Bahr
- [Agda] TYPES 2024: Call for Participation
Patrick Bahr
- [Agda] Assistant professor positions in Computer science and engineering at Chalmers
Ana Bove
- [Agda] Five PhD Positions at the department of Computer Science and Engineering, Chalmers
Ana Bove
- [Agda] Two PhD positions in Computing science at Chalmers
Ana Bove
- [Agda] PhD position in neuro-symbolic AI for Mathematical Discovery
Ana Bove
- [Agda] TyDe 2024: First call for papers and extended abstracts
Jesper Cockx
- [Agda] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24)
Claudio Sacerdoti Coen
- [Agda] performance debugging?
Nils Anders Danielsson
- [Agda] MGS'2024 (Midlands Graduate School)
Martin Escardo
- [Agda] Call for Papers: OOPSLA 2024
Umar Farooq
- [Agda] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)
Favonia
- [Agda] Student Research Competition (SRC) at ICFP 2024
Favonia
- [Agda] School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024
Favonia
- [Agda] Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)
Favonia
- [Agda] performance debugging?
Robby Findler
- [Agda] performance debugging?
Robby Findler
- [Agda] PhD position at the University of Strathclyde
Fredrik Nordvall Forsberg
- [Agda] Postdoc position at the University of Strathclyde
Fredrik Nordvall Forsberg
- [Agda] Fully-funded PhD studentship in functional programming
Graham Hutton
- [Agda] PhD studentship in functional programming (closing date 9th Feb)
Graham Hutton
- [Agda] Midlands Graduate School (MGS)
Graham Hutton
- [Agda] APLAS 2024: 2nd Call for Papers
Mirai Ikebuchi
- [Agda] HoTT/UF 2024: Final Call for Contributions (Deadline: 19 Jan 2024)
Tom de Jong
- [Agda] HoTT/UF 2024: Registration
Tom de Jong
- [Agda] HoTT/UF 2024: Registration closing soon
Tom de Jong
- [Agda] Call for STSMs and ITC conference grants, deadline 17 March 2024
Ambrus Kaposi
- [Agda] Call for ITC conference grants, deadline 1 May 2024
Ambrus Kaposi
- [Agda] PhD positions at Nottingham
Nicolai Kraus
- [Agda] Volunteers for ICFP 2024 Artifact Evaluation Committee (AEC)
Benoit Montagu
- [Agda] LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024
Andrei Popescu
- [Agda] LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024
Andrei Popescu
- [Agda] Agda Termination Checker Implements Size-Change Termination?
Reuben Rowe
- [Agda] Three Post-doc positions in RECIPROG project (located in France -- Lyon, Nantes and Paris)
Alexis Saurin
- [Agda] Agda Implementors' Meeting XXXVIII: Call for talks and participation
Anton Setzer
- [Agda] Agda Implementors' Meeting XXXVIII: Call for talks and participation
Anton Setzer
- [Agda] PhD position in Utrecht
Wouter Swierstra
- [Agda] Utrecht Summer School on Advanced Functional Programming
Wouter Swierstra
- [Agda] Postdoc positions in Reykjavik
Tarmo Uustalu
- [Agda] CiE 2024: CALL FOR PAPERS [Deadline Extension]
acie at acie.eu
- [Agda] Real-Time Intelligent Systems 2024
edprocess dline.info
- [Agda] Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024
xu at math.lmu.de
- [Agda] Agda Implementors' Meeting XXXVIII: Call for talks and participation
mukesh tiwari
Last message date:
Fri Apr 26 21:06:50 CEST 2024
Archived on: Fri Apr 26 21:07:05 CEST 2024
This archive was generated by
Pipermail 0.09 (Mailman edition).