PRaFM 17 - Speakers

1st Workshop on Probabilistic Reasoning and Formal Methods

Dec 11, 2017

IIT Kanpur

Co-located with FSTTCS 2017

SPEAKERS

Adnan Darwiche

Professor and Chairman of the computer science department at UCLA.

Rüdiger Ehlers

Professor at University of Bremen

Joost-Pieter Katoen

Distinguished Professor at RWTH Aachen University

Mahesh Viswanathan

Professor at University of Illinois Urbana-Champaign

PANEL MODERATOR

Orna Kupferman

Professor and Vice Rector

The Hebrew University of Jerusalem

Google Sites

Report abuse