Subject: Events and news relevant to the Laboratory for Foundations of Computer Science
List archive
-
Call For Papers,
Elena Triantafyllou, 04/01/2026
- <Possible follow-up(s)>
- Call For Papers, Elena Triantafyllou, 04/01/2026
- [LFCS seminar] Today, 02 Apr: Xi Chen, Columbia University: Adaptivity Does Not Help: Nearly Tight Lower Bounds for Boolean Monotonicity Testing, Ohad Kammar, 04/02/2026
- [LFCS seminar] Now, 02 Apr: Xi Chen, Columbia University: Adaptivity Does Not Help: Nearly Tight Lower Bounds for Boolean Monotonicity Testing, Ohad Kammar, 04/02/2026
- FMICS 2026: Last Call for Papers!, Rozier, Kristin-Yvonne [AER E], 04/03/2026
- LFCS Lab Lunch 7th April - Conor McBride, Sam Lindley, 04/03/2026
- Reminder: NMR 2026 submission deadline approaching, Jacek Wegrzynowski, 04/07/2026
- CfP 2nd International Workshop on,eXplainable AI and Knowledge Graphs (XAI+KG) co-located with ISWC 2026, Roberto Barile, 04/09/2026
- [LFCS seminar] 13 Apr: Rini Banerjee, University of Cambridge: Gradual Assurance for Systems Software: A Separation-Logic Approach, Ohad Kammar, 04/10/2026
- [LFCS seminar] Today, 14 Apr: Rini Banerjee, University of Cambridge: Gradual Assurance for Systems Software: A Separation-Logic Approach, Ohad Kammar, 04/14/2026
- [LFCS seminar] Now (14 Apr): Rini Banerjee, University of Cambridge: Gradual Assurance for Systems Software: A Separation-Logic Approach, Ohad Kammar, 04/14/2026
- International Workshop on Confluence (IWC) - Final Call for Papers, Raúl Gutiérrez, 04/16/2026
- [LFCS seminar] 21 Apr: Ian Shillito, University of Birmingham: Semantic adventures in intuitionistic modal logic, Ohad Kammar, 04/17/2026
- Job announcement, Torben Braüner, 04/20/2026
- [LFCS seminar] Today, 21 Apr: Ian Shillito, University of Birmingham: Semantic adventures in intuitionistic modal logic, Ohad Kammar, 04/21/2026
- [LFCS seminar] Now, 21 Apr: Ian Shillito, University of Birmingham: Semantic adventures in intuitionistic modal logic, Ohad Kammar, 04/21/2026
- International Workshop on Confluence (IWC) - Final Call for Papers (deadline extended), Raúl Gutiérrez, 04/24/2026
- Student Support: NMR 2026 - application deadline May 11, Jacek Wegrzynowski, 04/24/2026
- [LFCS seminar] 05 May: Greg Restall, University of St Andrews: Thoroughly Linear Hypersequents, Ohad Kammar, 04/28/2026
- Call for Applications – SWSA Distinguished Dissertation Award 2026, Fatima Zahra AMARA, 04/29/2026
- RC 2026: Call for Participation, Clément Aubert, 04/29/2026
- <アカウント情報の確認のお知らせ>, Apple アカウントサポート, 04/30/2026
Archive powered by MHonArc 2.6.24.