Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
VenueParis Jussieu
Room nameSalle 105, Barre 44-54
Floor2
Room number105
Capacity80
Room Information

This room is located in barre 44-54.

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 15 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00
Second Afternoon SessionTTT at Salle 105, Barre 44-54
Chair(s): Hugo Herbelin
16:00
50m
Talk
Invited Talk -- Iris: a framework for higher-order concurrent separation logic in Coq
TTT
Robbert KrebbersDelft University of Technology, Netherlands
16:50
20m
Talk
Introducing MetaCoq: A Safe Tactic Language for Coq
TTT
Beta ZilianiFAMAF, UNC (Argentina) / CONICET (Argentina)
17:10
50m
Other
COST EUTypes session
TTT

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 12:00
09:00
3h
Talk
The State of the Art in Gradual Typing
POPL Tutorials
Jeremy G. SiekIndiana University Bloomington
14:00 - 17:00
14:00
3h
Talk
The State of the Art in Gradual Typing
POPL Tutorials
Jeremy G. SiekIndiana University Bloomington

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
Session 2 PPS at Salle 105, Barre 44-54
Chair(s): Chad ScherrerGalois, Inc.
10:30
20m
Talk
An application of computable distributions to the semantics of probabilistic programs: part 2
PPS
Daniel HuangHarvard University, Greg MorrisettCornell University
10:50
10m
Meeting
Discussion 1
PPS
11:00
20m
Talk
Probabilistic programming and a domain theoretic approach to Skorohod's theorem
PPS
11:20
10m
Meeting
Discussion 2
PPS
11:30
20m
Talk
Building inference algorithms from monad transformers
PPS
Adam ŚcibiorUniversity of Cambridge, Yufei CaiUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany, Zoubin GhahramaniUniversity of Cambridge
11:50
10m
Meeting
Discussion 3
PPS
14:00 - 15:30
Session 3 PPS at Salle 105, Barre 44-54
Chair(s): Sam StatonUniversity of Oxford
14:00
20m
Talk
Commutativity logic for probabilistic trace equivalence: complete or not?
PPS
Paul Blain Levy, Nathan BowlerUniversität Hamburg
14:20
10m
Meeting
Discussion 4
PPS
14:30
20m
Talk
Mathematical structures of probabilistic programming
PPS
Ilias GarnierUniversity of Edinburgh, Fredrik DahlqvistUniversity College London, Florence ClercMcGill University, Vincent DanosENS Paris/CNRS
14:50
10m
Meeting
Discussion 5
PPS
15:00
20m
Talk
A weakest pre-expectation semantics for mixed-sign expectations
PPS
Benjamin Lucien KaminskiRWTH Aachen University, Joost-Pieter KatoenRWTH Aachen University
15:20
10m
Meeting
Discussion 6
PPS
15:30 - 16:30
Poster Session PPS at Salle 105, Barre 44-54
15:30
60m
Meeting
ProbLog and applicative probabilistic programming
PPS
Alexander VandenbrouckeKU Leuven, Belgium, Tom SchrijversKU Leuven
15:30
60m
Meeting
Encapsulating models and approximate inference programs in probabilistic modules
PPS
Marco Cusumano-TownerMIT-CSAIL, Vikash MansinghkaMassachusetts Institute of Technology
15:30
60m
Meeting
The extended semantics for probabilistic programming languages
PPS
Siddharth SrivastavaUTRC Berkeley, Nicholas HayVicarious, Yi WUUC Berkeley, Stuart RussellUniversity of California, Berkeley
15:30
60m
Meeting
Synthetic topology in homotopy type theory for probabilistic programming
PPS
15:30
60m
Meeting
Reasoning about inference in probabilistic programs
PPS
Chandrakana NandiUniversity of Washington, USA, Adrian SampsonCornell University, Dan GrossmanUniversity of Washington, Todd Mytkowicz, Kathryn S McKinleyMicrosoft Research
15:30
60m
Meeting
On computable representations of exchangeable data
PPS
Nathanael L. AckermanHarvard University, Jeremy AvigadCarnegie Mellon University, Cameron FreerGamalon and Borelian, Daniel Roy, Jason M. RutePennsylvania State University
15:30
60m
Meeting
Probabilistic logic programs: unifying program trace and possible world semantics
PPS
Angelika KimmigKU Leuven, Luc De RaedtKU Leuven
15:30
60m
Meeting
Metropolis-Hastings for mixtures of conditional distributions
PPS
15:30
60m
Meeting
Support and influence analysis for visualizing posteriors of probabilistic programs
PPS
Long OuyangStanford University
15:30
60m
Meeting
Efficient exact inference in discrete Anglican programs
PPS
Robert CornishUniversity of Oxford, Frank WoodUniversity of Oxford, Hongseok YangUniversity of Oxford
16:30 - 18:00
Session 5 PPS at Salle 105, Barre 44-54
Chair(s): Chung-chieh ShanIndiana University, USA
16:30
20m
Talk
An exponential family basis for probabilistic programming
PPS
Chad ScherrerGalois, Inc.
16:50
10m
Meeting
Discussion 7
PPS
17:00
20m
Talk
The semantics of subroutines and iteration in the Bayesian programming language ProBT
PPS
17:20
10m
Meeting
Discussion 8
PPS
17:30
20m
Talk
Exchangeable random process and data abstraction
PPS
Sam StatonUniversity of Oxford, Hongseok YangUniversity of Oxford, Nathanael L. AckermanHarvard University, Cameron FreerGamalon and Borelian, Daniel Roy
17:50
10m
Meeting
Discussion 9
PPS
18:15 - 19:15
Session 6 PPS at Salle 105, Barre 44-54
Chair(s): Hongseok YangUniversity of Oxford
18:15
20m
Talk
Reducing probabilistic choice to nondeterministic choice
PPS
Ernie CohenAmazon Web Services
18:35
10m
Meeting
Discussion 10
PPS
18:45
20m
Talk
GraPPa: spanning the expressivity vs. efficiency continuum
PPS
Edwin WestbrookGalois, Inc., Chad ScherrerGalois, Inc., Nathan CollinsGalois, Inc., Eric MertensGalois, Inc.
19:05
10m
Meeting
Discussion 11
PPS

Sun 15 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Salle 105, Barre 44-54

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
Salle 105, Barre 44-54

Sat 21 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Salle 105, Barre 44-54

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Salle 105, Barre 44-54

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
Salle 105, Barre 44-54
PPS
Discussion 1
10:50 - 11:00
PPS
Discussion 2
11:20 - 11:30
PPS
Discussion 3
11:50 - 12:00
PPS
Discussion 4
14:20 - 14:30
PPS
Discussion 5
14:50 - 15:00
PPS
Discussion 6
15:20 - 15:30
PPS
Discussion 7
16:50 - 17:00
PPS
Discussion 8
17:20 - 17:30
PPS
Discussion 9
17:50 - 18:00
PPS
Discussion 10
18:35 - 18:45
PPS
Discussion 11
19:05 - 19:15