Logic and Philosophy Talks at CMU

Past talks in this series
The colloquium is held in Baker Hall A53 (downstairs in the "New Wing")
All talks start at 4:30 pm, with refreshments at 4


 
Pure and Applied Logic Colloquium
Thursday
5 September 2002

4:30 pm, Baker Hall A53
Refreshments at 4

"The infinite binomial function"

Menachim Kojman
Department of Mathematics
Ben Gurion University of the Negev, Israel
Abstract

Pure and Applied Logic Colloquium
Thursday
26 September 2002

4:30 pm, Baker Hall A53
Refreshments at 4

"The Vaught conjecture: a counter-example"

Robin Knight
Mathematical Institute
Oxford University
Abstract

Departments of Computer Science
Mathematics and Philosophy
Saturday
12 October 2002

9:00 am - 5:30 pm, Baker Hall A53
Reception at 5:30 in ACH, CFA

"The Scottfest"

in honor of Dana S. Scott
on his 70th birthday

schedule

Pure and Applied Logic Colloquium
Thursday
31 October 2002

4:30 pm, Baker Hall A53
Refreshments at 4

"Expansions of Structures"

John Baldwin
Department of Mathematics
University of Illinois at Chicago
Abstract

Philosophy Colloquium
Friday
8 November 2002

4:30 pm, Porter Hall A18A
Refreshments at 4

"Moral Status, Moral Value, and Human Embryos"

Bonnie Steinbock
Department of Philosophy
University at Albany, SUNY
Abstract

Pure and Applied Logic Colloquium
Thursday
5 December 2002

4:30 pm, Baker Hall A53
Refreshments at 4

TBA

James Lipton
Department of Mathematics
Wesleyan University
Abstract



The Pure and Applied Logic (PAL) Colloquium is sponsered jointly
by the departments of Computer Science, Mathematics, and Philosophy,
Carnegie Mellon University.

(comments to: awodey@cmu.edu)