Institut für Computersprachen AG Theoretische Informatik und Logik (Theory and Logic Group)

• Generally available
• Interesting conferences & workshops
• ftp-server (of www.logic.at)
• Academic associations
• Scientific journals


• Locally available
  • Internal information server (restricted access)
  • Information on (locally available) programming languages
  • Information on www, html, latex, etc.