2022 Archives by thread

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

Starting: Mon Jan 3 02:00:00 CET 2022
Ending: Mon Dec 19 22:25:14 CET 2022
Messages: 192

• [Agda] PEPM 2022 - Call for Participation   Youyou Cong
• [Agda] Call for STSMs, deadline 16 January 2022   Ambrus Kaposi
• [Agda] A stupid question to start off the New Year   Philip Wadler
  • [Agda] A stupid question to start off the New Year   Conor McBride
    • [Agda] A stupid question to start off the New Year   Philip Wadler
      • [Agda] A stupid question to start off the New Year   James Wood
      • [Agda] A stupid question to start off the New Year   Philip Wadler
      • [Agda] A stupid question to start off the New Year   Peter Thiemann
      • [Agda] A stupid question to start off the New Year   James Wood
      • [Agda] A stupid question to start off the New Year   James Wood
• [Agda] Getting Agda building and running on Windows   Aaron Gray
  • [Agda] Getting Agda building and running on Windows   Anton Setzer
    • [Agda] Getting Agda building and running on Windows   Jason Hu
      • [Agda] Getting Agda building and running on Windows   Felix Cherubini
  • [Agda] Getting Agda building and running on Windows   Ingo Blechschmidt
• [Agda] More rewrite woes   Philip Wadler
  • [Agda] More rewrite woes   Jason Hu
    • [Agda] More rewrite woes   Philip Wadler
• [Agda] [TFP'22] second call for papers: Trends in Functional Programming 2022 moved to March 17-18 online (together with TFPiE)   Peter Achten
• [Agda] Release of Lambdapi 2.1.0   Frédéric Blanqui
• [Agda] using different stdlib   Jason Hu
  • [Agda] using different stdlib   Nils Anders Danielsson
• [Agda] Quirk: C-c C-n thinks that some symbols are not in scope   Eduardo Ochs
  • [Agda] Quirk: C-c C-n thinks that some symbols are not in scope   Jesper Cockx
    • [Agda] Quirk: C-c C-n thinks that some symbols are not in scope   Eduardo Ochs
    • [Agda] Quirk: C-c C-n thinks that some symbols are not in scope   Thorsten Altenkirch
      • [Agda] Quirk: C-c C-n thinks that some symbols are not in scope   Andreas Abel
      • [Agda] Quirk: C-c C-n thinks that some symbols are not in scope   Anton Setzer
      • [Agda] Quirk: C-c C-n thinks that some symbols are not in scope   Martin Escardo
      • [Agda] Quirk: C-c C-n thinks that some symbols are not in scope   James Wood
• [Agda] Instead of a REPL   Eduardo Ochs
• [Agda] HoTT/UF 2022: Call for Contributions   Benedikt Ahrens
• [Agda] First Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)   Andrei Chis
• [Agda] strange Termination problem   mechvel at scico.botik.ru
  • [Agda] strange Termination problem   Jason Hu
    • [Agda] strange Termination problem   mechvel at scico.botik.ru
    • [Agda] strange Termination problem   mechvel at scico.botik.ru
• [Agda] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation   Nicolai Kraus
• [Agda] [TFP'22] final call for papers: Trends in Functional Programming 2022 (deadline March 7 2022)   Peter Achten
• [Agda] [CFP]19th Int. Conf. on Smart Business Technologies :: Submission Deadline - 2nd of March   calendarsites at insticc.org
• [Agda] Postdoc and PhD position in homotopy type theory   Nicolai Kraus
• [Agda] PhD Position in Number Theory and Formalization   Andrei Popescu
• [Agda] Call for STSMs, deadline 3 April 2022   Ambrus Kaposi
  • [Agda] Call for STSMs, deadline 3 April 2022   Ambrus Kaposi
• [Agda] [Call for participation] TFPiE and TFP online events March 16-18   Peter Achten
• [Agda] Midlands Graduate School: Accommodation and second (final) call for participation   Nicolai Kraus
• [Agda] GPCE 2022 Call for Papers   Youyou Cong
• [Agda] [ANNOUNCE] Agda 2.6.2.2 release candidate   Andreas Abel
• [Agda] [CFP] New Submission Opportunity :: Smart Business Technologies 2022 (April 21, 2022)   calendarsites at insticc.org
• [Agda] [ANNOUNCE] Agda 2.6.2.2 release candidate 2   Andreas Abel
• [Agda] School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April   Marco Maggesi
• [Agda] [ANNOUNCE] Agda 2.6.2.2   Andreas Abel
• [Agda] Best font for Windows?   David Banas
  • [Agda] Best font for Windows?   Jason Hu
• [Agda] when with-abstraction fails?   Jason Hu
  • [Agda] when with-abstraction fails?   Georgi Lyubenov
    • [Agda] when with-abstraction fails?   Jason Hu
  • [Agda] when with-abstraction fails?   Andreas Abel
• [Agda] Agda Implementors' Meeting XXXV   Oskar Eriksson
  • [Agda] Agda Implementors' Meeting XXXV   Oskar Eriksson
• [Agda] Simple(?) cubical agda isomorphism   Dan Krejsa
  • [Agda] Simple(?) cubical agda isomorphism   Tom Jack
    • [Agda] Simple(?) cubical agda isomorphism   Dan Krejsa
• [Agda] Proof seemingly takes far too long to check?   depsterr
  • [Agda] Proof seemingly takes far too long to check?   depsterr
    • [Agda] Proof seemingly takes far too long to check?   mechvel at scico.botik.ru
      • [Agda] Proof seemingly takes far too long to check?   depsterr
• [Agda] ICFP'22 Artifact Evaluation Committee: call for nominations   Jannis Limperg
• [Agda] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield   Andrei Popescu
• [Agda] HoTTEST Summer School July+August 2022   Ulrik Buchholtz
• [Agda] SPLASH 2022 Final Call for Workshop Proposals   Andreea Costea
• [Agda] BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford!   Andrei Popescu
• [Agda] Journal of Functional Programming - Call For PhD Abstracts   Graham Hutton
  • [Agda] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [Agda] AIM XXXV Pub (local Gothenburg event)   Andreas Abel
• [Agda] HoTT/UF 2022: Second Call for Contributions   Evan Cavallo
• [Agda] Workshop in honour of Thierry Coquand's 60th birthday   Ana Bove
  • [Agda] Last call for participation: Workshop in honour of Thierry Coquand's 60th birthday   Ana Bove
• [Agda] Extended Deadline for HoTT/UF 2022: 15 May   Evan Cavallo
• [Agda] Assistant Professorships in Nottingham   Graham Hutton
• [Agda] 2nd CfP (deadline 27 May): Autumn school "Proof and Computation" 2022   Chuangjie Xu
• [Agda] Call for Papers: Workshop on Type-Driven Development (TyDe)   Harley D. Eades III
• [Agda] ICFP 2022 Student Research Competition: Final Call for Submissions   Danel Ahman
• [Agda] FixPoint.unfold-wfRec, but for lexicographic induction?   Siek, Jeremy
  • [Agda] FixPoint.unfold-wfRec, but for lexicographic induction?   Siek, Jeremy
• [Agda] Call for STSMs, deadline 1 July 2022   Ambrus Kaposi
  • [Agda] Call for STSMs, deadline 1 July 2022   Ambrus Kaposi
    • [Agda] Call for STSMs, deadline 1 January 2023   Ambrus Kaposi
• [Agda] id number in html?   Jason Hu
  • [Agda] id number in html?   Nils Anders Danielsson
    • [Agda] id number in html?   Jason Hu
      • [Agda] id number in html?   Jason Hu
      • [Agda] id number in html?   Nils Anders Danielsson
      • [Agda] id number in html?   Jason Hu
      • [Agda] id number in html?   Nils Anders Danielsson
      • [Agda] id number in html?   Nils Anders Danielsson
• [Agda] Call for TYPES Steering Committee Nominations   Henning Basold
• [Agda] An exercise in typing   Roman
  • [Agda] An exercise in typing   Jason Hu
    • [Agda] An exercise in typing   Roman
      • [Agda] An exercise in typing   Ulf Norell
      • [Agda] An exercise in typing   Roman
      • [Agda] An exercise in typing   Ulf Norell
      • [Agda] An exercise in typing   Roman
      • [Agda] An exercise in typing   Roman
      • [Agda] An exercise in typing   Arseniy Alekseyev
• [Agda] CALL FOR PAPERS - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages   Pieter Koopman
• [Agda] Release of Dkcheck 2.7, a type-checker for Dedukti files   Frédéric Blanqui
• [Agda] Version mixup   Philip Wadler
  • [Agda] Version mixup   Nils Anders Danielsson
    • [Agda] Version mixup   Philip Wadler
      • [Agda] Version mixup   Jason Hu
      • [Agda] Version mixup   Nils Anders Danielsson
      • [Agda] Version mixup   Philip Wadler
      • [Agda] Version mixup   Nils Anders Danielsson
      • [Agda] Version mixup   Sandro Stucki
      • [Agda] Version mixup   Philip Wadler
• [Agda] CSL'23 - last call for papers   Bartek Klin
• [Agda] Second Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)   Andrei Chis
• [Agda] SPLASH 2022 - Combined Call For Contributions   Andreea Costea
• [Agda] Call for talks/participation - EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs   Frédéric Blanqui
• [Agda] GPCE 2022 Second Call for Papers   Youyou Cong
• [Agda] 2nd CFP - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages   Pieter Koopman
• [Agda] Equality in strict total order   cyberfined
  • [Agda] Equality in strict total order   James Wood
• [Agda] Postdoc Vacancy at St Andrews   Christopher Brown
• [Agda] Call for Papers: Eelco Visser Commemorative Symposium   Andrei Chis
• [Agda] Matching on crisp refl leads to error   Felix Cherubini
• [Agda] Call for participation: EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs   Frédéric Blanqui
• [Agda] Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022   Orestis Melkonian
• [Agda] 1st Call for Papers: PADL 2023   Michael Hanus
• [Agda] IFL22: Early registration deadline August 15th   Pieter Koopman
• [Agda] Path to success with Agda?   Ignat Insarov
  • [Agda] Path to success with Agda?   Jason Hu
    • [Agda] Path to success with Agda?   William DeMeo
    • [Agda] Path to success with Agda?   Ignat Insarov
      • [Agda] Path to success with Agda?   Jason Hu
      • [Agda] Path to success with Agda?   Andrew Pitts
      • [Agda] Path to success with Agda?   Miëtek Bak
      • [Agda] Path to success with Agda?   Andrew Pitts
      • [Agda] Path to success with Agda?   Thorsten Altenkirch
      • [Agda] Path to success with Agda?   Andreas Nuyts
      • [Agda] Path to success with Agda?   Thorsten Altenkirch
      • [Agda] Path to success with Agda?   mechvel at scico.botik.ru
  • [Agda] Path to success with Agda?   Peter Hancock
  • [Agda] Path to success with Agda?   Pedro Abreu
• [Agda] Last call for participation: EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs   Frédéric Blanqui
• [Agda] «Extensionally but not definitionally equal» — can I say that?   Ignat Insarov
  • [Agda] «Extensionally but not definitionally equal» — can I say that?   Thorsten Altenkirch
    • [Agda] «Extensionally but not definitionally equal» — can I say that?   Apostolis Xekoukoulotakis
      • [Agda] «Extensionally but not definitionally equal» — can I say that?   Thorsten Altenkirch
      • [Agda] «Extensionally but not definitionally equal» — can I say that?   Apostolis Xekoukoulotakis
      • [Agda] «Extensionally but not definitionally equal» — can I say that?   Andreas Nuyts
      • [Agda] «Extensionally but not definitionally equal» — can I say that?   Nicolai Kraus
      • [Agda] «Extensionally but not definitionally equal» — can I say that?   Tarik ÖZKANLI
      • [Agda] «Extensionally but not definitionally equal» — can I say that?   Apostolis Xekoukoulotakis
• [Agda] Libraries for (finite) topological spaces?   Eduardo Ochs
• [Agda] Thorsten's 60th birthday   Nicolai Kraus
• [Agda] 2nd Call for Papers: PADL 2023   Michael Hanus
• [Agda] [TFP 2023 Call for Papers] 24th International Symposium on Trends in Functional Programming   Peter Achten
• [Agda] Eelco Visser Commemorative Symposium – 2nd Call for Papers   Andrei Chis
• [Agda] PLMW at POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE)   Favonia
• [Agda] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022   Jonathan Protzenko
• [Agda] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct   Nicolai Kraus
  • [Agda] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct   Aaron Gray
• [Agda] Two postdocs in Type theory for mathematics and computer science   Ana Bove
• [Agda] PADL 2023: Final Call for Papers (with updated deadlines!)   Michael Hanus
• [Agda] Blog post about agda2hs   Jesper Cockx
  • [Agda] Blog post about agda2hs   mechvel at scico.botik.ru
• [Agda] Four (4) PhD student positions in dependent type theory for mathematics and computer science   Ana Bove
• [Agda] Faculty position in Logical Foundations at the University of Cambridge   Neel Krishnaswami
• [Agda] LAST CALL: Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022   Orestis Melkonian
• [Agda] Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)   Fredrik Nordvall Forsberg
• [Agda] CFP for PEPM 2023 (Deadline extended)   Edwin Brady
  • [Agda] CFP for PEPM 2023 (Deadline extended)   Edwin Brady
• [Agda] Challenge: can you exploit a known bug in Cubical Agda?   Andreas Abel
  • [Agda] Challenge: can you exploit a known bug in Cubical Agda?   Jan Bessai
• [Agda] Postdoc position at the University of Birmingham   vincent rahli
• [Agda] [ANNOUNCE] Agda 2.6.3 release candidate 1   Andrés Sicard-Ramírez
  • [Agda] [ANNOUNCE] Agda 2.6.3 release candidate 2   Andrés Sicard-Ramírez
• [Agda] [ ANNOUNCE ] Standard library v1.7.2 - release candidate 1   Matthew Daggitt
• [Agda] Instructions how to setup your system for hacking on Agda (AIM XXXI)   Andreas Abel
• [Agda] Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC   Andrei Popescu
• [Agda] [TFP 2023 2nd Call for Papers] 24th International Symposium on Trends in Functional Programming   Peter Achten
• [Agda] FICS'23: Call for Contributions - Fixed Points in Computer Science (CSL'23 workshop 17 feb 2023)   Ralph Matthes
• [Agda] 10 PhD studentships in Nottingham   Graham Hutton
• [Agda] Fully funded PhD positions in PL theory and interactive theorem proving at Heriot-Watt University in Edinburgh   Sieczkowski, Filip K
• [Agda] Dutch FP Day - Call for participation   Swierstra, W.S. (Wouter)
• [Agda] 2 Associate professor positions at CSE, Chalmers   Ana Bove
• [Agda] Positions at Birmingham, UK, Computer Science   Martin Escardo
• [Agda] 2nd Call for Contributions FICS 2023: Workshop on Fixed Points in Computer Science   Ralph Matthes
• [Agda] chatgpt and agda   warrick scott

Last message date: Mon Dec 19 22:25:14 CET 2022
Archived on: Mon Dec 19 22:25:21 CET 2022

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