UT CS Formal Methods Group Info Page
This page contains information that may be helpful for members of the
Formal Methods Group in the Computer Science Dept. at UT Austin. If
you have additional info to be posted here, please send it
to Matt Kaufmann.
Department of Computer Science
All sorts of useful links are on the above page.
Request for Travel
Fill this out when you have expenses for an upcoming trip, or even a
conference (say) in Austin. CS policy requires 1 week lead time for
RTA to guarantee approval in time. (If a travel grant is being
requested, 3 weeks lead time is required, along with appropriate
If you don't know the account name and number, just put "Lindy" for
the name and "01234567" for the number.
on UT CS machines
acl2-books Google group
University of Texas at Austin