Welcome

[rag...@gmail.com]

Welcome to the CS 378 Fall 2008 discussion group for the class "A
Unified/integrated Approach to Validation and Verification."

The class website is:
http://www.cs.utexas.edu/users/browne/uvvf2008/

The TA website is:
http://www.cs.utexas.edu/users/ragerdl/cs378/


If you use the Gmail interface to read your mail, you'll probably want
to setup a label called "CS 378" and a filter for the mail alias
utexas-cs3...@googlegroups.com (either to: or from: should
work, but I'm not sure). I like to check "skip the inbox", but I
leave the messages unread so I can see when there are new ones.

If you don't use Gmail interface to read your mail (or don't regularly
read your gmail account), you may want to setup your gmail account to
forward your emails to whatever mail account you regularly read. Note
that gmail also has imap and pop3 access, so you should be able to
read the class discussion group from within Microsoft Outlook, should
you choose.

[rag...@gmail.com]

I've suppressed the member list since there are a lot of students in
undergraduate classes, and you all may not want your association to be
public.