19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING

ALFA PROGRAM

Saturday, December 14th, 2013

Saturday's program is also available with abstracts.

09:30-10:00Coffee Break
10:00-12:00 Session 2A
10:00
Some Algebraic Means for Characterizing Logics (abstract)
10:30
Software Model Synthesis using Satisfiability Solvers (abstract)
11:00
Strategic Reasoning in Formal Verification (abstract)
11:30
Automata Reasoning via First-order Superposition (abstract)
12:00-14:00Lunch
14:00-15:30 Session 3A
14:00
Growth in Hecke groups (abstract)
14:30
Newton's Method on Commutative Semirings, Tree Dimension, and Applications (abstract)
15:00
Ehrenfeucht-Fraisse Games on Omega-Terms (abstract)
15:30-16:00Coffee Break