Logic List Mailing Archive

Summer Course in Proof Theory (Notre Dame, June 6-17, 2005)

We are planning to offer an class in proof theory given by Jeremy Avigad
and Henry Towsner of Carnegie Mellon University, June 6-17, 2005, M-F
10--11:30am and M-Th 1:30--3pm.  The course will be offer as a no fee no
credit though Notre Dame's summer session.  The class is open to any
anyone studying/working in logic.  We will ask all those attending the
class to register with the summer session directly.  Registration will be
available March 16.

Registration with summer sessions allows one to get housing and meal plans
on campus.  To sign up these housings and/or meals plans, one must first
register with summer sessions and then send your snail mail to
proof.1@nd.edu and we will mail you back a form which you will fill out
and return. We will need these completed forms by May 1.  Feel free to
make other housing/meal plans. Please use proof.1@nd.edu for any logistics
issues about this class.

More complex is funding. We have at least 9K of funding available from the
NSF, perhaps as much as 13K.  We have about 2.5K for foreign students.
We are capping local expense to $450.  We are willing to consider some
travel costs.  The question is how to allot this money.  There are at
least 33 people interested in some sort of support.  One of our goals is
to support as many as possible.

To apply for support one needs to write me short email stating how much
you need and why, how much will be provided by your university/advisor.
I also would like to know how many years you have been in graduate school,
who is your advisor when will you finished, etc.  I would also like a
short email from your advisor supporting your decision to attend this
class and your proposal for funding.  Please send them directly to
Peter.Cholak.1@nd.edu by March 15. Funding decisions should be announced
by April 1.

I would like to encourage everyone to apply for support in groups, if
possible. For example, there might be a group of people who want to drive
down from Madison and live together in a hotel.  Or you want share with
your best buddy.  I am also open to proposals which allows me to support
foreign students without paying them.  For example, perhaps you want to
share a hotel room with a foreign student and have us reimburse you for
the whole cost of the room.  Be creative.

Peter Cholak