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.