Registered user since Fri 16 Jan 2015

Name: Steffen Smolka

Affiliation: Cornell University

Personal website: http://www.cs.cornell.edu/~smolka/

POPL 2017 Activities

• Committee Member in Artifact Evaluation Committee for POPL 2017 Artifact Evaluation
• Author of Cantor Meets Scott: Semantic Foundations for Probabilistic Networks within the POPL-track in POPL 2017
• Show activities from other conferences