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.
-
UTCS Direct
All sorts of useful links are on the above page.
-
Request for Travel
Authorization (RTA)
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
paperwork.)
If you don't know the account name and number, just put "Lindy" for
the name and "01234567" for the number.
-
Loads
on UT CS machines
-
acl2-books Google group
Department of Computer Science
University of Texas at Austin