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
Chair: Manfred Kufleitner
| 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
Chair: Volker Diekert
| 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