Skip to Content.

Sympa Menu

lfcs-interest - Events and news relevant to the Laboratory for Foundations of Computer Science

List Options Menu

Subject: Events and news relevant to the Laboratory for Foundations of Computer Science

List archive

2025
01
02
03
04
05
06
07
08
09
10
11
12

2026
01
02
03
04
05
06
07
08
09
10
11
12

2026/08 10 mails

<< < page 1 / 1 > >>

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

Archive powered by MHonArc 2.6.24.