Workshop Analytic Proof Systems - LPAR 2004
Workshop schedule.
Please see here for all information.