POPL 2017
Sun 15 - Sat 21 January 2017
VenueParis Jussieu
Room nameAmphitheater 44
Floor0
Room number
Capacity240
Additional informationThere is no additional information of this room available.
Program

Sun 15 Jan

VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 1 at Amphitheater 44
Chair(s): David Monniaux
VMCAI-2017-papers148446720000009:00 - 10:00
Talk
File Attached

Mon 16 Jan

VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 2 at Amphitheater 44
Chair(s): Ahmed Bouajjani
VMCAI-2017-papers148455360000009:00 - 10:00
Talk
VMCAI-2017-papers
16:00 - 17:30: VMCAI - Symbolic analysis and invariant synthesis at Amphitheater 44
Chair(s): Constantin Enea
VMCAI-2017-papers148457880000016:00 - 16:30
Talk
VMCAI-2017-papers148458060000016:30 - 17:00
Talk
VMCAI-2017-papers148458240000017:00 - 17:30
Talk

Tue 17 Jan

VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 3 at Amphitheater 44
Chair(s): Andreas Podelski
VMCAI-2017-papers148464000000009:00 - 10:00
Talk
VMCAI-2017-papers
10:30 - 12:00: VMCAI - Model Checking and Synthesis at Amphitheater 44
Chair(s): Ahmed Bouajjani
VMCAI-2017-papers148464540000010:30 - 11:00
Talk
VMCAI-2017-papers148464720000011:00 - 11:30
Talk
File Attached
VMCAI-2017-papers148464900000011:30 - 12:00
Talk

Wed 18 Jan

Thu 19 Jan

Fri 20 Jan

POPL-2017-papers
10:30 - 12:10: POPL - Verification and Synthesis at Amphitheater 44
Chair(s): Benjamin Delaware
POPL-2017-papers148490460000010:30 - 10:55
Talk
POPL-2017-papers148490610000010:55 - 11:20
Talk
POPL-2017-papers148490760000011:20 - 11:45
Talk
POPL-2017-papers148490910000011:45 - 12:10
Talk

Sat 21 Jan

N40AI
N40AI148498470000008:45 - 09:00
Day opening
N40AI
09:00 - 10:00: Next 40 years of Abstract Interpretation - Industrial Panel 1 at Amphitheater 44
Chair(s): Antoine Miné
N40AI148498560000009:00 - 09:30
Talk
N40AI148498740000009:30 - 10:00
Talk
N40AI
10:30 - 12:00: Next 40 years of Abstract Interpretation - Industrial Panel 2 & Systems Biology at Amphitheater 44
Chair(s): Jerome Feret
N40AI148499100000010:30 - 11:00
Talk
N40AI148499280000011:00 - 11:30
Talk
N40AI148499460000011:30 - 12:00
Talk
N40AI
14:00 - 15:30: Next 40 years of Abstract Interpretation - Security, Big Code and Synthesis at Amphitheater 44
Chair(s): Xavier Rival
N40AI148500360000014:00 - 14:30
Talk
N40AI148500540000014:30 - 15:00
Talk
N40AI148500720000015:00 - 15:30
Talk
N40AI
16:00 - 18:30: Next 40 years of Abstract Interpretation - System Verification and Patrick Cousot's Keynote at Amphitheater 44
Chair(s): Francesco Ranzato
N40AI148501080000016:00 - 16:30
Talk
N40AI148501260000016:30 - 17:45
Talk
N40AI148501710000017:45 - 18:30
Social Event

Sun 15 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44

VMCAI

Invited talk 1
09:00 - 10:00

VMCAI

Concurrency 1
14:00 - 15:30

Mon 16 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44

VMCAI

Invited talk 2
09:00 - 10:00

Tue 17 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44

VMCAI

Invited talk 3
09:00 - 10:00

VMCAI

Concurrency 2
16:00 - 17:30

Wed 18 Jan 2017

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44

POPL

Logic
16:30 - 17:45

Thu 19 Jan 2017

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44

POPL

Concurrency 2
14:20 - 16:00

Fri 20 Jan 2017

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44

POPL

Concurrency 3
14:20 - 16:00

POPL

Quantum
16:30 - 17:45

Sat 21 Jan 2017