Logic and Computation Seminar

Upcoming Seminars

There are no upcoming seminars scheduled at this time.

Past Seminars

Cut-elimination for the modal logic of transitive closure via non-well-founded proofs

Tuesday, May 22, 2018 - 3:00pm

Daniyar Shamkanov, Steklov Mathematical Institute of RAS and HSE Faculty of Mathematics, Moscow

University of Pennsylvania

DRL 4E19
Induction principles and circular proofs in action logic

Tuesday, May 15, 2018 - 3:00pm

Stepan L. Kuznetsov, Steklov Mathematical Institute of RAS, Moscow

University of Pennsylvania

DRL 4C8
Probabilistic reasoning about typed lambda terms

Monday, April 23, 2018 - 3:30pm

Silvia Ghilezan, University of Novi Sad

University of Pennsylvania

DRL 4C8

July

S	M	T	W	T	F	S
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28
29	30	31

How to get to Penn's Mathematics Department

The Mathematics Department Office is located on the fourth (top) floor of David Rittenhouse Laboratory ("DRL"). The building is at 209 South 33rd Street (the Southeast corner of 33rd. and Walnut Streets). Note 33rd Street runs one way north while Walnut runs one way west.

Local Buses & Trains

SEPTA [Skookul]
National Trains: Amtrak [telephone: 1 800 872-7245]

Maps and Directions

Google Map
Campus Map
Map of the neighborhood around Penn Math
Directions to the Penn Campus by car, airplane, train, or bus.
[See also More directions & Parking for the Penn Campus]

We are about a 15 minute walk from the main 30th Street Station and 5 minutes from the University City Rail Station at 32nd and Spruce (=South Street & Convention Avenue). Coming from the airport by train (about 15 minutes): the University City Rail Station is the second stop after you leave the airport.

If you drive, the most convenient public parking is in the pay lot whose entrance is on 34th Street between Market and Chestnut Streets.

Upcoming Seminars

Past Seminars

Cut-elimination for the modal logic of transitive closure via non-well-founded proofs

Induction principles and circular proofs in action logic

Probabilistic reasoning about typed lambda terms