Meeting Site

University of Wisconsin Madison

Local Information

Madison, with a population of close to a quarter million, is both the seat of the state's flagship university and the state's government, which makes for a lively and cosmopolitan mix, with an active arts and culinary scene. It is beautifully located between several lakes.

Dates & Deadlines

Meeting Dates: March 31–April 3, 2012
Abstract Submission Deadline
for Contributed Talks: Dec. 5, 2011

    Conference Reception

    Held in the 9th floor lounge of Van Vleck Hall
    on Saturday, March 31 at 6:30pm
    Free appetizers

Student Travel Grants

Applications and recommendations deadline is December 19, 2011. Applications should be sent to the Program Chair: Bradd Hart, Dept. of Mathematics & Statistics, McMaster University, 1280 Main Street West, Hamilton, Ontario, Canada L8S 4K1; Fax: 905-522-0935; email: hartb@mcmaster.ca. Applications by email are preferred.

 

Plenary Speakers

  • A. Dow
    (University of North Carolina at Charlotte)
  • I. Goldbring
    (UCLA)
  • W. Goldfarb
    (Harvard University)
  • J. Miller
    (UW Madison)
  • A. Montalbán
    (University of Chicago)
  • T. Pitassi
    (University of Toronto)
  • G. Sargsyan
    (Rutgers University)
  • S. Starchenko
    (University of Notre Dame)
  • M. Vardi
    (Rice University)

Gödel Lecture

J. Steel
(UC Berkeley)

Special Sessions

  • Computability
    (L. Bienvenu and J. Reimann)
  • Model theory
    (M.C. Laskowski and B. Hart)
  • Set theory
    (D. Raghavan and J. Steprāns)
  • Structural proof theory and computing
    (D. Miller)
  • The history of logic on the centenary of the birth of Jean van Heijenoort
    (T. Drucker)