Penn: University of Pennsylvania

Description: The University of Pennsylvania is one of the oldest universities in America and, as a member of the Ivy League, one of the most prestigious institutions of higher learning in all the world.

Keywords: University of Pennsylvania, Penn, Higher Education, Academia, Amy Gutmann, Graduate, Undergraduate, Ivy League, research, upenn

Upenn.edu has 743 URLs listed in 667 Dmoz categories.

Center for Human Modeling and Simulation
Conducts research in computer graphics modeling and animation techniques for embodied agents, virtual humans, and their applications.
http://cg.cis.upenn.edu/hms/
Top/Computers/Computer_Science/Computer_Graphics

FOOL
Foundations of Object-Oriented Languages. Links to the annual workshops.
http://www.cis.upenn.edu/~bcpierce/FOOL/
Top/Computers/Computer_Science/Conferences

FOOL 6
The Sixth International Workshop on Foundations of Object-Oriented Languages. (Following POPL'99). San Antonio, Texas, USA; 23 January 1999.
http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL6.html
Top/Computers/Computer_Science/Conferences/1999

ICDT 1999
The 7th International Conference on Database Theory. Jerusalem, Israel; 10--12 January 1999.
http://www.cis.upenn.edu/~icdt99/
Top/Computers/Computer_Science/Database_Theory/Conferences

Penn Database Research Group
Home page of the database research group at the University of Pennsylvania.
http://db.cis.upenn.edu
Top/Computers/Computer_Science/Database_Theory/Research_Groups

Pierce, Benjamin C.
University of Pennsylvania. Programming languages, type systems, and distributed programming.
http://www.cis.upenn.edu/~bcpierce/
Top/Computers/Computer_Science/People/P

Computability Logic
Main web source on the subject: overview, downloadable articles, links.
http://www.cis.upenn.edu/~giorgi/cl.html
Top/Computers/Computer_Science/Theoretical

LING 106 Introduction to Formal Linguistics
Lecture notes providing definitions, examples, theorems and problems. Course taught at University of Pennsylvania, Department of Linguistics.
http://www.ling.upenn.edu/courses/Fall_2006/ling106/Ling106.htm
Top/Computers/Computer_Science/Theoretical/Formal_Language_Theory

Phrase Structure Grammars and Context Sensitive Grammars
A site which shows that the languages generated by phrase structure grammars are recursively enumerable languages. Similarly, it shows that the languages generated by context sensitive grammars are accepted by linear bounded automata.
http://www.cis.upenn.edu/~cis511/Spring04/cis51104sl13pdf.pdf#search=%22context%20sensitive%20languages%22
Top/Computers/Computer_Science/Theoretical/Formal_Language_Theory/Recursively_Enumerable_Languages

Recursively Enumerable Languages
This site discusses denumerable sets and recursive and recursively enumerable languages
http://www.seas.upenn.edu/~cit596/notes/dave/relang0.html
Top/Computers/Computer_Science/Theoretical/Formal_Language_Theory/Recursively_Enumerable_Languages