Subject: Events and news relevant to the Laboratory for Foundations of Computer Science
List archive
- Final CFP - NMR 2026, 24th International Workshop on Nonmonotonic Reasoning, Jacek Wegrzynowski, 02/02/2026
- [LFCS seminar] 10 Feb: Shriram Krishnamurthi, Brown: The Cognitive and Human Factors of Formal Methods, Ohad Kammar, 02/06/2026
- Outstanding Invoices, Accounts, 02/09/2026
- Final CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy (extended deadlines), Clément Aubert, 02/09/2026
- ISWC 2026 - Deadline Call for Workshops, Fatima Zahra AMARA, 02/10/2026
- [LFCS seminar] Now, 10 Feb: Shriram Krishnamurthi, Brown: The Cognitive and Human Factors of Formal Methods, Ohad Kammar, 02/10/2026
- Let me know, Bernardo Otávio Vieira Chagas, 02/13/2026
- ICE 2026: First Call for Papers, Violet Ka I Pun, 02/17/2026
- Call for Applications: ISWC 2026 Doctoral Consortium, Fatima Zahra AMARA, 02/18/2026
- MFPS XLII: Final call for papers, Danel Ahman, 02/20/2026
- International Workshop on Confluence (IWC) - 2nd Call for Papers, Raúl Gutiérrez, 02/23/2026
Archive powered by MHonArc 2.6.24.