Week Of August 20 - 26, 1995



  • DIMACS Summer School on Applied Logic

    The Summer School is composed of three week-long tutorial programs. Press Here for a plain text version.

    Tutorial on Proof Complexity

    Date: August 21-25, 1995
    Organizer: Toniann Pitassi
    Speakers: Sam Buss, Toniann Pitassi, Alasdair Urquhart
    Email: toni@cs.pitt.edu
    Index
    dimacs-www@dimacs.rutgers.edu
    Document last modified on February 14, 1995