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