Logic and Computation Seminar | Department of Mathematics

Upcoming Seminars

Subsystems of classical logic and their semantics based on graphs

Tuesday, October 4, 2022 - 2:00pm

Wesley Holliday, University of California, Berkeley

University of Pennsylvania

online
TBA

Tuesday, November 15, 2022 - 2:00pm

Revantha Ramanayake, Technische Universität Wien

University of Pennsylvania

online

Past Seminars

Two longstanding open problems in positive characteristic, Part II: On decidability of F_p((t))

Friday, September 2, 2022 - 4:30pm

Franz-Viktor Kuhlmann, University of Szczecin

University of Pennsylvania

DRLB 4C2
Kripke–Joyal semantics for type theory

Monday, April 18, 2022 - 3:30pm

Steve Awodey, Carnegie Mellon University

University of Pennsylvania

online - link available upon request
Instance reducibility and Weihrauch degrees

Monday, April 4, 2022 - 3:30pm

Andrej Bauer, University of Ljubljana

University of Pennsylvania

online - link available upon request
Elementary Universal Algebra and Real Analysis

Monday, March 14, 2022 - 3:30pm

Peter Freyd, University of Pennsylvania

University of Pennsylvania

online - link available upon request
Strict/Tolerant Logics (in the plural)

Monday, February 14, 2022 - 3:30pm

Melvin Fitting, CUNY

University of Pennsylvania

online - link available upon request
Proofs as objects

Monday, February 7, 2022 - 3:30pm

Wilfried Sieg, Carnegie Mellon University

University of Pennsylvania

online - link available upon request
Gödel logics: enduring consequences of a short paper

Monday, January 24, 2022 - 3:30pm

Matthias Baaz, Vienna University of Technology

University of Pennsylvania

online - link available upon request

September

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

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

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.