Logical Methods in Computer Science (LogiCS)

About the organization

LogiCS is a website for the Vienna University of Technology’s activities in logic and computation. In Vienna, the application of mathematical logic to the sciences has a long and rich tradition. The website focuses on logical methods in computer science, and based on a strong expertise in both mathematical foundation and applications to the real world, both the website and the university are making contributions to theory as well as algorithms, databases, artificial intelligence, knowledge representation, theorem proving, formal methods, model checking, programming languages and security.