15:30-15:55 Alexander Tesch. A Nearly Exact Propagation Algorithm for Energetic Reasoning in O(n²·log n)