SCSS 2014: 6TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE
PROGRAM

Days: Sunday, December 7th Monday, December 8th

Sunday, December 7th

View this program: with abstractssession overviewtalk overview

10:30-11:00Coffee Break
11:00-12:00 Session 3: Contributed talks
11:00
PDT Logic for Stream Reasoning in Multi-agent Systems (abstract)
11:30
A refutation procedure for proving satisfiability of constraint specifications on XML documents (abstract)
12:00-14:00Lunch Break
15:30-16:00Coffee Break
16:00-17:15 Session 5: Contributed talks
16:00
A Self-Disciplined Privacy Oriented Access Control Framework for Public Clouds (abstract)
16:15
Automated detection and resolution of firewall misconfigurations (abstract)
16:30
A Library of Anti-Unification Algorithms (abstract)
16:45
Modelling and Simulation for the Analysis of Securities Markets (abstract)
Monday, December 8th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 7: Invited talk
09:00
Meaning Formulas for Syntax-Based Mathematical Algorithms (abstract)
10:00-10:30Coffee Break
10:30-12:00 Session 8: Contributed talks
10:30
Machine Learning of Coq Proof Guidance: First Experiments (abstract)
11:00
Towards an amortized type system for JavaScript (abstract)
11:30
Work-In-Progress: Repairing a Loop by Constructive Transformation using Mutation Analysis (abstract)
11:45
Merging Termination with Abort Freedom (abstract)
12:00-14:00Lunch Break