<?xml version="1.0" encoding="UTF-8"?>
<posts update='2008-10-13 15:04:55' user=""><post 
   href="http://www.kestrel.edu/" 
   description="Kestrel Institute" 
   
     extended="kids, specware, planware" 
   
   hash="e54c8c0d6f94d121f8782117ee963119"
   user="emanuel"
   tag="applications ase deductive_program_synthesis institute program_synthesis smith software_engineering "
   time="2008-04-16T16:02:03+0200" />
<post 
   href="http://ase-conferences.org/" 
   description="The Automated Software Engineering Conference Series Homepage" 
   
   hash="11d4c9b469954c7a05ba2cd4f7a921d5"
   user="emanuel"
   tag="ase community "
   time="2008-04-15T17:20:28+0200" />
</posts>
