Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B C D E F G K M N O P R S T V

A
Asimi, Kristina	Fixed-Template Promise Model Checking Problems
B
Barto, Libor	Fixed-Template Promise Model Checking Problems
Bolignano, Pauline	Automated Logic-Based Reasoning for Analyzing Prime Video Code
Boutsis, Ioannis	Automated Logic-Based Reasoning for Analyzing Prime Video Code
Butti, Silvia	Fixed-Template Promise Model Checking Problems
C
Cattabriga, Paola	A note on Türing 1936
Chang, Bor-Yuh Evan	Automated Logic-Based Reasoning for Analyzing Prime Video Code
Cuenca, Alba	A goal-oriented proof system for epistemic modal logic
D
Di Lavore, Elena	Monoidal Width -- Extended Abstract
E
Eades Iii, Harley	A Mixed Linear and Graded Logic-Extended Abstract
F
Fisman, Dana	A normalized edit distance on finite and infinite words
G
Giba, Stefan	Automated Logic-Based Reasoning for Analyzing Prime Video Code
K
Kesner, Delia	Embedding Quantitative Properties of Call-by-Name and Call-by-Value into Call-by-Push-Value
M
Marshall, Daniel	A Mixed Linear and Graded Logic-Extended Abstract
N
Nicolicin-Georgescu, Vlad	Automated Logic-Based Reasoning for Analyzing Prime Video Code
O
Oliveira Da Costa, Ana	Hypertrace Logic
Orchard, Dominic	A Mixed Linear and Graded Logic-Extended Abstract
P
Petković Komel, Anja	The essence of type-theoretic elaboration
Phawade, Ramchandra	Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems
Prince, Tephilla	Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems
R
Raimondi, Franco	Automated Logic-Based Reasoning for Analyzing Prime Video Code
S
S, Sheerazuddin	Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems
Schoepe, Daniel	Automated Logic-Based Reasoning for Analyzing Prime Video Code
Sobocinski, Pawel	Monoidal Width -- Extended Abstract
Stoilkovska, Ilina	Automated Logic-Based Reasoning for Analyzing Prime Video Code
T
Tattersall, Daniel	Automated Logic-Based Reasoning for Analyzing Prime Video Code
V
Vollmer, Victoria	A Mixed Linear and Graded Logic-Extended Abstract