tauXSchema | Main / OldNews

September 9, 2009 - New Technical Report Released

The group has just released a new technical report that encompasses and summarizes previous work as well as introduces new ideas. See the Publications page.

March 16, 2009 - New Publication

Steve Thomas's Master's Thesis has been added to the Publications page.

February 2, 2009 - New tXSchema Member

Alex Henniges has joined the team and will be working on his Honors Thesis.

February 2, 2009 - New tXSchema Member

Alex Henniges has joined the team and will be working on his Honors Thesis.

October 22, 2008 - Language Design Update

The tXSchema language has undergone a thorough revamping and is now more robust and easier to use.

June 22, 2008 - Full-length Squash tutorials posted.

Two comprehensive squash tutorials are now posted. They should be a great way to get started with the system. A Temporal Validator tutorial is in the works.

June 7, 2008 - tXSchema wiki page now available!

Thanks to Phil Kaslo at the University of Arizona for helping us get the wiki online.

Home