This is a valid RSS feed.
This feed is valid, but interoperability with the widest range of feed readers could be improved by implementing the following recommendations.
<?xml version="1.0" encoding="ISO-8859-1" ?>
<?xml-stylesheet type="text/xsl" href="style/rssfeed.xsl" ?>
<?xml-stylesheet type="text/css" href="style/style.css" ?>
<?xml-stylesheet type="text/css" href="style/rssfeed.css" ?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
<channel>
<!-- required channel elements -->
<title>Formal Methods Reading Seminar News</title>
<link>http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/</link>
<description>
News about the Formal Methods Reading Seminar at UCF
</description>
<!-- optional channel elements -->
<language>en-us</language>
<docs>http://blogs.law.harvard.edu/tech/rss</docs>
<managingEditor>leavens@eecs.ucf.edu (Gary T. Leavens)</managingEditor>
<lastBuildDate>Wed, 27 Nov 2013 11:08:00 EST</lastBuildDate>
<atom:link href="http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/rss.xml"
rel="self" type="application/rss+xml" />
<item>
<title>Paper for December 2</title>
<link>http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/syllabus.shtml</link>
<guid>http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/syllabus.shtml</guid>
<pubDate>Wed, 27 Nov 2013 11:07:00 EST</pubDate>
<description>
On December 2 (in our usual room) we will discuss
a paper by Bessey et al.:
"A few Billion Lines of code Later:
Using static Analysis to find Bugs in the Real World" (CACM,
vol 53, num 2, pp. 66-75, Feb. 2010).
</description>
<source url="http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/rss.xml">
News about the Formal Methods Reading Seminar
</source>
</item>
<item>
<title>Seminar will meet Mondays at 11am in HEC 438</title>
<link>http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/about.shtml</link>
<guid>http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/about.shtml</guid>
<pubDate>Thu, 08 Aug 2013 09:10:00 EDT</pubDate>
<description>
This semester the Formal Methods Reading Seminar meets Mondays
at 11am in room HEC 438. Interested graduate students are welcome.
Our first meeting of the formal methods reading seminar will
be on Monday, August 19.
</description>
<source url="http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/rss.xml">
News about the Formal Methods Reading Seminar
</source>
</item>
</channel>
</rss>
If you would like to create a banner that links to this page (i.e. this validation result), do the following:
Download the "valid RSS" banner.
Upload the image to your own server. (This step is important. Please do not link directly to the image on this server.)
Add this HTML to your page (change the image src
attribute if necessary):
If you would like to create a text link instead, here is the URL you can use: