List archive

• [LFCS seminar] Today, 03 Sep: Tarmo Uustalu, Reykjavik University: Substructural intuitionistic modal logics, sequent calculi, multicategories and representability, Ohad Kammar, 09/03/2026
• [LFCS seminar] Now, 03 Sep: Tarmo Uustalu, Reykjavik University: Substructural intuitionistic modal logics, sequent calculi, multicategories and representability Hi,, Ohad Kammar, 09/03/2026
• Mini-course on tangent categories at the University of Strathclyde 13--16 October, Fredrik Nordvall Forsberg, 09/08/2026
• [LFCS seminar] 14 Sep: Danel Ahman, University of Tartu + 15 Sep: Pranshu Gaba, Tata Institute of Fundamental Research, Mumbai, Ohad Kammar, 09/11/2026
  • [LFCS seminar] Today, 14 Sep: Danel Ahman, University of Tartu, Ohad Kammar, 09/14/2026
• [LFCS seminar] Now, 14 Sep: Danel Ahman, University of Tartu, Ohad Kammar, 09/14/2026
• [LFCS seminar] Today,15 Sep: Pranshu Gaba, Tata Institute of Fundamental Research, Mumbai, Ohad Kammar, 09/15/2026
• [LFCS seminar] Now,15 Sep: Pranshu Gaba, Tata Institute of Fundamental Research, Mumbai, Ohad Kammar, 09/15/2026
• AIAI Seminar Mon 21 Sep, 14:00, IF G.03: Wenda Li on AI for (Formal) Theorem Proving, Paul Jackson, 09/16/2026
  • Re: AIAI Seminar Mon 21 Sep, 14:00, IF G.03: Wenda Li on AI for (Formal) Theorem Proving, Paul Jackson, 09/21/2026
• Full Professorship in Computer Science at Aalborg University, Ohad Kammar, 09/18/2026
• [LFCS seminar] 22 Sep: Sabine Oechsner, Vrije Universiteit Amsterdam: Secure Computation in the Wild: When Cryptographic Protocols Meet the Real World, Ohad Kammar, 09/21/2026
• ESSLLI 2027: Second call for course and workshop proposals, Danel Ahman, 09/21/2026
• [LFCS seminar] Now, 22 Sep: Sabine Oechsner, Vrije Universiteit Amsterdam: Secure Computation in the Wild: When Cryptographic Protocols Meet the Real World, Ohad Kammar, 09/22/2026
• FSCD and CADE 2027 Call for Workshops, Carsten Fuhs, 09/25/2026

Archive powered by MHonArc 2.6.24.