|
Department of Mathematics
University of Pennsylvania 209 South 33rd Street Philadelphia, PA 19104-6395 U.S.A.
|
Photo by Nikola Ščedrov.
Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman,
Stepan Kuznetsov, Boon Thau Loo, and Mitsuhiro Okada, eds.,
Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the
Occasion of His 65th Birthday.
Festschrift, Springer LNCS Volume 12300,
Springer-Verlag, 2020, x + 203 pp.
Summer 2026 Session I: MATH 1410-910 Calculus II Online.
Summer 2026 Session I: MATH 2400-910 Calculus III Online.
Undergraduate Program in Logic, Information, and Computation
Selected Courses from Previous Years
List of
Andre Scedrov's selected publications.
Inter University Center Dubrovnik - IUC
.
Zagreb Logic Conference 2026 (ZLC 2026).
Differentiation in category theory and program semantics.
22nd International Conference on Relational and Algebraic Methods in Computer
Science (RAMiCS 2026).
33rd Foundational Methods in Computer Science Workshop (FMCS 2026).
International Category Theory Conference 2026.
2026 North American Annual Meeting of the Association for Symbolic Logic
.
International Congress of Mathematicians 2026
(ICM 2026).
The 9th Federated Logic Conference
(FLoC'26).
15th Conference on Logic and Applications 2026 (LAP 2026).
13th International Conference on Information Systems Security and Privacy
(ICISSP 2027).
Web pages of interest
___________________________________________________
Andre Scedrov