IARCS Newsletter

Vol. 1, No. 1. September 1996

• Editorial
• A Crisis for Computer Science Theory
  
• Quality Geometric Software: An Appeal
• Whither NSTCS?
• Pedagogical Puzzles
• Conference Reports:
  LICS and POMIV
  NSTCS 6
• Announcements:
  FSTTCS 16
  (Click above to download call-for-papers)
  Workshop on Applied Formal Methods
  School in Logic & CS
  School on Abstract Interpretation
  
• IARCS Membership List