List archive

• 26/01/05
  • 2nd CFP: NMR 2026 - 24th International Workshop on Nonmonotonic Reasoning, Jacek Wegrzynowski
• 26/01/09
  • FSCD 2026: Second Call for Papers, Carsten Fuhs
• 26/01/10
  • RE: Product Inquiry, Linko Consultancy Sdn Bhd Malaysia.
• 26/01/12
  • Fw: about logic podcasts, Ohad Kammar
• 26/01/13
  • International Workshop on Confluence 1st CfP, Raúl Gutiérrez
• 26/01/14
  • FW: Ursula Martin on "Will machines change pure mathematics?" 2pm, Mon 19 Jan, Paul Jackson
• 26/01/19
  • FW: *CANCELLED* AIAI Seminar: Monday 19th January 14:00, Room Informatics G.03, Speaker Ursula Martin, Paul Jackson
  • CFP: ISWC 2026 — Abstracts due 2 May (AoE), Papers due 7 May (AoE), Fatima Zahra AMARA
• 26/01/20
  • 2nd CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy, Clément Aubert
• 26/01/26
  • MFPS XLII: Second call for papers, Danel Ahman
  • FW: *REMINDER* AIAI Seminar: Friday 30th January 15:00, Room Bayes Theorem, Speaker Rod Chapman, Paul Jackson
• 26/01/27
  • RIP Wei Li (1943-2026), Don Sannella
  • Re: RIP Wei Li (1943-2026), Glynn Winskel
  • Re: RIP Wei Li (1943-2026), Andrzej Tarlecki
• 26/01/30
  • *REMINDER* Talk 3pm today on formal verification and optimisation of cryptographic code at AWS, Speaker Rod Chapman, Informatics Institute News
  • Re: *REMINDER* Talk 3pm today on formal verification and optimisation of cryptographic code at AWS, Speaker Rod Chapman, Paul Jackson

---

Archive powered by MHonArc 2.6.24.