TUTORIAL SPEAKERS:
Maria Paola Bonacina
(University of Verona)
The CDSAT paradigm for theory combination in SMT
Igor Carboni Oliveira
(University of Warwick)
Probabilistic Kolmogorov Complexity
PLENARY SPEAKERS:
Ugo Dal Lago
(University of Bologna)
Implicit Computational Complexity: Challenges and Perspectives
Daniel Graça
(University of Algarve)
Computation with Real Numbers and Continuous-Time Dynamical Systems
Ekaterina Komendantskaya
(University of Southampton)
Proof-Carrying Neuro-Symbolic Code
Ng Keng Meng
(Nanyang Technological University)
Calibrating relative computational content via reducibilities
Paulo Oliva
(Queen Mary University of London)
On Functional Interpretations and Applied Proof Theory.
Ana Sokolova
(University of Salzburg)
Semantics for Probability and Nondeterminism with Algebra and Coalgebra
