FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

D
Darwiche, Adnan	What Just Happened in AI Panel session
Datta, Anupam	Influence-directed explanations for machine learning systems
G
Gulwani, Sumit	Programming from examples: PL meets ML
H
Holmes, Chris	Panel session
K
Kohli, Pushmeet	Towards Robust and Explainable Artificial Intelligence
Kwiatkowska, Marta	Safety verification for deep neural networks with provable guarantees
L
Lowndes, Alison	The realities of applied AI
N
Nori, Aditya	Program Fairness – a Formal Methods Perspective
P
Platzer, André	Safe reinforcement learning via formal methods
R
Rossi, Francesca	Ethically Aligned AI Systems
Russell, Stuart	Provably beneficial artificial intelligence Panel session
S
Singh, Vasu	Panel session
Szegedy, Christian	Deep Learning Methods for Large Scale Theorem Proving
V
Vardi, Moshe	Machine learning and logic: Fast and slow thinking
Vechev, Martin	AI2: AI Safety and Robustness with Abstract Interpretation

Disclaimer | Powered by EasyChair Smart Program