Program for Friday, September 11th: Talk View

Organizers

HIGHLIGHTS26: HIGHLIGHTS 2026

Overview Scope OpenProblems Venue Submissions Important Dates Attendance Invited Speakers Tutorials Travel Accommodation Committee CREW HESS Registration Sponsors PROGRAM AUTHORS KEYWORDS

PROGRAM FOR FRIDAY, SEPTEMBER 11TH: TALK VIEW

Days:

View: with abstracts session overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

09:00-10:00

Understanding Transformers through the Lens of Logic and Automata

Anthony Lin

10:00-10:30 Coffee Break

10:30-10:42

Inﬁnite-state games with energy objectives beyond counters

Irmak Saglam

10:42-10:54

An Automata-Based Approach to Games with ω-Automatic Preferences

Christophe Grandmont

10:54-11:06

Decoupled Planning for Multiple Omega-Regular Objectives

Suman Sadhukhan

11:06-11:18

A Conway-universal automaton for structurally Adam-positional automata

Olivier Idir

11:18-11:30

Memory requirements of omega-regular objectives: from deterministic to stochastic games

Sougata Bose

11:30-11:42

Playing Against a Partially-Known Opponent

Eden Asta

11:42-11:54

Games on Higher Dimensional Automata

Emily Clement

11:54-12:06

A Parameterized Büchi-Landweber Theorem

Paweł Parys

10:30-10:42

Runtime Consultants

Elina Sudit

10:42-10:54

Symbolic omega-automata with obligations

Luca Di Stefano

10:54-11:06

Distance between interval pomsets with interface

Aloÿs Dufour

11:06-11:18

Lagrangian-Based Duality for Quantified SMT Algorithms

Ivana Bocevska

11:18-11:30

Lean on Vampire Proofs

Jonas Bodingbauer

11:30-11:42

Deciding Separation Logic with Inductive Definitions via Translation to SMT

Tomáš Dacík

11:42-11:54

PETRIFY- Concurrent program analysis using Petri Nets

Akshatha Shenoy

11:54-12:06

Reasoning about Parameterized Quantum Circuits using Tree Automata

Ondřej Lengál

12:30-14:30 Closing and Lunch Break

Disclaimer | Powered by EasyChair Smart Program