ALFA Accepted Papers

The list of accepted papers is also available with abstracts.

• Gerhard Rosenberger. Growth in Hecke groups (details)
• Zoltan Esik. Some algebraic means for characterizing logics (details)
• Christoph Weidenbach. Automata Reasoning via First-Order Superposition (details)
• Manfred Kufleitner. Ehrenfeucht-Fraisse Games on Omega-Terms (details)
• Maximilian Schlund. Newton's Method on Commutative Semirings, Tree Dimension, and Applications (details)
• Andreas Krebs. Algebraic Characterization of the Alternation Hierarchy in FO2[<] on Finite Words (details)
• Martin Leucker. Runtime Verification with Data (details)
• Aniello Murano. Strategic Reasoning in Formal Verification (details)
• Marijn Heule. Software model synthesis using satisfiability solvers (details)