Web pages of interest
Penn Computer and Information Science Department
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
DEC SRC
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