IJCAR TALK AUTHOR INDEX
Shortcuts: A B C D F G H I K L M N P R S T W Y Z
A
Acclavio, Matteo
(IJCAR)
Refined Logics & Proofs, Hyperproperties & Synthesis
Akshay, S.
(IJCAR)
Refined Logics & Proofs, Hyperproperties & Synthesis
Axelrod, Guy
(IJCAR)
Superposition, Saturation, Equations & Constraints
B
Biere, Armin
(IJCAR)
Invited Talk
Bilotta, Antonella
(IJCAR)
Formalization & Interactive Proof
Bjørner, Nikolaj
(IJCAR)
Awards
Blanchette, Jasmin
(IJCAR)
Rewriting, Automata, Verification & Fuzzy Logic
Bonacina, Maria Paola
(IJCAR)
Model Finding, Certification & Synthesis
Bordais, Benjamin
(IJCAR)
Rewriting, Automata, Verification & Fuzzy Logic
Bozec, Tanguy
(IJCAR)
Superposition, Saturation, Equations & Constraints
Briefs, Yasmine
(IJCAR)
Theory Combination, Arithmetic Circuits & Embedded Systems
C
Cailler, Julie
(IJCAR)
Live Competitions Kickoff
(IJCAR)
Formalization & Interactive Proof
Chaudhuri, Kaustuv
(IJCAR)
Automation & Unification
Cimatti, Alessandro
(IJCAR)
Theory Combination, Arithmetic Circuits & Embedded Systems
Civini, Emanuele
(IJCAR)
Superposition, Saturation, Equations & Constraints
D
Dillig, Işıl
(IJCAR)
Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications
Dingle, Adam
(IJCAR)
Rewriting, Automata, Verification & Fuzzy Logic
Dunne, Ciarán
(IJCAR)
SMT Proof Production & Checking
F
Férée, Hugo
(IJCAR)
Formalization & Interactive Proof
Fontaine, Pascal
(IJCAR)
Differential Equations & Hybrid Systems
Frohn, Florian
(IJCAR)
Arrays & Interpolation
(IJCAR)
Rewriting, Automata, Verification & Fuzzy Logic
Froleyks, Nils
(IJCAR)
Model Finding, Certification & Synthesis
G
Galmiche, Didier
(IJCAR)
Formalization & Interactive Proof
Giesl, Jürgen
(IJCAR)
Awards
(IJCAR)
Confluence Analysis & Rewriting
(IJCAR)
Deepak Kapur Memorial Session
Giessen, Iris van der
(IJCAR)
Refined Logics & Proofs, Hyperproperties & Synthesis
H
Hajdu, Márton
(IJCAR)
Model Finding, Certification & Synthesis
Hellwig, Jonathan
(IJCAR)
Differential Equations & Hybrid Systems
Heule, Marijn
(IJCAR)
Automation & Unification
Hirokawa, Nao
(IJCAR)
Confluence Analysis & Rewriting
Hofstadler, Clemens
(IJCAR)
Theory Combination, Arithmetic Circuits & Embedded Systems
I
Indrzejczak, Andrzej
(IJCAR)
Theory Combination, Arithmetic Circuits & Embedded Systems
(IJCAR)
Refined Logics & Proofs, Hyperproperties & Synthesis
Israel, Ofec
(IJCAR)
SMT Proof Production & Checking
K
Kassing, Jan-Christoph
(IJCAR)
Rewriting, Automata, Verification & Fuzzy Logic
Kirchweger, Markus
(IJCAR)
Formalization & Interactive Proof
Köll, Christian
(IJCAR)
Automation & Unification
Kondylidou, Lydia
(IJCAR)
Superposition, Saturation, Equations & Constraints
Kunčak, Viktor
(IJCAR)
Invited Talk
Kuznetsov, Stepan
(IJCAR)
Rewriting, Automata, Verification & Fuzzy Logic
L
Lutz, Carsten
(IJCAR)
Invited Talk
(IJCAR)
Arrays & Interpolation
(IJCAR)
Awards
M
Marrid, Malak
(IJCAR)
Refined Logics & Proofs, Hyperproperties & Synthesis
Milanese, Gian Carlo
(IJCAR)
Rewriting, Automata, Verification & Fuzzy Logic
Morrison, Kim
(IJCAR)
Automation & Unification
Moura, Leonardo de
(IJCAR)
Keynote: The Lean Theorem Prover: Design, Evolution, and Impact
N
Niederhauser, Johannes
(IJCAR)
Automation & Unification
Nipkow, Tobias
(IJCAR)
Formalization & Interactive Proof
P
Pfenning, Frank
(IJCAR)
Awards
Pientka, Brigitte
(IJCAR)
Invited Talk
Prebet, Enguerrand
(IJCAR)
Differential Equations & Hybrid Systems
Przybocki, Benjamin
(IJCAR)
Theory Combination, Arithmetic Circuits & Embedded Systems
R
Rabe, Florian
(IJCAR)
Formalization & Interactive Proof
Reeves, Joseph E.
(IJCAR)
SMT Proof Production & Checking
Reynolds, Andrew
(IJCAR)
SMT Proof Production & Checking
Roshal, Sophia
(IJCAR)
Refined Logics & Proofs, Hyperproperties & Synthesis
S
Sariyanto, Happy Khairunnisa
(IJCAR)
Model Finding, Certification & Synthesis
Schulz, Stephan
(IJCAR)
Superposition, Saturation, Equations & Constraints
Sebastiani, Roberto
(IJCAR)
SMT Proof Production & Checking
(IJCAR)
Superposition, Saturation, Equations & Constraints
Sidhoum, Romain
(IJCAR)
Model Finding, Certification & Synthesis
Sofronie-Stokkermans, Viorica
(IJCAR)
Superposition, Saturation, Equations & Constraints
(IJCAR)
Awards
Sutcliffe, Geoff
(IJCAR)
Live Competitions Kickoff
T
Tinelli, Cesare
(IJCAR)
Theory Combination, Arithmetic Circuits & Embedded Systems
Toledo, Guilherme Vicentin de
(IJCAR)
Theory Combination, Arithmetic Circuits & Embedded Systems
W
Wafa, Noah Abou El
(IJCAR)
Differential Equations & Hybrid Systems
Wernhard, Christoph
(IJCAR)
Superposition, Saturation, Equations & Constraints
Y
Yin, Hongkai
(IJCAR)
Arrays & Interpolation
(IJCAR)
Rewriting, Automata, Verification & Fuzzy Logic
Z
Zhan, Naijun
(IJCAR)
Refined Logics & Proofs, Hyperproperties & Synthesis
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑