2023 Archives by thread

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

Starting: Mon Jan 2 16:28:50 CET 2023
Ending: Tue Dec 26 20:53:18 CET 2023
Messages: 170

• [Agda] [TFP 2023 Call For Participation] 24th International Symposium on Trends in Functional Programming   Peter Achten
• [Agda] Post-doc position at Université de Montpellier   Simon Robillard
• [Agda] [ANNOUNCE] Agda 2.6.3 release candidate 3   Andrés Sicard-Ramírez
• [Agda] CfP: Journal of Systems and Software - Special Issue on Software Language Engineering   Andrei Chis
• [Agda] LFMTP'23 call for papers   Ana Bove
• [Agda] HoTT/UF 2023: Call for Contributions   Evan Cavallo
• [Agda] [ANNOUNCE] Agda 2.6.3   Andrés Sicard-Ramírez
  • [Agda] [ANNOUNCE] Agda 2.6.3   Andreas Abel
  • [Agda] [ANNOUNCE] Agda 2.6.3   Ingo Blechschmidt
• [Agda] [ ANNOUNCE ] Standard library version 1.7.2   Matthew Daggitt
• [Agda] AIM collocated with APLAS'23 in Asia   Liang-Ting Chen
  • [Agda] AIM collocated with APLAS'23 in Asia   Liang-Ting Chen
• [Agda] Postdoc position on design and/or verification of distributed systems at the University of Birmingham   vincent rahli
• [Agda] HoTT 2023   Thorsten Altenkirch
• [Agda] Gauging interest in AIM-XXXVI   Bohdan Liesnikov
• [Agda] Call for STSMs and ITC conference grants, deadline 1 January 2023   Ambrus Kaposi
• [Agda] Agda Implementors' Meeting XXXVI in Delft, NL, 10-16.05.2022   Bohdan Liesnikov
• [Agda] Midlands Graduate School, 2-6 April 2023, Birmingham , UK   Graham Hutton
• [Agda] examples for the Effect.Monad... modules in agda-stdlib/master?   Peter Thiemann
• [Agda] Impredicative prop?   Neel Krishnaswami
  • [Agda] Impredicative prop?   Andreas Nuyts
  • [Agda] Impredicative prop?   Thorsten Altenkirch
  • [Agda] Impredicative prop?   Andrew Pitts
    • [Agda] Impredicative prop?   Martin Escardo
      • [Agda] Impredicative prop?   amp12
  • [Agda] Impredicative prop?   Nils Anders Danielsson
• [Agda] Second Call for Papers: LFMTP'23   Ana Bove
• [Agda] 1st CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering   Andrei Chis
• [Agda] TYPES 2023: Call for Contributions - Deadline extension   Alicia Villanueva
• [Agda] PhD or Postdoc Position at LMU Munich about Verified Modal Logics   Andrei Popescu
• [Agda] Call for Papers, Functional Software Architecture - FP in the Large   Graham Hutton
• [Agda] Utrecht Summer School on Advanced Functional Programming 2023   Swierstra, W.S. (Wouter)
• [Agda] Does anyone know how to developer/github agda icu-compliant, on macosx; with macports, A(s-opposed)OP brewdog   Peter Hancock
• [Agda] Postdoctor in Type theory for mathematics and computer science   Ana Bove
• [Agda] SAS 2023 - First Call for Papers - Paper Deadline: April 24, 2023   louis.rustenholz at imdea.org
• [Agda] Postdoc position on design and/or verification of distributed systems at the University of Birmingham, UK   vincent rahli
• [Agda] IFL23 first CFP   Pieter Koopman
• [Agda] TyDe 2023 - Call for Papers   Youyou Cong
• [Agda] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023   xu at math.lmu.de
  • [Agda] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023   xu at math.lmu.de
• [Agda] APLAS 2023 first Call for Papers   Shin-Cheng Mu
• [Agda] Announcement: agda2hs release v1.0   Jesper Cockx
  • [Agda] Announcement: agda2hs release v1.0   Jason Hu
    • [Agda] Announcement: agda2hs release v1.0   Orestis Melkonian
• [Agda] SAS 2023 - Second Call for Papers - Paper Deadline: April 24, 2023   louis.rustenholz at imdea.org
• [Agda] Deadline extension: LFMTP 2023   Ana Bove
• [Agda] Call for Papers: Functional Software Architecture - FP in the Large   Graham Hutton
  • [Agda] Final Call for Papers: Functional Software Architecture - FP in the Large (** deadline 1st June **)   Graham Hutton
• [Agda] SAS 2023 - Final Call for Papers - Paper Deadline: April 24, 2023   louis.rustenholz at imdea.org
• [Agda] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield   Andrei Popescu
• [Agda] SAS 2023 - Final CFP - Extended deadlines (updates until May 1st)   louis.rustenholz at imdea.org
• [Agda] 3-year engineering position in Deducteam, Inria Paris-Saclay, France   Frédéric Blanqui
• [Agda] RTIS 2023   edprocess dline.info
  • [Agda] RTIS 2023   edprocess dline.info
• [Agda] SAS 2023 - Final CFP - Extended full paper deadline: May 1, 2023   louis.rustenholz at imdea.org
• [Agda] Call for Abstracts: HOPE 2023   Max New
• [Agda] APLAS 2023: Second Call for Papers   Sato, Ryosuke
• [Agda] Real-Time Intelligent Systems   edprocess dline.info
• [Agda] Real-Time Intelligent Systems 2023   edprocess dline.info
  • [Agda] Real-Time Intelligent Systems 2023   edprocess dline.info
• [Agda] Assistant Professor in Computer Science at Chalmers University of Technology   Ana Bove
• [Agda] Agda Implementors' Meeting XXXVII in Taipei, Taiwan, 20–25 Nov 2023   Liang-Ting Chen
• [Agda] WITS 2023 First Call for Contributions   Jesper Cockx
• [Agda] Postdoctoral position at Université de Montpellier   Simon Robillard
• [Agda] Call for Submissions: Student Research Competition and Posters, APLAS 2023   Sato, Ryosuke
• [Agda] GPCE 2023 Call for Papers   Youyou Cong
• [Agda] GPCE 2023 Call for Papers (with complete committee information)   Youyou Cong
• [Agda] Call for Papers: JFP Special Issue on Program Calculation   Graham Hutton
• [Agda] TyDe 2023 - Second Call for Papers and Deadline Extension   Youyou Cong
• [Agda] Call for Participation: Logic Mentoring Workshop (LMW at LICS 2023)   Arthur Azevedo de Amorim
• [Agda] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
  • [Agda] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [Agda] Real-Time Intelligent Systems RTIS 2023   edprocess dline.info
• [Agda] Assistant/Associate professor role at Radboud University   Wouter Swierstra
• [Agda] APLAS 2023: Final Call for Papers   Sato, Ryosuke
• [Agda] Call for TYPES 2025 location   Henning Basold
• [Agda] APLAS 2023: Deadline Extension   Sato, Ryosuke
• [Agda] 2nd CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering   Andrei Chis
• [Agda] Agda typechecking speed   Carette, Jacques
• [Agda] IFL23 2nd Call for papers   Pieter Koopman
• [Agda] SPLASH 2023 - Second Combined Call for Contributions   Alcides Fonseca
  • [Agda] SPLASH 2023 - Second Combined Call for Contributions   Alcides Fonseca
• [Agda] WITS 2023 Second Call for Contributions (Deadline in one week!)   Jesper Cockx
• [Agda] WITS 2023 Deadline Extended to July 15   Jesper Cockx
• [Agda] position in Deducteam — Lawvere/Dosen session on categorial logic/programming @ CT2023   admin
• [Agda] GPCE 2023: Deadline Extension   Youyou Cong
• [Agda] CFP CPP 2024 -- Certified Proofs and Programs   Brigitte Pientka
• [Agda] Final Call: Real-Time Intelligent Systems 2023   edprocess dline.info
• [Agda] Göteborgs universitet | Four PhD Positions in Computer Science and Engineering   Ana Bove
  • [Agda] Göteborgs universitet | Four PhD Positions in Computer Science and Engineering   Ana Bove
• [Agda] Second Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)   Graham Hutton
• [Agda] Digital Data Processing 2023 IEEE   edprocess dline.info
• [Agda] [TFP 2024 Call for Papers] 25th International Symposium on Trends in Functional Programming   Peter Achten
• [Agda] Call for Participation, Functional Software Architecture - FP in the Large   Graham Hutton
• [Agda] FLOPS 2024 Symposium on Functional and Logic Programming   Jeremy Gibbons
• [Agda] IFL23 last Call for papers   Pieter Koopman
• [Agda] Digital Data Processing 2023   edprocess dline.info
  • [Agda] Digital Data Processing 2023   edprocess dline.info
• [Agda] IFL23 - Deadline extension - Symposium on Implementation and Application of Functional Languages   Pieter Koopman
• [Agda] [ANNOUNCE] Agda 2.6.4 release candidate 1   Andreas Abel
• [Agda] Digital Data Processing 2023 IEEE CPS   edprocess dline.info
• [Agda] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023   Sato, Ryosuke
• [Agda] [Call for submissions TFPiE 2024] Trends in Functional Programming in Education - January 9 2024, Seton Hall University, USA   Peter Achten
• [Agda] Postdoc position, Logic and Semantics Group in Tallinn   Tarmo Uustalu
• [Agda] PhD Position in Higher-Order Mathematical Operational, Semantics at FAU   Sergey Goncharov
• [Agda] reply to Agda 2.6.3.20230805   mechvel at scico.botik.ru
  • [Agda] reply to Agda 2.6.3.20230805   Shu-Hung You
    • [Agda] reply to Agda 2.6.3.20230805   mechvel at scico.botik.ru
• [Agda] 2.6.4-rc1   mechvel at scico.botik.ru
• [Agda] Workshop on Generative AI Models   edprocess dline.info
• [Agda] Position in Swansea suitable for agda people on applied formal methods (security or railway verification)   Anton Setzer
• [Agda] Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)   Graham Hutton
• [Agda] DDP 2023 IEEE CPS   edprocess dline.info
• [Agda] ... because it contains Dec which does not have a COMPILE pragma.   Johannes Waldmann
  • [Agda] ... because it contains Dec which does not have a COMPILE pragma.   Johannes Waldmann
• [Agda] SAS 2023 - Call for Participation - Early deadline: Sept 22   Louis Rustenholz
• [Agda] OOPSLA 2024: Round 1 Call for Papers   Umar Farooq
• [Agda] SPLASH 2023 Call for Participation   Alcides Fonseca
  • [Agda] SPLASH 2023 Call for Participation   Alcides Fonseca
  • [Agda] SPLASH 2023 Call for Participation   Alcides Fonseca
• [Agda] [ANNOUNCE] Agda 2.6.4 release candidate 2   Andreas Abel
  • [Agda] [ANNOUNCE] Agda 2.6.4 release candidate 2   mechvel at scico.botik.ru
• [Agda] Faculty positions at Birmingham Theory Group   Martin Escardo
• [Agda] ESOP 2024 Call For Papers   Ana Bove
• [Agda] APLAS 2023: Call for Participation   Sato, Ryosuke
• [Agda] performance debugging?   Robby Findler
  • [Agda] performance debugging?   mechvel at scico.botik.ru
  • [Agda] performance debugging?   James Wood
  • [Agda] performance debugging?   Nils Anders Danielsson
    • [Agda] performance debugging?   mechvel at scico.botik.ru
    • [Agda] performance debugging?   Robby Findler
      • [Agda] performance debugging?   Nils Anders Danielsson
• [Agda] [ANNOUNCE] Agda 2.6.4 release candidate 3   Andreas Abel
  • [Agda] [ANNOUNCE] Agda 2.6.4 release candidate 3   mechvel at scico.botik.ru
• [Agda] [ANNOUNCE] Agda 2.6.4 released!   Andreas Abel
• [Agda] [ ANNOUNCE ] Standard library version 1.7.3   Matthew Daggitt
• [Agda] APLAS 2023: Second Call for Participation   Sato, Ryosuke
• [Agda] Fwd: Final CfP AIM37 : Agda Implementors' Meeting XXXVII in Taipei, 20-25 November 2023   Liang-Ting Chen
• [Agda] Call for STSMs and ITC conference grants, deadline 12 November 2023   simona.k at uns.ac.rs
• [Agda] [ ANNOUNCE ] Standard library v2.0 - release candidate 1   Matthew Daggitt
• [Agda] Agda2hs 1.1 release   Jesper Cockx
  • [Agda] Agda and CI?   Johannes Waldmann
    • [Agda] Agda and CI?   Liang-Ting Chen
• [Agda] SRC at POPL 2024 Call for Submissions   Neel Krishnaswami
• [Agda] CFP - FICS Workshop (submission deadline: 1st December 2023)   Alexis Saurin
• [Agda] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation   Jesper Cockx
• [Agda] [ANNOUNCE] Agda 2.6.4.1 release candidate   Andreas Abel
• [Agda] [ANNOUNCE] Agda 2.6.4.1 release candidate 2   Andreas Abel
• [Agda] CiE 2024: Call for Papers   Lorenzo Galeotti
• [Agda] Third Call for Contributions - FICS Workshop (submission deadline: 1st December 2023)   Alexis Saurin
• [Agda] [ ANNOUNCE ] Standard library v2.0 - release candidate 2   Matthew Daggitt
  • [Agda] [ ANNOUNCE ] Standard library v2.0 - release candidate 2   mechvel at scico.botik.ru
    • [Agda] [ ANNOUNCE ] Standard library v2.0 - release candidate 2   Matthew Daggitt
  • [Agda] [ ANNOUNCE ] Standard library v2.0 - release candidate 2   mechvel at scico.botik.ru
• [Agda] HoTT/UF 2024: 1st Call for Contributions and Participation   Tom de Jong
• [Agda] [TFP 2024 Final Call for Papers] 25th International Symposium on Trends in Functional Programming   Peter Achten
• [Agda] FLOPS 2024: final call for abstracts and papers   Jeremy Gibbons
• [Agda] [ANNOUNCE] Agda 2.6.4.1   Andreas Abel
  • [Agda] [ANNOUNCE] Agda 2.6.4.1   mechvel at scico.botik.ru
    • [Agda] [ANNOUNCE] Agda 2.6.4.1   Andreas Abel
      • [Agda] [ANNOUNCE] Agda 2.6.4.1   mechvel at scico.botik.ru
      • [Agda] [ANNOUNCE] Agda 2.6.4.1   Andreas Abel
  • [Agda] [ANNOUNCE] Agda 2.6.4.1   Peter Hancock
    • [Agda] [ANNOUNCE] Agda 2.6.4.1   Peter Hancock
• [Agda] Deadline extension for FICS Workshop (new deadline: 6/12/2023)   Alexis Saurin
• [Agda] Call for STSMs and ITC conference grants, deadline 7 January 2024   simona.k at uns.ac.rs
• [Agda] [ ANNOUNCE ] Agda Standard Library version 2.0   Matthew Daggitt
• [Agda] HoTT/UF 2024: 2nd Call for Contributions   Tom de Jong
• [Agda] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)   Peter Achten
• [Agda] New agda-categories released (to match agda-stdlib 2.0)   Carette, Jacques

Last message date: Tue Dec 26 20:53:18 CET 2023
Archived on: Tue Dec 26 20:53:23 CET 2023

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