|
|
|
|
|
|
|
|
|
. |
Timestamp
| List of topics from the day that you feel
comfortable with:
| List of topics from the day that you don't quite
feel comfortable with:
| Things it would have been better to leave out:
| Things you would like to have seen included that
weren't:
| Overall assessment of the day:
|
|
. |
5/15/2008 10:52:46
| crypto
steganography
|
|
|
| ok+
|
|
. |
5/15/2008 12:35:45
| We were able to get my encryption program to prove
(and it turned out to be my own dumb error). However, getting it to
work with the IO utilities was not straightforward
| Carl's module demo went right over my head :)
|
|
| ok+
|
|
. |
5/15/2008 12:40:37
| all topics
| NA
| NA
| NA
| ok+
|
|
. |
5/15/2008 12:42:11
| I am now proficient with the DrScheme interface
with ACL2.
|
|
|
| ok+
|
|
. |
5/15/2008 12:51:51
| Proofs, encapsulate
| DrACuLA's module system. It looks really
interesting, but I don't think I could use it just yet.
|
| More discussion on the new module system.
| ok+ |