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: Mon Dec 23 09:15:47 CET 2024
Messages: 144

• [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] PhD positions at Nottingham   Thorsten Altenkirch
• [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] 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] Real-Time Intelligent Systems 2024   edprocess dline.info
  • [Agda] Real-Time Intelligent Systems 2024   edprocess dline.info
  • [Agda] Real-Time Intelligent Systems 2024   edprocess dline.info
  • [Agda] Real-Time Intelligent Systems 2024   edprocess dline.info
  • [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] 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] 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
• [Agda] APLAS 2024: Final Call for Papers [Deadline extended till May 31]   Mirai Ikebuchi
• [Agda] PLMW at ICFP'24: Call for Participation (travel funding application by June 21)   Ningning Xie
• [Agda] trouble installing Agda   Scott N. Walck
  • [Agda] trouble installing Agda   Jason Hu
• [Agda] PhD Positions Available at the University of Lille – Starting September 2024   David Nowak
• [Agda] 2nd CfP: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering   Andrei Chis
• [Agda] two expressions in the same hole?   Robby Findler
  • [Agda] two expressions in the same hole?   James Wood
• [Agda] Digital Data Processing 2024   edprocess dline.info
  • [Agda] Digital Data Processing 2024   edprocess dline.info
  • [Agda] Digital Data Processing 2024   edprocess dline.info
• [Agda] 2nd EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs   Frédéric Blanqui
• [Agda] Call for Participation: Scottish PL & Verification Summer School   Guillaume Allais
• [Agda] Call for Papers: SPLASH 2024 Student Research Competition   Umar Farooq
• [Agda] POPL 2025: Call for Workshops and Co-located Events   Ningning Xie
• [Agda] PLMW at ICFP'24: Final call for Participation (travel funding application by June 21)   Ningning Xie
• [Agda] [ANNOUNCE] Agda Standard Library Version 2.1 - Release Candidate 1   Matthew Daggitt
• [Agda] Workshop on Data Analytics in Biomedicine   edprocess dline.info
  • [Agda] Workshop on Data Analytics in Biomedicine   edprocess dline.info
• [Agda] SPLASH'24: Call for Volunteers   Umar Farooq
• [Agda] Digital Data Processing DDP 2024   edprocess dline.info
• [Agda] Free online participation in MSFP, 8th July 2024   Favonia
• [Agda] Data Analytics in Biomedicine   edprocess dline.info
  • [Agda] Data Analytics in Biomedicine   edprocess dline.info
• [Agda] [ANNOUNCE] Agda Standard Library v2.1 - release candidate 2   Matthew Daggitt
  • [Agda] [ANNOUNCE] Agda Standard Library v2.1 - release candidate 2   mechvel at scico.botik.ru
    • [Agda] [ANNOUNCE] Agda Standard Library v2.1 - release candidate 2   mechvel at scico.botik.ru
• [Agda] Agda 2.7.0 release candidate 1   Andreas Abel
  • [Agda] Agda 2.7.0 release candidate 1   mechvel at scico.botik.ru
• [Agda] POPL 2025: Final Call for Workshops and Co-located Events (July 26 AOE)   Ningning Xie
• [Agda] mechanizations of normalization proofs of a list of type theories   Jason Hu
• [Agda] [ ANNOUNCE ] Agda Standard Library version 2.1   Matthew Daggitt
• [Agda] Agda 2.7.0 release candidate 2   Andreas Abel
• [Agda] Final Call: Data Analytics in Biomedicine   edprocess dline.info
• [Agda] IFL 2024 Final call for papers, extended submission deadline.   Mart Lubbers
• [Agda] RTIS 2024 Extended deadline   edprocess dline.info
• [Agda] Agda 2.7.0 release candidate 3   Andreas Abel
• [Agda] POPL 2025 Call for Tutorials   Ningning Xie
• [Agda] Final CALL: Digital Data Processing 2024   edprocess dline.info
  • [Agda] Final Call: Digital Data Processing 2024   edprocess dline.info
• [Agda] Call for Nominations: SLE 2024 - Artifact Evaluation Committee, Nominations Wanted   Andrei Chis
• [Agda] APLAS 2024 Call for Participation   Mirai Ikebuchi
• [Agda] IFL 2024, final call for participation/registration   Mart Lubbers
• [Agda] Agda 2.7.0 released!   Andreas Abel
• [Agda] [ANNOUNCE] Agda Standard Library Version 2.1.1 - Release Candidate 1   Matthew Daggitt
• [Agda] [ANNOUNCE] Agda Standard Library Version 2.1.1 - Release Candidate 2   Matthew Daggitt
• [Agda] 3-years postdoc on Type theory for mathematics and computer science at Gothenburg University   Ana Bove
• [Agda] APLAS 2024 2nd Call for Participation   Mirai Ikebuchi
• [Agda] [ANNOUNCE] Agda standard library v2.1.1   Matthew Daggitt
• [Agda] [TFP 2025 Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)   Peter Achten
• [Agda] Agda 2.7.0.1 released   Andreas Abel
• [Agda] 39th Agda Implementor's Meeting (AIM XXXIX) 25-30 Nov 2024 in Gothenburg   Andreas Abel
• [Agda] Call for Participation: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering   Andrei Chis
• [Agda] Agda2hs 1.3 release   Jesper Cockx
• [Agda] 1st CfP: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering   Andrei Chis
• [Agda] PhD position on multimodal Agda @ KU Leuven, Belgium   Andreas Nuyts
• [Agda] [TFP 2025 2nd Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)   Peter Achten
• [Agda] what is the condition for well-formedness of an inductive-recursive definition?   Jason Hu
• [Agda] POPL 2025 Call for Tutorials (deadline extended: Oct 25th, 2024)   Ningning Xie
• [Agda] Postdoc in Type Theory/Logic, Stockholm Univ. (deadline 4 Nov)   Peter LeFanu Lumsdaine
• [Agda] Call for STSMs and ITC conference grants, deadline 24 November 2024   simona.k at uns.ac.rs
• [Agda] PhD studentships at the University of Strathclyde   Fredrik Nordvall Forsberg
• [Agda] Workshop on Homotopy Type Theory and Univalent Foundations   felix.wellen at posteo.de
  • [Agda] Workshop on Homotopy Type Theory and Univalent Foundations   Felix Cherubini
• [Agda] [TFP 2025 3rd Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)   Peter Achten
• [Agda] PhD and postdoc positions in type theory (start: Oct 2025; location: Nottingham, UK)   Nicolai Kraus
• [Agda] POPL 2025 Call for Participation - Early registration: 20 December   Ningning Xie
• [Agda] Permanent lecturer/senior lecturer position at the University of Strathclyde   Fredrik Nordvall Forsberg
• [Agda] TYPES 2025: First Call for Contributions   Fredrik Nordvall Forsberg
• [Agda] LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025   Andrei Popescu
• [Agda] [TFP (and TFPiE) 2025] Call For Participation (January 13-16, Oxford, UK)   Peter Achten
• [Agda] 2nd CfP: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering   Andrei Chis
• [Agda] 1st CfP: FMBC 2025 - 6th International Workshop on Formal Methods for Blockchains   Orestis Melkonian

Last message date: Mon Dec 23 09:15:47 CET 2024
Archived on: Mon Dec 23 09:15:53 CET 2024

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