Logic List Mailing Archive

Carnegie Mellon Summer School in Logic and Formal Epistemology

9-27 June 2008
Pittsburgh PA, U.S.A.

Carnegie Mellon Summer School in Logic and Formal Epistemology

In the summer of 2008, the Department of Philosophy at Carnegie Mellon
University will hold a three-week summer school in logic and formal
epistemology for promising undergraduates in philosophy, mathematics,
computer science, linguistics, and other sciences.

The goals are to

    o introduce students to cross-disciplinary fields of research at an
      early stage in their career; and
    o forge lasting links between the various disciplines.

The summer school will be held from Monday, June 9 to Friday, June 27,
2008. There will be morning and afternoon lectures and daily problem
sessions, as well as planned outings and social events.

The summer school is free. That is, we will provide

    o full tuition, and
    o dormitory accommodations on the Carnegie Mellon campus.

So students need only pay round trip travel to Pittsburgh and living
expenses while there. There are no grades, and the courses do not
provide formal course credit.

Instructions for applying can be found on the summer school web page,

    http://www.phil.cmu.edu/summerschool

Materials must be received by the Philosophy Department by March 15,
2008.

This year's topics are:

    Causal and Statistical Inference
    Monday, June 9 to Friday, June 13
    Instructor: David Danks

    Semantics and Discourse Representation
    Monday, June 16 to Friday, June 20
    Instructor: Mandy Simons

    Logic and Formal Verification
    Monday, June 23 to Friday, June 27
    Instructor: Jeremy Avigad

The summer school is open to undergraduates, as well as to students
who will have just received their undergraduate degrees. We regret
that we cannot extend the invitation to students beyond their first
year of graduate school. Applicants need not be US citizens.

Inquiries may be directed to Jeremy Avigad (avigad@cmu.edu).