Weighted Automata: Theory and Applications
WATA 2016
Aalborg Denmark
25-29 April 2016

Aalborg panorama


(Click on titles to see abstracts)

Monday 25 April
8:30 Registration opens
8:50 Welcome speech
9:00 Dietrich Kuske Invited talk: Isomorphisms of automatic linear orders and Krob's undecidability result
10:00 M. Hansen, K.G. Larsen, R. Mardare, M.R. Pedersen, B. Xue A Complete Approximation Theory for Weighted Transition Systems
10:30 Break
11:00 Radu Mardare Invited talk: Towards a Quantitative Algebraic Theory of Effects
12:00 Lunch
13:30 Manfred Droste Invited talk: Weighted automata and logics on graphs
14:30 Mikołaj Bojańczyk Invited talk: A probabilistic variant of MSO on infinite trees
15:30 Break
16:00 V. Perevoshchikov Weight Assignment Logic
16:30 U. Fahrenberg, A. Legay, K. Quaas Weighted Reachability Games
17:00 Program ends
Tuesday 26 April
9:00 Joost-Pieter Katoen Tutorial: Probabilistic Programming: Fun, but Tricky
10:30 Break
11:00 Flemming Nielson Invited talk: Weighted Process Calculi
12:00 Lunch
13:30 Andreas Maletti Invited talk: Weighted automata in statistical machine translation
14:30 Z. Fülöp, H. Vogler Weighted Iterated Linear Control
15:00 Excursion and Danish dinner at Kystens perle
Wednesday 27 April
9:00 Jacques Sakarovitch Tutorial: Equivalence of weighted automata
10:30 Break
11:00 Manfred Jaeger Invited talk: Learning Probabilistic Automata
12:00 Lunch
13:30 Ines Klimann Invited talk: Automaton (semi)groups: growth problems and the reversibility
14:30 Heiko Vogler Invited talk: Weighted automata with storage
15:30 Break
16:00 J. Björklund, F. Drewes, A. Jonsson, N. Zechner Practical Enumeration of Weighted Tree Languages
16:30 G. Bacci, G. Bacci, K.G. Larsen, R. Mardare Converging from Branching to Linear Metrics for Weighted Transition Systems
17:00 P. Babari, M. Droste, V. Perevoshchikov Weighted Register Automata and Weighted Logic for Data Words
17:30 Program ends
Thursday 28 April
9:00 Kim G. Larsen Invited talk: From Timed Automata to Stochastic Priced Timed Games – Combining Model Checking & Machine Learning
10:00 S. Lombardy, V. Marsault, N. Moreira, R. Reis, J. Sakarovitch The plateform Vaucanson-R
10:30 Break
11:00 Jiří Srba Invited talk: Weighted Dependency Graphs: Theory, Applications and Tools
12:00 Lunch
13:30 Karin Quaas Invited talk: MTL-Model Checking of Weighted Automata with Weights in the Integers
14:30 Uli Fahrenberg Invited talk: Star-Continuous Kleene Omega-Algebras: Theory and Applications
15:30 Break
16:00 Nicolas Markey Invited talk: Optimal strategies in weighted timed games: undecidability and approximation
17:00 T. Denkinger An automata characterisation for weighted multiple context-free grammars
17:30 Program ends
20:00 Workshop dinner at Duus Aalborg
Friday 29 April
9:00 Axel Legay Invited talk: Statistical Model Checking: past, present, and future
10:00 D. Heusel, M. Droste, Z. Fülöp A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids
10:30 Break
11:00 Franck van Breugel Invited talk: Computing Probabilistic Bisimilarity Distances via Policy Iteration
12:00 Lunch
13:30 E. Paul On Finite and Polynomial Ambiguity of Weighted Tree Automata
14:00 S. Dück Weighted Automata and Logics on Graphs
14:30 Conference ends