Practical Aspects of Automated Reasoning

 
Practical Aspects of Automated Reasoning is a series of workshops associated with the International Joint Conference on Automated Reasoning and held since 2008. PAAR provides a forum for developers of automated reasoning tools to discuss and compare different implementation techniques, and for users to discuss and communicate their applications and requirements. The workshops bring together different groups to concentrate on practical aspects of the implementation and application of automated reasoning tools.


Each PAAR is organised by the program chairs. Since 2014, long term evolution of PAAR is controlled by the PAAR steering committee, which consists of all past program chairs. Currently, the steering committee has the following members:

  1. Boris Konev

  2. Renate Schmidt

  3. Stephan Schulz

  4. Pascal Fontaine

  5. Leonardo de Moura


PAAR Workshops


  1. Conference:  4th International Joint Conference on Automated Reasoning (IJCAR-08)

  2. Organizers: Boris Konev, Renate Schmidt, Stephan Schulz

  3. Proceedings (CEUR 375)

  4. Invited speakers: Alessandro Armando, Rob Arthan, John Slaney

  5. This workshop also resulted in the publication of Boris Konev, Renate A. Schmidt, Stephan Schulz: Special Issue on Practical Aspects of Automated Reasoning, Journal of AI Communications, Volume 23, Number 2-3 / 2010




  1. Conference:   FLoC 2010 and 5th International Joint Conference on Automated Reasoning (IJCAR-10)

  2. Organizers: Boris Konev, Renate Schmidt, Stephan Schulz

  3. Proceedings (PDF)

  4. Invited speakers:  Lawrence C. Paulson, Jasmin Christian Blanchette, Andrei Voronkov







  1. Conference:   6th International Joint Conference on Automated Reasoning (IJCAR-12)

  2. Organizers: Pascal Fontaine, Renate Schmidt, Stephan Schulz

  3. Proceedings (PDF)

  4. Invited speakers:  Armin Biere, Boris Motik








  1. Conference:   7th International Joint Conference on Automated Reasoning (IJCAR-14), part of the Vienna Summer of Logic (VSL-2014)

  2. Organizers: Leonardo de Moura, Boris Konev, Stephan Schulz

  3. Proceedings (EPiC)

  4. Invited speakers:  Uwe Waldmann







  1. Conference:   8th International Joint Conference on Automated Reasoning (IJCAR-16)

  2. Organizers: Pascal Fontaine , Stephan Schulz, Josef Urban

  3. Proceedings (TBD)

  4. Invited speakers:  (TBD)