LPAR 2004 Workshop Program

LPAR 2004 will feature two workshops.

IWIL: 5th International Workshop on the Implementation of Logics organised by Stephan Schulz and Boris Konev.

Analytic: Workshop on Analytic Proof Systems organised by Matthias Baaz.

More information will be available soon.