Satellite Events
We are happy to announce the accepted workshops and competitions for IJCAR 2012 for which an integrated program with room and floor plans is now available.
Workshops
June 30th+July 1st:
- Workshop on Automated Theory Exploration (ATX 2012)
Jacques Fleuriot, Peter Höfner, Annabelle McIver, Alan Smaill
Joint program with WING 2012 - Workshop on Synthesis, Verification and Analysis of Rich Models (SVARM 2012)
joint with
The 7th International Verification Workshop (VERIFY 2012)
Viktor Kuncak and Carsten Sinz - Satisfiability Modulo Theories (SMT 2012)
Pascal Fontaine, Amit Goel - Practical Aspects of Automated Reasoning (PAAR 2012)
Pascal Fontaine, Renate A. Schmidt and Stephan Schulz
with a special session on
Automated Reasoning for Enterprise Information Systems
organised by Peter Baumgartner and Silvio Ranise
June 30th:
- Proof eXchange for Theorem Proving (PxTP 2012)
David Pichardie and Tjark Weber - The 4th International Workshop on Invariant Generation (WING 2012)
Gudmund Grov and Thomas Wies
Joint program with ATX 2012 - The 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012)
Bernhard Beckert, Armin Biere, Vladimir Klebanov and Geoff Sutcliffe Uncertainty in Description Logics (UniDL 2012)
Anni-Yasmin Turhan, Thomas Lukasiewicz and Rafael PeñalozaWorkshop on Comparing Logical Decision Methods (CLoDeM 2012)
Valentin Goranko and Martin Lange
July 1st:
- The 2nd Joint International Workshop on Strategies in Rewriting, Proving and Programming (IWS 2012)
Maria Paola Bonacina and Maribel Fernandez Workshop on Logics for Resources, Processes, and Programs (LRPP 2012)
Didier Galmiche and David Pym- The 26th International Workshop on Unification (UNIF 2012)
Santiago Escobar, Konstantin Korovin and Vladimir Rybakov - StarExec
Aaron Stump, Cesare Tinelli and Geoff Sutcliffe - OWL Reasoner Evaluation Workshop
Ian Horrocks, Mikalai Yatskevich and Ernesto Jiménez-Ruiz
Competitions
- CADE ATP System Competition (CASC-J6)
Geoff Sutcliffe - SMT Competition (SMT-COMP 2012)
Roberto Bruttomesso, David R. Cok and Alberto Griggio - Termination Competition 2012
Albert Rubio and René Thiemann - OWL Reasoner Evaluation
Ian Horrocks, Mikalai Yatskevich and Ernesto Jiménez-Ruiz
