FEED Validator

Congratulations!

This is a valid RSS feed.

Recommendations

This feed is valid, but interoperability with the widest range of feed readers could be improved by implementing the following recommendations.

• line 19, column 50: Self reference doesn't match document location [help]

    	       rel="self" type="application/rss+xml" />
                                                    ^

Source: http://www.eecs.ucf.edu/%7Eleavens/fm-reading-seminarFall13/rss.xml

1. <?xml version="1.0" encoding="ISO-8859-1" ?>
2. <?xml-stylesheet type="text/xsl" href="style/rssfeed.xsl" ?>
3. <?xml-stylesheet type="text/css" href="style/style.css" ?>
4. <?xml-stylesheet type="text/css" href="style/rssfeed.css" ?>
5. <rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
6.  <channel>
7.    <!-- required channel elements -->
8.    <title>Formal Methods Reading Seminar News</title>
9.    <link>http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/</link>
10.    <description>
11.      News about the Formal Methods Reading Seminar at UCF
12.    </description>
13.    <!-- optional channel elements -->
14.    <language>en-us</language>
15.    <docs>http://blogs.law.harvard.edu/tech/rss</docs>
16.    <managingEditor>leavens@eecs.ucf.edu (Gary T. Leavens)</managingEditor>
17.    <lastBuildDate>Wed, 27 Nov 2013 11:08:00 EST</lastBuildDate>
18.    <atom:link href="http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/rss.xml"
19.         rel="self" type="application/rss+xml" />
20.  
21.    <item>
22.      <title>Paper for December 2</title>
23.      <link>http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/syllabus.shtml</link>
24.      <guid>http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/syllabus.shtml</guid>
25.      <pubDate>Wed, 27 Nov 2013 11:07:00 EST</pubDate>
26.      <description>
27. On December 2 (in our usual room) we will discuss
28. a paper by Bessey et al.:
29. "A few Billion Lines of code Later:
30. Using static Analysis to find Bugs in the Real World" (CACM,
31. vol 53, num 2, pp. 66-75, Feb. 2010).
32.      </description>
33.      <source url="http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/rss.xml">
34.        News about the Formal Methods Reading Seminar
35.      </source>
36.    </item>
37.  
38.    <item>
39.      <title>Seminar will meet Mondays at 11am in HEC 438</title>
40.      <link>http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/about.shtml</link>
41.      <guid>http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/about.shtml</guid>
42.      <pubDate>Thu, 08 Aug 2013 09:10:00 EDT</pubDate>
43.      <description>
44. This semester the Formal Methods Reading Seminar meets Mondays
45. at 11am in room HEC 438. Interested graduate students are welcome.
46. Our first meeting of the formal methods reading seminar will
47. be on Monday, August 19.
48.      </description>
49.      <source url="http://www.eecs.ucf.edu/~leavens/fm-reading-seminar/rss.xml">
50.        News about the Formal Methods Reading Seminar
51.      </source>
52.    </item>
53.  
54.  </channel>
55. </rss>
56.  

If you would like to create a banner that links to this page (i.e. this validation result), do the following:

1. Download the "valid RSS" banner.

2. Upload the image to your own server. (This step is important. Please do not link directly to the image on this server.)

3. Add this HTML to your page (change the image src attribute if necessary):

   <a href="http://www.feedvalidator.org/check.cgi?url=http%3A//www.eecs.ucf.edu/%7Eleavens/fm-reading-seminarFall13/rss.xml"><img src="valid-rss-rogers.png" alt="[Valid RSS]" title="Validate my RSS feed" /></a>

If you would like to create a text link instead, here is the URL you can use:

http://www.feedvalidator.org/check.cgi?url=http%3A//www.eecs.ucf.edu/%7Eleavens/fm-reading-seminarFall13/rss.xml

Home · About · News · Docs · Terms