https://e-sygoing.link Latest links in the Series category en-us Sun, 24 May 2026 19:21:01 -0400 https://e-sygoing.link/link/5285387-boise-extravaganza-in-set-theory-conferences (BEST) organized at Department of Mathematics and Computer Science, Boise State University. Mon, 29 Dec 2025 05:20:13 -0500 https://e-sygoing.link/go/5285387 https://e-sygoing.link/link/5285395-fmoods Formal Methods for Open Object-based Distributed Systems. An annual series of conferences. Mon, 22 Sep 2025 22:48:34 -0400 https://e-sygoing.link/go/5285395 https://e-sygoing.link/link/5285391-formal-methods World Congress on Formal Methods (FM). Mon, 03 Feb 2025 22:16:00 -0500 https://e-sygoing.link/go/5285391 https://e-sygoing.link/link/5285392-lopstr International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991. Fri, 19 Jul 2024 18:42:23 -0400 https://e-sygoing.link/go/5285392 https://e-sygoing.link/link/5285396-lics IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. Thu, 27 Jun 2024 10:27:35 -0400 https://e-sygoing.link/go/5285396 https://e-sygoing.link/link/5285386-tark-theoretical-aspects-of-rationality-and-knowledge Binannual conferences on interdisciplinary issues involving reasoning about rationality and knowledge. Tue, 06 Feb 2024 20:41:11 -0500 https://e-sygoing.link/go/5285386