home
papers
schedule
teaching
contact
bio sketch
CV
links

Useful Links

  1. Google
    Google
  2. CiteSeer
       
     
  3. UC Davis Seminars
  4. Berkeley Seminars

  5. Slashdot
  6. The Elements of Style (William Strunk, Jr.)
  7. Richard W. Hamming on You and Your Research (PDF file)
  8. Recommended Reading from Professor Vladimir Lifschitz's webpage at UT Austin
  9. manuscripts of Edsger W. Dijkstra
  10. RTA List of Open Problems
  11. TLCA List of Open Problems
  12. The Types Forum

  13. POPL'04 (Venice, Italy) [deadline July 18, 2003]
  14. ICSE'04 (Scotland, UK) [deadline: September 22, 2003]
  15. ETAPS'04 (Barcelona, Spain) [deadline October 17, 2003]
  16. Oakland'04 [deadline November 5, 2003, 5 minutes abstract due March 15, 2004]
  17. PLDI'04 (Washington, DC) [deadline November 15, 2003]

  18. ISSTA'04 (Boston, MA) [deadline January 16, 2004]
  19. CAV'04 (Boston, MA) [deadline January 23, 2004]
  20. USENIX Security'04 (San Diego, CA) [deadline January 25, 2004]
  21. LICS'04 (Turku, Finland) [deadline (January 26, 2004) February 2, 2004]
  22. ICALP'04 (Turku, Finland) [deadline February 8, 2004]
  23. OOPSLA'04 ??? (Vancouver, Canada) [deadline March 2004?]
  24. FSE'04 (Newport Beach, CA) [deadline March 15, 2004]
  25. ICFP'04 (Snowbird, Utah) [deadline April 1, 2004]
  26. SAS'04 (Verona, Italy) [deadline April 4, 2004]
  27. CP'04
  28. CCS'04 [deadline May 2004]
  29. POPL'05 (Long Beach, CA) [deadline July 9, 2004 (abstract), July 16, 2004 (full paper)]

  30. ICSE'05 (St. Louis, Missouri) [deadline September 1, 2004]
  31. ETAPS'05 (Edinburgh, Scotland) [deadline Oct. 8 (abstract), Oct. 15 (full paper)]
  32. PLDI'05 (Chicago, IL) [deadline Nov. 11, 2004]
  33. LICS'05 (Chicago, IL) [deadline January 10 (5 abstract) 2005]

Site Meter