The XTAG Project XTAG is an on-going project to develop a wide-coverage grammar for English using a lexicalized Tree Adjoining Grammar (TAG) formalism. XTAG also serves as an system for the development of TAGs and…
A Department of the School of Engineering and Applied Science Penn Engineering Computer and Information Science quick links Academics Highlights Events Visit CIS Powering the Future of Computing and Innovation The…
Specific topics addressed in the workshop have included semantics, calculi, type theory, and program verification of object-oriented languages. More recently special efforts have been made to include contributions on…
Andre Scedrov Professor of Mathematics Professor of Computer and Information Science University of Pennsylvania Department of Mathematics University of Pennsylvania 209 South 33rd Street Philadelphia , PA 19104-6395…
Unison runs on both Windows and many flavors of Unix (Solaris, Linux, OS X, etc.) systems. Moreover, Unison works across platforms, allowing you to synchronize a Windows laptop with a Unix server, for example. Unlike…
Benjamin C. Pierce Henry Salvatori Professor Department of Computer and Information Science University of Pennsylvania Information Coordinates , telephone numbers, schedule, and office hours Capsule bio Research…
Research and teaching in machine learning, algorithmic game theory, social networks, computational finance and related fields MICHAEL KEARNS Professor and National Center Chair Department of Computer and Information…
at Welcome to the Logic and Computation Group at the University of Pennsylvania ! WE ARE ORGANIZING the ASL North American Meeting 2026 ! here is a rich and diverse history of the application of logic to the field of…
Jean Gallier, Professor Computer and Information Science Department School of Engineering and Applied Science University of Pennsylvania Email: jean@cis.upenn.edu Telephone: (215) 898-4405 Office: Levine 402…
