TUG 2009 will be held July 27-31, 2009, at the University of Notre Dame, in South Bend, Indiana, USA. The principal local organizer is Martha Kummerer, of the Notre Dame Journal of Formal Logic, which is sponsoring the conference.
More when the time draws closer!