2024 Archives by thread

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

Starting: Mon Jan 8 12:00:00 CET 2024
Ending: Fri May 17 14:31:15 CEST 2024
Messages: 62

• [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] HoTT/UF 2024: Final Call for Contributions (Deadline: 19 Jan 2024)   Tom de Jong
• [Agda] Fully-funded PhD studentship in functional programming   Graham Hutton
• [Agda] PhD studentship in functional programming (closing date 9th Feb)   Graham Hutton
• [Agda] CiE 2024: CALL FOR PAPERS [Deadline Extension]   acie at acie.eu
• [Agda] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24)   Claudio Sacerdoti Coen
• [Agda] Research Fellow in Programming Languages Foundations, University of Tartu, Estonia   Danel Ahman
• [Agda] PhD positions at Nottingham   Thorsten Altenkirch
  • [Agda] PhD positions at Nottingham   Nicolai Kraus
• [Agda] [ANNOUNCE] Agda 2.6.4.2 release candidate   Andreas Abel
• [Agda] MGS'2024 (Midlands Graduate School)   Martin Escardo
• [Agda] PhD position at the University of Strathclyde   Fredrik Nordvall Forsberg
• [Agda] Assistant professor positions in Computer science and engineering at Chalmers   Ana Bove
• [Agda] [ANNOUNCE] Agda 2.6.4.2 release candidate 2   Andreas Abel
• [Agda] HoTT/UF 2024: Registration   Tom de Jong
• [Agda] Call for STSMs and ITC conference grants, deadline 17 March 2024   Ambrus Kaposi
• [Agda] Five PhD Positions at the department of Computer Science and Engineering, Chalmers   Ana Bove
• [Agda] [ANNOUNCE] Agda 2.6.4.2   Andreas Abel
  • [Agda] [ANNOUNCE] Agda 2.6.4.2 retracted   Andreas Abel
• [Agda] TYPES 2024 - Call for Contributions   Patrick Bahr
• [Agda] [ANN] Agda-2.6.4.3 release candidate 1   Andreas Abel
• [Agda] Midlands Graduate School (MGS)   Graham Hutton
• [Agda] HoTT/UF 2024: Registration closing soon   Tom de Jong
• [Agda] TYPES 2024: Call for Contributions - Deadline extension   Patrick Bahr
• [Agda] [ANN] Agda-2.6.4.3   Andreas Abel
• [Agda] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)   Favonia
• [Agda] Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024   xu at math.lmu.de
• [Agda] Postdoc position at the University of Strathclyde   Fredrik Nordvall Forsberg
• [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] Agda Implementors' Meeting XXXVIII: Call for talks and participation   mukesh tiwari
• [Agda] Call for Papers: OOPSLA 2024   Umar Farooq
• [Agda] Postdoc positions in Reykjavik   Tarmo Uustalu
• [Agda] PhD position in Utrecht   Wouter Swierstra
• [Agda] Utrecht Summer School on Advanced Functional Programming   Wouter Swierstra
• [Agda] Call for ITC conference grants, deadline 1 May 2024   Ambrus Kaposi
• [Agda] TyDe 2024: First call for papers and extended abstracts   Jesper Cockx
• [Agda] Volunteers for ICFP 2024 Artifact Evaluation Committee (AEC)   Benoit Montagu
• [Agda] Agda Termination Checker Implements Size-Change Termination?   Reuben Rowe
• [Agda] Real-Time Intelligent Systems 2024   edprocess dline.info
• [Agda] Three Post-doc positions in RECIPROG project (located in France -- Lyon, Nantes and Paris)   Alexis Saurin
• [Agda] Two PhD positions in Computing science at Chalmers   Ana Bove
• [Agda] TYPES 2024: Call for Participation   Patrick Bahr
• [Agda] PhD position in neuro-symbolic AI for Mathematical Discovery   Ana Bove
• [Agda] APLAS 2024: 2nd Call for Papers   Mirai Ikebuchi
• [Agda] Student Research Competition (SRC) at ICFP 2024   Favonia
• [Agda] School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024   Favonia
• [Agda] performance debugging?   Robby Findler
  • [Agda] performance debugging?   Nils Anders Danielsson
    • [Agda] performance debugging?   Robby Findler
• [Agda] Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)   Favonia
• [Agda] 1st CfP: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering   Andrei Chis
• [Agda] RTIS 2024   edprocess dline.info
• [Agda] Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24)   Claudio Sacerdoti Coen
• [Agda] Types 2024, second call for participation   Patrick Bahr
• [Agda] DDP 2024   edprocess dline.info
• [Agda] Logic/Semantics/PL/Verification posts at the University of Southampton   Artem Shinkarov
• [Agda] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [Agda] MSFP 2024 deadline extension: Tuesday 28th May   Favonia
• [Agda] 1-year researcher position at Gothenburg university   Ana Bove
• [Agda] __IMPOSSIBLE__, called at src/full/Agda/TypeChecking/Rules/LHS.hs:447:29 in Agd-2.6.4.1-8cf9152f:Agda.TypeChecking.Rules.LHS   Robby Findler

Last message date: Fri May 17 14:31:15 CEST 2024
Archived on: Fri May 17 14:31:30 CEST 2024

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