Schedule 2013 Day-1, 11 April 2013 Machine Learning in Automated Reasoning 10:30-11:00 Registration, Queen Mother Building. 11:00-11:30 Welcoming Coffee Session (Time for participants to place their Research Posters on stands) 11.30-12.30 Invited Speaker 1. Chair: Katya Komendantskaya. Josef Urban. AI over Large Formal Knowledge Bases: The First Decade. 12:30-13:30 Lunch, School of Computing, Queen Mother Building. Poster Discussion 13:30-15:30 Regular Talks, 15 min each + 5 min questions. Session 1: Machine Learning in Automated Reasoning. Chair: Josef Urban. Thomas Gransden.Boosting Automated Reasoning By Mining Existing Proofs. Katya Komendantskaya and Jonathan Heras. Statistical Proof Pattern Recognition: Automated or Interactive? Colin Farquhar and Gudmund Grov. Structured Proofs from a Graphical Proof Strategy Language. Zongyan Huang and Lawrence C. Paulson. An application of machine learning to RCF decision procedures. Jian Zhang, Karen Petrie and Tingting Yu. Automatic Transformation of Raw Clinical Data into Clean Data Using Decision Tree Learning. Arunas Prokopas, Alan Frisch, Ian Gent, Chirstopher Jefferson, Lars Kotthoff, Ian Miguel and Peter Nightingale. Constructing constraint solvers using Monte Carlo Tree Search. 15:30-16.00 Coffee Break. Poster Discussion 16.00-16.30 Discussion Panel 1. Chair: Ursula Martin. Machine Learning in Automated Reasoning. 16.30-17.30 Poster Session. 19.00 - Dinner, in Apex Hotel. Day-2, 12 April 2013 09.30-10.30 Invited Speaker 2. Chair: Alexander Bolotov. Manfred Kerber. ForMaRE- Formal Mathematical Reasoning in Economics. 10.30-11.00 Discussion Panel 2. Chair: Manfred Kerber. Automated Reasoning in Economics. 11:00-11:30 Coffee Break Poster Discussion 11:30-12:30 Regular Talks, 15 min each + 5 min questions. Session 2: Temporal and Modal Logics. Chair: Lilia Georgieva. Michael Fisher, Boris Konev and Amir Niknafs Kermani. STTP: a Symmetric Temporal Theorem Prover. Fabio Papacchini and Renate A. Schmidt. Minimal Models Modulo Subset-Simulation for Modal Logics. Michal Zawidzki. Hybrid tableau algorithm for modal logic with global counting operators. 12:30-13:30 Lunch, School of Computing, Queen Mother Building. Poster Discussion 13:30-15:30 Regular Talks, 15 min each + 5 min questions. Session 3: Non-monotonic and Paraconsistent Logics for Automated Reasoning. Chair: Renate Schmidt. Sanjay Modgil, Odinaldo Rodrigues and Anthony Young. Implementing the Rational Closure of a Conditional Knowledge Base. Alexander Bolotov and Vasilyi Shangin. Proof Search for Natural Deduction in the setting of Paracomplete Logic PComp. Session 4: Model Checking in Automated Reasoning. Chair: Anthony Lin. Ryan Kirwan and Alice Miller. Formal proof of Abstraction for Agent-Based Learning systems. Mohammed Alzahrani and Lilia Georgieva. Comparative analysis of time-sensitive web applications using SPIN and UPPAAL. Session 5: TABLEAUX and Calculi in Automated Reasoning. Chair: Roy Dyckhoff. Patrick Koopmann and Renate Schmidt.Uniform Interpolation of ALC-Ontologies Using Fixpoints. Mohammad Khodadadi, Renate A. Schmidt and Dmitry Tishkovsky. Controlling Applications of Blocking Rule. 15:30-16.00 Coffee Break. Poster Discussion 16:00-17:00 Regular Talks, 15 min each + 5 min questions. Session 6: Constraint Solving in Automated Reasoning. Chair: Peter Nightinghale. Hu Xu and Karen Petrie. A Sexual Genetic Algorithm Based System For Automatically Tunning Constraint Satisfaction Problems. Mark Judge and Derek Long.A CSP Heuristic for AI Planning. Ozgur Akgun, Alan Frisch, Bilal Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel and Peter Nightingale. An Automated Constraint Modelling and Solving Toolchain.