![]() |
Department of Mathematics
University of Pennsylvania 209 South 33rd Street Philadelphia, PA 19104-6395 U.S.A.
|
Photo by Tomislav Robotic.
Spring 2010. MATH 341 / LGIC 220 :
Discrete Mathematics II.
LGIC: Undergraduate Program in Logic, Information, and Computation
Selected Courses from Previous Years
List of
Andre Scedrov's selected publications.
Project Presidio: Collaborative policies and assured information sharing.
Information Assurance Research at Penn.
Penn Seminar in Computer Security.
Penn Logic and Computation Group.
IEEE Computer Security Foundations Symposium.
6-th Joint Meeting of
the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering.
ACM Symposium on Information, Computer and
Communications Security (ASIACCS '08).
Twenty-fourth Conference on the
Mathematical Foundations of
Programming Semantics (MFPS XXIV).
Symposium on Logical Foundations of Computer Science (LFCS 2009).
Workshop on Formal and Computational Cryptography
FCC 2009.
Web pages of interest
___________________________________________________
Andre Scedrov