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
Times are displayed in 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 MouraMicrosoft Research, Redmond, Gabriel EbnerVienna University of Technology, Jared RoeschUniversity of Washington, USA, Sebastian UllrichKarlsruhe Institute of Technology
14:00 - 17:00
14:00
3h
Talk
The Lean Theorem Prover
POPL Tutorials
Leonardo de MouraMicrosoft Research, Redmond, Gabriel EbnerVienna University of Technology, Jared RoeschUniversity of Washington, USA, Sebastian UllrichKarlsruhe Institute of Technology

Tue 17 Jan
Times are displayed in 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 DarulovaMPI-SWS, Loris D'AntoniUniversity of Wisconsin–Madison, Alexandra SilvaUniversity College London, Dimitrios VytiniotisMicrosoft Research, Cambridge
15:00
30m
Talk
How to Give Talks That People Can Follow
PLMW
File Attached

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

09:00 - 10:00
Session IRDP at Salle 107, Barre 44-54
Chair(s): Victor VianuUC San Diego
09:00
15m
Talk
Welcome
RDP
Nate FosterCornell University, Mooly SagivTel Aviv University, Victor VianuUC 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 FosterCornell University
14:00
45m
Talk
Synthesizing Data-parallel Programs
RDP
Aws AlbarghouthiUniversity of Wisconsin - Madison
14:45
45m
Talk
Cosette: A Solver for SQL Equivalences
RDP
Alvin CheungUniversity of Washington

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 107, Barre 44-54

Tue 17 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 107, Barre 44-54

Sat 21 Jan
Times are displayed in 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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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