Welcome to the Logic and Computation Group at the
University of Pennsylvania!
WE ARE ORGANIZING the ASL North American Meeting 2026!
The group meets weekly in the Logic and Computation Seminar (click to see schedules of talks and how to subscribe to the mailing list).
Members of the group participate in the Logic, Information, and Computation Program which offers undergraduate courses of study.
Systems Design Research Lab at
the University of Pennsylvania |
![]() |
Rajeev Alur (CIS) |
Logic and Computation Group Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104-6389
|
Logic and Computation Group Department of Mathematics University of Pennsylvania Philadelphia, PA 19104-6395
|
Logic and Computation Group Department of Philosophy University of Pennsylvania Philadelphia, PA 19104
|