Web pages of interest
Penn Computer and Information Science Department
Penn Logic and Computation Group.
IEEE Computer Security Foundations Symposium.
ACM/IEEE Symposium on Logic in Computer Science.
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.
NII Shonan Meeting "Intensional and extensional aspects of computation:
From computability and complexity to program analysis and security".
Workshop on Lambek Calculus and Linear Logic, Keio University.
9th International Joint Conference on
Automated Reasoning (IJCAR 2018).
Federated Logic Conference (FLoC 2018).
CPS-SPC 2018: ACM Workshop on Cyber-Physical Systems Security & Privacy.
Joshua D. Guttman, Carl E. Landwehr, Jose Meseguer, and Dusko Pavlovic, eds.,
Foundations of Security, Protocols, and Equational Reasoning.
Essays Dedicated to Catherine A. Meadows.
Festschrift, Springer LNCS Volume 11565,
Springer-Verlag, 2019, xii + 239 pp.
Symposium on Logical Foundations of Computer Science (LFCS 2020).
10th International Joint Conference on
Automated Reasoning (IJCAR 2020).
Mal'tsev Meeting 2020.
7th International Conference on Information
Systems Security and Privacy (ICISSP 2021).
Logical Perspectives 2021.
Portuguese Mathematical Society National Meeting -- Encontro Nacional SPM
(ENSPM 2021).
Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, and
Paul Rowe, eds.,
Protocols, Strands, and Logic. Essays Dedicated to Joshua Guttman on the
Occasion of his 66.66th Birthday.
Festschrift, Springer LNCS Volume 13066,
Springer-Verlag, 2021, x + 425 pp.
Nerode-90 Conference.
11th International Joint Conference on Automated Reasoning – IJCAR
2022.
Logical Frameworks and Meta-Languages: Theory and Practice
(LFMTP 2022).
GuttmanFest2022.
19th International Colloquium on Theoretical Aspects of Computing
(ICTAC 2022).
9th International Conference on Information
Systems Security and Privacy (ICISSP 2023).
29th Workshop on Logic, Language, Information and Computation
(WoLLIC 2023).
34th European Summer School in Logic, Language, and Information
(ESSLLI 2023).
Modalities in substructural logics: applications at the interfaces of logic, language and computation.
10th International Conference on Information Systems Security and Privacy
(ICISSP 2024).
Zagreb Logic Conference 2024 (ZLC24).
Science of Cyber Security: Modeling, Composition, and Measurement
.[Project Concluded].
Project Presidio:
Collaborative policies and assured information sharing
[Project Concluded].
Home page for
John Mitchell at Stanford.
Home page for
Luca Cardelli at
Oxford.
Association for Symbolic Logic.
American Mathematical Society.
Isaac Newton Institute
for Mathematical Sciences.
DIMACS -- Center for Discrete Mathematics and Theoretical Computer Science
INRIA's home page.
International Association
for Cryptologic Research.
NIST Computer Security Resource Clearinghouse.
Ron Rivest's Cryptography and Security Page.
Researchers in programming language theory, design, and implementation.
Back to
Andre Scedrov's Home Page