A group in Applications of Formal Logic. This server contains the home pages of
the Institut für Computersprachen; the Abteilung für Anwendungen der formalen Logik; the Kurt Gödel Society; the Vienna Group for Multiple-valued Logics; the studium irregulare Computational Logic; the FWF Project Automated Model Building with Equality; Term Schematizations and Their Applications, a CADE-13 workshop; Workshops on First order Theorem Proving, home page of the FTP workshop series; and Strategies in Automated Deduction (STRATEGIES'99), a FLoC'99 workshop.