List archive

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

---

Archive powered by MHonArc 2.6.24.