Web pages of interest

Penn Computer and Information Science Department
IEEE Computer Security Foundations Symposium.
ACM/IEEE Symposium on Logic in Computer Science.
School in Economics, Mathematics, and Computer Science 'Baikal Readings'.
Workshop on Computer Security, Logic, and Programming Languages In Honor of John Mitchell's 60th Birthday, Stanford University, May 19-20, 2016.
Dale Fest!60th.
Science of Cyber Security: Modeling, Composition, and Measurement .
Project Presidio: Collaborative policies and assured information sharing [Project Concluded].
SPYCE Project: Software Quality and Infrastructure Protection for Diffuse Computing [Project Concluded].
TIME DC Project: Trustworthy Infrastructure, Mechanisms, and Experimentation for Diffuse Computing [Project Concluded].
Linear Logic home page at SRI International.
Linear Logic Proof Game.
Home page for John Mitchell at Stanford.
Home page for Luca Cardelli at Microsoft Research.
Hypatia Electronic Library at Queen Mary and Westfield College.
Association for Symbolic Logic.
Association for Symbolic Logic 2001 Annual Meeting.
American Mathematical Society.
Mathematical Literature on the Web.
Isaac Newton Institute for Mathematical Sciences.
Institut de Mathématiques de Luminy
DIMACS -- Center for Discrete Mathematics and Theoretical Computer Science
Front Door to CS at CMU.
INRIA's home page.
Annual IEEE Symposia on Logic in Computer Science.
Mathematical Foundations of Programming Semantics.
European Educational Forum Foundations Summer School on Logical Methods, BRICS, Aarhus, Denmark, 2001.
International Association for Cryptologic Research.
IEEE Computer Security Foundations Workshop.
IEEE TC on Security and Privacy.
Workshop on Formal Methods and Security Protocols.
2000 Workshop on Formal Methods and Computer Security.
2004 DIMACS Workshop on Security Analysis of Protocols.
NIST Computer Security Resource Clearinghouse.
Ron Rivest's Cryptography and Security Page.
Researchers in programming language theory, design, and implementation.
Who's Who on the Web in Formal Methods.
How to get started with HTML.

Anonymous ftp directories

Stanford Theory Group
Edinburgh CS Department
Imperial CS Department
Paris VII Equipe de Logique
Pisa CS Department

Information services

QA: Mathematics, Computer Science (UTK)
Computer Science Tech Reports Index
Project Gutenberg
WWW Information Servers Map
World Wide Web Consortium

Back to Andre Scedrov's Home Page