Jim's* Webpage

As you can see, I am not a graphic artist

However, if you require a sample of my design skills, check out the summerschool websites.
The 2002 site was done by my friend Patrick. The others were my design. 		Contact Info
jallen (at) cs.uoregon.edu
Office: DES 162
Office Phone: 541-346-4426

* Jim is not a doctor, although he occaisionally plays one before a live audience.

Catagory Lecture Video

Projects
UO CIS Outreach Blog CogLink public| customer service
Blog Deployer
Summer Schools
2002
Proofs as Programs
2003
Foundations of Security
2004
Software Security
2005
Reliable Computing
2006
Concurrent and Distributed Software
2007
Integrating with the External World
2008
Logic & Theorem Proving
2009
Theory & Practice of Language Implementation
2010
Logic, Languages, Compilation, and Verification
 

Documentation/Specifications
TALx API iDEN Java Developer Guide iDEN System Overview
Java EE 1.4 API Java SE 5.0 API Java SE 6 API
HTML 4.1 Specification HTML 4 Character Entity References HTML DOM Reference
MySQL Documentation ANT Documentation CVS Documentation
Internet Standards (RFC Documents) Javascript Reference XML Reference
Google Maps API JSP Reference TEX FAQ
Cascading Style Sheets UO Creative Publishing

Miscellany
Google ACM Portal Planet Math
DuckWeb Duck Hunt UO Library