Workshop Programme

WS 1: Workshop on Disproving: Non-Theorems, Non-Validity, Non-Provability

Wolfgang Ahrendt, Peter Baumgartner and Hans de Nivelle

Proceedings

WS 2: Fifth Workshop on Strategies in Automated Deduction

Maria Paola Bonacina and Thierry Boy de la Tour

Proceedings

WS 3: 2nd International Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR'04)

Silvio Ranise and Cesare Tinelli

Proceedings

WS 4: Fourth International Workshop on Logical Frameworks and Meta-Languages (LFM'04)

Carsten Schürmann

Proceedings

WS 5: Empirically Successful First Order Reasoning (ESFOR (aka S4))

Stephan Schulz, Geoff Sutcliffe and Tanel Tammet

Proceedings

WS 6: Automated Reasoning for Security Protocol Analysis (ARSPA)

Alessandro Armando and Luca Vigano

Proceedings

WS 7: Computer-Supported Mathematical Theory Development

Christoph Benzmüller and Wolfgang Windsteiger

Proceedings

WS 9: International Workshop on Unification (UNIF'04)

Michael Kohlhase

Proceedings

Workshop proceedings

As an alternative to informal proceedings distributed at the workshops, we anticipate having one or more volumes of ENTCS devoted to the proceedings of selected workshops. Preprints of such ENTCS volumes will be distributed at the workshops, too.

A separate page contains more information about the workshop proceedings, for both, organizers of workshops and authors of accepted papers at workshops.

Further notes for workshop organizers

• Workshop organizers are expected to maintain a web site showing all the relevant information of their workshop, including online versions of accepted papers.
• Workshop organizers are responsible on their own for sufficient distribution of their call for papers and other publicity (there will be general IJCAR announcements mentioning also the IJCAR workshops).
• We suggest workshop participation to be open, i.e. anyone interested can register, and not be based on invitation or limited to authors of accepted papers.

• Each workshop has one free registration for every 10 paying registrants. We will design a registration form to include a box where people can tick if they are claiming a free registration. Workshop organizers should send in their list of free registrants by May 1st (we will contact them if they have more registrants than they expect and have more free registrations to give out).

  Everyone can assume one free registration (a workshop with less than 10 people is unlikely to take place). Any more free places will be notified to organizers when they have more than 20 paying registrants signed up. A workshop with a previous track record that wants to argue for more free places from the start is welcome to make their case (e.g. previous registration figures from the last CADE). Please contact the workshop chair then (baumgart@mpi-sb.mpg.de).

• Workshop participants will be required to register for the day or days which they will attend workshops. Workshop participants will not be required to register for the main conference. Each day's registration fee will cover lunch, attendance at any workshop or workshops held that day, and one workshop proceedings. Additional proceedings will be available on the day for a small charge. The workshop fees will be the same regardless of whether participants also register for the main conference.

Workshop chair