Welcome to the Logic and Computation Group at the
University of Pennsylvania!
The group meets weekly in the Logic and Computation Seminar (click to see schedules of talks and how to subscribe to the mailing list). Some papers by members of the group can be found at the CIS ftp site or the CIS Technical Report Archive or as part of the IRCS Technical Report Series. 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 |
![]() |
Nate Ackerman (Mathematics) |
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
|