List archive

• CFP - 16th International Workshop on the Implementation of Logics (at LPAR-26), geoff, 08/03/2026
• [LFCS seminar] 07 Aug: Anindya De (UPenn): Sparsifying intersections of halfspaces, Heng Guo, 08/04/2026
• LPAR-26: Call for Short Presentation Papers, geoff, 08/05/2026
• [LFCS seminar] Today 07 Aug: Anindya De (UPenn): Sparsifying intersections of halfspaces, Heng Guo, 08/07/2026
• [LFCS seminar] Now 07 Aug: Anindya De (UPenn): Sparsifying intersections of halfspaces, Heng Guo, 08/07/2026
• [LFCS seminar] 18 Aug: Georg Moser, University of Innsbruck: Automated Amortised Analysis of Skew Heaps and Leftist Heaps, Ohad Kammar, 08/13/2026
• [LFCS seminar] Today, 18 Aug: Georg Moser, University of Innsbruck: Automated Amortised Analysis of Skew Heaps and Leftist Heaps, Ohad Kammar, 08/18/2026
• [LFCS seminar] Now, 18 Aug: Georg Moser, University of Innsbruck: Automated Amortised Analysis of Skew Heaps and Leftist Heaps, Ohad Kammar, 08/18/2026
• Work with Kodamai — Typed Agentic AI (roles from foundations to product), David Aspinall, 08/19/2026
• [LFCS seminar] 03 Sep: Tarmo Uustalu, Reykjavik University: Substructural intuitionistic modal logics, sequent calculi, multicategories and representability, Ohad Kammar, 08/31/2026

Archive powered by MHonArc 2.6.24.