Department of Mathematics
University of Pennsylvania
209 South 33rd Street
Philadelphia, PA 19104-6395 U.S.A.
Photo by Nikola Ščedrov.
Andre Scedrov's selected publications.
11th International Joint Conference on Automated Reasoning – IJCAR 2022.
Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2022).
Federated Logic Conference (FLoC 2022).
19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022).
Computational Logic Autumn Summit - CLAS 2022.
9th International Conference on Information Systems Security and Privacy (ICISSP 2023).
29th Workshop on Logic, Language, Information and Computation (WoLLIC 2023).
Annual Conference on Logic and Applications (LAP).