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.

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.