Useful Links
- Google
- CiteSeer
- UC Davis Seminars
- Berkeley Seminars
- Slashdot
- The Elements of Style
(William Strunk, Jr.)
- Richard
W. Hamming on You and Your Research (PDF file)
- Recommended Reading from Professor Vladimir Lifschitz's
webpage at UT Austin
- manuscripts of Edsger W. Dijkstra
- RTA List of Open Problems
- TLCA List of Open Problems
- The Types Forum
- POPL'04 (Venice, Italy) [deadline July 18, 2003]
- ICSE'04 (Scotland, UK) [deadline: September 22, 2003]
- ETAPS'04 (Barcelona, Spain)
[deadline October 17, 2003]
- Oakland'04 [deadline November 5, 2003, 5 minutes abstract due March 15, 2004]
- PLDI'04 (Washington, DC)
[deadline November 15, 2003]
- ISSTA'04 (Boston, MA) [deadline January 16, 2004]
- CAV'04 (Boston, MA) [deadline January 23, 2004]
- USENIX Security'04 (San Diego, CA) [deadline January 25, 2004]
- LICS'04 (Turku, Finland) [deadline (January 26, 2004) February 2, 2004]
- ICALP'04 (Turku, Finland) [deadline February 8, 2004]
- OOPSLA'04 ??? (Vancouver, Canada) [deadline March 2004?]
- FSE'04 (Newport Beach, CA) [deadline March 15, 2004]
- ICFP'04 (Snowbird, Utah)
[deadline April 1, 2004]
- SAS'04 (Verona, Italy) [deadline April 4, 2004]
- CP'04
- CCS'04 [deadline May 2004]
- POPL'05 (Long Beach, CA) [deadline July 9, 2004 (abstract), July 16, 2004 (full paper)]
- ICSE'05 (St. Louis, Missouri) [deadline September 1, 2004]
- ETAPS'05 (Edinburgh, Scotland) [deadline Oct. 8 (abstract), Oct. 15 (full paper)]
- PLDI'05 (Chicago, IL) [deadline Nov. 11, 2004]
- LICS'05 (Chicago, IL) [deadline January 10 (5 abstract) 2005]