e-sygoing.link — Past Conferences https://e-sygoing.link Latest links in the Past Conferences category en-us Sun, 24 May 2026 02:11:34 -0400 MFCS 2001 https://e-sygoing.link/link/5285306-mfcs-2001 26th International Symposium on Mathematical Foundations of Computer Science. Marianske Lazne, Czech Republic; 27--31 August 2001. Sun, 03 May 2026 04:10:59 -0400 https://e-sygoing.link/go/5285306 Conference in Honor of D. A. Martin's 60th Birthday https://e-sygoing.link/link/5285290-conference-in-honor-of-d-a-martins-60th-birthday Held in coordination with the Mathematical Sciences Research Institute workshop on The Continuum Hypothesis. University of California, Berkeley, CA, USA; 27--28 May 2001. Sun, 26 Apr 2026 12:06:53 -0400 https://e-sygoing.link/go/5285290 CSL'01 https://e-sygoing.link/link/5285311-csl01 Annual Conference of the European Association for Computer Science Logic. Paris, France; 10--13 September 2001. Sun, 05 Apr 2026 18:13:45 -0400 https://e-sygoing.link/go/5285311 Proof and System Reliability https://e-sygoing.link/link/5285302-proof-and-system-reliability Marktoberdorf Summer School, Germany; 24 July -- 5 August 2001. Sat, 07 Mar 2026 14:38:47 -0500 https://e-sygoing.link/go/5285302 CLIMA'02 - Computational Logic in Multi-Agent Systems https://e-sygoing.link/link/5285344-clima02-computational-logic-in-multi-agent-systems Affiliated with ICLP 2002. Copenhagen, Denmark; 1 August 2002. Fri, 13 Feb 2026 19:53:34 -0500 https://e-sygoing.link/go/5285344 Computer-Supported Mathematical Theory Development https://e-sygoing.link/link/5285363-computer-supported-mathematical-theory-development Workshop of IJCAR 2004, the Second International Joint Conference on Automated Reasoning. University College Cork, Ireland; 4--8 July 2004. Mon, 02 Feb 2026 13:15:31 -0500 https://e-sygoing.link/go/5285363 ACL2-2002 https://e-sygoing.link/link/5285331-acl2-2002 Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS 2002). Grenoble, France; 8--9 April 2002. Mon, 29 Dec 2025 14:38:42 -0500 https://e-sygoing.link/go/5285331 Workshop on Model Theory https://e-sygoing.link/link/5285317-workshop-on-model-theory Institut de Matemàtica de la Universitat de Barcelona (IMUB), Spain; 25--27 October 2001. Wed, 03 Dec 2025 21:11:55 -0500 https://e-sygoing.link/go/5285317 LPAR 2001 https://e-sygoing.link/link/5285359-lpar-2001 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Havana, Cuba; 3--7 December 2001. Tue, 02 Dec 2025 16:48:56 -0500 https://e-sygoing.link/go/5285359 TPTS https://e-sygoing.link/link/5285332-tpts Workshop on Theory and Practice of Timed Systems. (A satellite event of ETAPS 2002.) Grenoble, France; 6--7 April 2002. Sat, 15 Nov 2025 13:47:09 -0500 https://e-sygoing.link/go/5285332