Andre Scedrov

Department of Mathematics University of Pennsylvania 209 South 33rd Street Philadelphia, PA 19104-6395 U.S.A. Contacts

Photo by Bonnie Hoke-Scedrov.

Teaching

Research

List of Andre Scedrov's selected publications.
Penn Logic and Computation Group.
HSE International Laboratory for Intelligent Systems and Structural Analysis.
Symposium on Logical Foundations Of Computer Science (LFCS 2018).
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.
XI School in Economics, Mathematics, and Computer Science 'Baikal Readings'.
9th International Joint Conference on Automated Reasoning (IJCAR 2018).
Federated Logic Conference (FLoC 2018).
US - Serbia and West Balkan Data Science Workshop.
FORMALS 2018: Formal Reasoning and Semantics.
CPS-SPC 2018: ACM Workshop on Cyber-Physical Systems Security & Privacy.
Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic".
DDA 2018 Conference on Data-driven Decisions and Analytics.
Workshop on Foundations of Computer Security (FCS 2019).
32nd IEEE Computer Security Foundations Symposium (CSF 2019).
26th Workshop on Logic, Language, Information and Computation.
The 24th Conference on Formal Grammar (FG 2019).
Mal'tsev Meeting 2019.
8th Conference Logic and Applications 2019 (LAP 2019).

Other

___________________________________________________