List archive

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

---

Archive powered by MHonArc 2.6.24.