FSCD TALK AUTHOR INDEX
Shortcuts: A B C D F G K L M N P R S T
A
Acclavio, Matteo
(FSCD)
Categorical Models
Ahman, Danel
(FSCD)
Invited Talk: Andrej Bauer
(FSCD)
Concurrency
Alves, Sandra
(FSCD)
Lambda Calculus
B
Baillon, Martin
(FSCD)
Proof Assistants
Baillot, Patrick
(FSCD)
Complexity Analysis
(FSCD)
FSCD Business Meeting
BLAKE, Colin
(FSCD)
Quantum Computation
Booth, Robert I.
(FSCD)
Quantum Computation
Bucciarelli, Antonio
(FSCD)
Lambda Calculus
C
Caires-Santos, Ali K.
(FSCD)
Proof Theory
Chardonnet, Kostia
(FSCD)
Lambda Calculus
(FSCD)
Complexity Analysis
Cohen, Liron
(FSCD)
Proof Assistants
(FSCD)
Quantitative Models
Comfort, Cole
(FSCD)
Quantum Computation
D
Damanik, Raja
(FSCD)
Rewriting
Das, Anupam
(FSCD)
Rewriting
Dudenhefner, Andrej
(FSCD)
Complexity Analysis
F
Faggian, Claudia
(FSCD)
Quantum Computation
Fuhs, Carsten
(FSCD)
Rewriting
G
Giacomo, Giuseppe De
(FSCD)
Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence
Guardia, Rémi Di
(FSCD)
Substructural Logics
Guermond, Nathan
(FSCD)
Proof Theory
K
Kesner, Delia
(FSCD)
Invited Talk: Laura Kovács
Kojima, Misaki
(FSCD)
Concurrency
Kovacs, Laura
(FSCD)
Invited Talk: Laura Kovács
Kozicki, Piotr
(FSCD)
Categorical Models
L
Laarakker, Bastiaan
(FSCD)
Proof Assistants
Laurent, Olivier
(FSCD)
Lambda Calculus
(FSCD)
Substructural Logics
Lechenne, Serge
(FSCD)
Categorical Models
M
Maribel Fernández
(FSCD)
Quantitative Models
Miller, Dale
(FSCD)
Proof Theory
(FSCD)
Higher-Order Logic
N
Nakamura, Yoshiki
(FSCD)
Complexity Analysis
P
Pfenning, Frank
(FSCD)
Invited Talk: Andrej Bauer
Pientka, Brigitte
(FSCD)
Concurrency
Poiret, Josselin
(FSCD)
Proof Assistants
R
Ranalter, Daniel
(FSCD)
Higher-Order Logic
Riba, Colin
(FSCD)
Concurrency
Russo, Alessandra
(FSCD)
Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI
S
Santo, José Espírito
(FSCD)
Proof Theory
T
Tasson, Christine
(FSCD)
Substructural Logics
Terui, Kazushige
(FSCD)
Substructural Logics
Theocharis, Constantine
(FSCD)
Quantitative Models
Thiemann, René
(FSCD)
Rewriting
Traversié, Thomas
(FSCD)
Higher-Order Logic
Tsukada, Takeshi
(FSCD)
Quantitative Models
(FSCD)
Categorical Models
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑