Interesting Links by Brigitte Pientka

News

Women's Issues

Herstory of Computer Science

• TAP Tapping Internet Resources for Women in Computer Science
  
• Women in (the) Computing History Infos, Mailinglist
  
• The first Computers were the women who invented programming
  
• Notable Women of Computing - Past and Present Biographies, Links etc.
  
• Women in Mathematics Biographies, Life Resources
  
• Arbeiten bekannter Informatikerinnen - Ein Seminar an der TU München
  

  Miscellaneous

• Fellowship / Grant / Award Information by TAP
  
• Grace Hopper Celebration of Women in Computing
  
• Links zu Frauenseiten in aller Welt
  
• Frauen in der Informatik Mailinglist FrauenInform
  

  Internet and Women's Issues

• References about gender and internet
  
• Finding One's Own in Cyberspace by Amy Bruckman
  
• Social and Technical Means for Fighting On-Line Harassment by Ellen Spertus
  
• Constructions and Reconstructions of the Self in Virtual by Sherry Turkle
  

Links to the automated theorem proving world

Research Institutions and People

• Research Groups: Cornell University -- Kestrel Institute -- MPI -- DFKI -- Schloß Dagstuhl
  TH Darmstadt: Constructions FG Intellektik -- FB Informatik --
• Individuals: Frank Pfenning (USA) , (Darmstadt) Christoph Kreitz(Cornell)
• Mechanized Reasoning: USA , Germany -- Schwerpunkt -- Logical Frameworks
  Compulog -- FM applications -- LOPSTR
• Writing Techniques CMU docu -- ??? docu -- NCSTRL -- CS TechReport Submissions
• Proof Assistants: ELF -- Isabelle -- VSE -- Gandalf -- Verifix
  NuPRL: Homepage -- Recent Publications -- The Book -- The system (FTP)

  Journals, Conferences, and Publishers

• Conferences: ALL Conferences -- LICS -- CADE - 15
• Publishers: Springer -- McGraw Hill -- Kluwer --
• Journals: AI Journal -- Elsevier CS Journals -- TCS --
• Electronic: IGPL Journal -- Unified Journal/Conference Bibliographies
• Eiffel: SIG -- Eiffel Public
• Local: DEC Research Reports -- SEKI Kaiserslautern -- SEKI Saarbruecken

Universities around the world

History of Computing

People

Other Stuff

Miscellanous

• The Virtual Library: Conferences
  
• The Hypertext Bibliography Project
  
• Bibliography of the library of the Computer Science Department at the University of Braunschweig, Germany
  
• Bibliotheksrecherche TH Darmstadt
  
• Graduiertenkollegs im World Wide Web
  
• Wissenschaftshistorische Institutionen in Deutschland
  

  Travel Information

• Weather: Forecast Ithaca -- Forecast Pittsburgh -- Long Lead Forecasts
• News: Wetter Frankfurt ,
• Airlines: Delta , United , Continental , USAir , Lufthansa , Swissair , Quantas -- Other Airlines
• Verkehr in Deutschland: DB Fahrplan , Deutsche Bahn , Frankfurt Flughafen