<?xml version="1.0" encoding="UTF-8"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
<channel>
  <title>e-sygoing.link — 2005</title>
  <link>https://e-sygoing.link</link>
  <description>Latest links in the 2005 category</description>
  <language>en-us</language>
  <lastBuildDate>Sun, 24 May 2026 20:42:14 -0400</lastBuildDate>
  <atom:link href="https://e-sygoing.link/rss.php?type=new&amp;cid=95114"
             rel="self" type="application/rss+xml"/>
    <item>
    <title>CADE-20 Workshop on Empirically Successful Classical Automated Reasoning</title>
    <link>https://e-sygoing.link/link/5757886-cade-20-workshop-on-empirically-successful-classical-automat</link>
    <description>Tallinn, Estonia; 22--26 July 2005.</description>
    <pubDate>Mon, 02 Mar 2026 16:49:30 -0500</pubDate>
    <guid isPermaLink="false">https://e-sygoing.link/go/5757886</guid>
  </item>
    <item>
    <title>SBLP 2005</title>
    <link>https://e-sygoing.link/link/5757881-sblp-2005</link>
    <description>9th Brazilian Symposium on Programming Languages. Selected papers  will appear in a Special Issue of the Journal of Universal Computer Science.  Universidade de Pernambuco (UPE), Recife, Brazil; 23--25 May 2005.</description>
    <pubDate>Thu, 22 Jan 2026 11:14:48 -0500</pubDate>
    <guid isPermaLink="false">https://e-sygoing.link/go/5757881</guid>
  </item>
  </channel>
</rss>
