Date: Wed, 20 Nov 1996 20:03:22 GMT
Server: NCSA/1.5.1
Last-modified: Wed, 15 Nov 1995 17:19:10 GMT
Content-type: text/html
Content-length: 2018

<TITLE>The Proteus Programming System</TITLE><CENTER><H1> <!WA0><IMG align=top SRC="http://www.cs.unc.edu/Research/proteus/proteus-icon.gif" alt="The Proteus Programming System">*</H1></CENTER>This is the home page for the Proteus Project.  This project is acollaborative effort by researchers at <I> UNC Chapel Hill, KestrelInstitute, </I> and <I> Duke University </I> to develop a system for thespecification, prototyping, analysis and generation of parallel software.<P>The following information is available through this information server.Please click on underlined entries to browse...<H2>Table of Contents</H2><UL><LI> <!WA1><A HREF="http://www.cs.unc.edu/Research/proteus/proteus-intro.html">	What is Proteus?</A><LI> <!WA2><A HREF="http://www.cs.unc.edu/Research/proteus/proteus-publications.html"> Proteus Publications</A><LI> Proteus Annual Reports <!WA3><A href="http://www.cs.unc.edu/Research/proteus/onr-fy94.html">1994</A>,	<!WA4><A href="http://www.cs.unc.edu/Research/proteus/onr-fy95.html">1995</A><LI> <!WA5><A HREF="http://www.cs.unc.edu/Research/proteus/proteus-artifacts.html">	Proteus Software &amp; Examples</A><LI> <!WA6><A HREF="http://www.cs.unc.edu/Research/proteus/proteus-demos.html">	Proteus Demonstrations</A><LI> <!WA7><A HREF="http://www.cs.unc.edu/Research/proteus/proteus-people.html">	The Proteus Development Group</A></UL>Click <!WA8><A HREF="http://www.cs.unc.edu/Research/proteus/proteus-news.html">here</a> for a list of recent additions to these topics.<p><H2>Mailing lists</H2>Two mailing lists are available for Proteus-folk:<ul><li>parlunch: Announcements of topics for the weekly UNC Parallel Lunch(meeting time for Spring 95 has not yet been set).</li><li>proteus-users: For users of the Proteus language</li></ul>To subscribe to either list, send mail to "majordomo@cs.unc.edu" with"subscribe list-name" in the body.<h2>Additional Information</h2><p>Any questions or problems with the Proteus pages should be directed to<strong>nyland@cs.unc.edu</strong> or<strong>prins@cs.unc.edu</strong> <P><H4>*Supported by ARPA via ONR contracts N00014-90-K-0004,N00014-91-C-0114 and N00014-92-C-0182, and by Rome Labs contract F30602-94-C-0037. </H4><P><HR>This page has been accessed <!WA9><IMG SRC="http://www.cs.unc.edu/bin/multicounter?proteus"> times. <P><ADDRESS> $ Revised: Fri Sep 29 16:24:15 1995 by nyland@cs.unc.edu</ADDRESS>