Active Logic Web Site Moved

Please update your bookmarks. The new Active Logic web site is at:

http://www.cs.umd.edu/projects/active/

You should be redirected to the new site in 5 seconds. Click here to visit to the new site immediately.