Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
VenueParis Jussieu
Room nameSalle 107, Barre 44-54
Floor2
Room number107
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

Mon 16 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 12:00
09:00
3h
Talk
The Lean Theorem Prover
POPL Tutorials
Leonardo de Moura Microsoft Research, Redmond, Gabriel Ebner Vienna University of Technology, Jared Roesch University of Washington, USA, Sebastian Ullrich Karlsruhe Institute of Technology
14:00 - 17:00
14:00
3h
Talk
The Lean Theorem Prover
POPL Tutorials
Leonardo de Moura Microsoft Research, Redmond, Gabriel Ebner Vienna University of Technology, Jared Roesch University of Washington, USA, Sebastian Ullrich Karlsruhe Institute of Technology

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:50 - 09:00
Welcome SessionPLMW at Salle 107, Barre 44-54
08:50
10m
Day opening
Welcome Sesssion
PLMW

14:00 - 15:30
14:00
60m
Talk
Student Interaction Activity
PLMW
Eva Darulova MPI-SWS, Loris D'Antoni University of Wisconsin–Madison, Alexandra Silva University College London, Dimitrios Vytiniotis Microsoft Research, Cambridge
15:00
30m
Talk
How to Give Talks That People Can Follow
PLMW
Derek Dreyer MPI-SWS
File Attached

Sat 21 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Session IRDP at Salle 107, Barre 44-54
Chair(s): Victor Vianu UC San Diego
09:00
15m
Talk
Welcome
RDP
Nate Foster Cornell University, Mooly Sagiv Tel Aviv University, Victor Vianu UC San Diego
09:15
45m
Talk
Automatic Verification of Database-Centric Workflows
RDP
14:00 - 15:30
Session IIIRDP at Salle 107, Barre 44-54
Chair(s): Nate Foster Cornell University
14:00
45m
Talk
Synthesizing Data-parallel Programs
RDP
Aws Albarghouthi University of Wisconsin - Madison
14:45
45m
Talk
Cosette: A Solver for SQL Equivalences
RDP
Alvin Cheung University of Washington

Mon 16 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Sat 21 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Mon 16 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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