Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 7 Jan

VMCAI-2018
09:00 - 10:00: VMCAI 2018 - Invited Talk by Ranjit Jhala at VMCAI
Chair(s): Isil Dillig
VMCAI-2018151531200000009:00 - 10:00
Talk

Mon 8 Jan

POPL-2018-TutorialFest
09:00 - 10:30: TutorialFest - Code Obfuscation at Tutorial - A
POPL-2018-TutorialFest151539840000009:00 - 10:30
Talk
POPL-2018-TutorialFest
09:00 - 10:30: TutorialFest - Equational reasoning for probabilistic programming at Tutorial - B
POPL-2018-TutorialFest151539840000009:00 - 10:30
Talk
VMCAI-2018
09:00 - 10:00: VMCAI 2018 - Invited Talk by Kenneth L. McMillan at VMCAI
Chair(s): Lenore Zuck
VMCAI-2018151539840000009:00 - 10:00
Talk
POPL-2018-TutorialFest
09:00 - 10:30: TutorialFest - Message-Passing Concurrency and Substructural Logics at Tutorial - C
POPL-2018-TutorialFest151539840000009:00 - 10:30
Talk
POPL-2018-TutorialFest
09:00 - 10:30: TutorialFest - Programming and Reasoning with Infinite Data in Isabelle/HOL at Tutorial - D
POPL-2018-TutorialFest151539840000009:00 - 10:30
Talk
PEPM-2018
10:30 - 12:00: PEPM 2018 - Session 1-1 at PEPM
PEPM-2018151540380000010:30 - 11:30
Talk
PEPM-2018151540740000011:30 - 12:00
Talk
POPL-2018-TutorialFest
11:00 - 12:00: TutorialFest - Code Obfuscation at Tutorial - A
POPL-2018-TutorialFest151540560000011:00 - 12:00
Talk
POPL-2018-TutorialFest
11:00 - 12:00: TutorialFest - Equational reasoning for probabilistic programming at Tutorial - B
POPL-2018-TutorialFest151540560000011:00 - 12:00
Talk
POPL-2018-TutorialFest
11:00 - 12:00: TutorialFest - Message-Passing Concurrency and Substructural Logics at Tutorial - C
POPL-2018-TutorialFest151540560000011:00 - 12:00
Talk
POPL-2018-TutorialFest
11:00 - 12:00: TutorialFest - Programming and Reasoning with Infinite Data in Isabelle/HOL at Tutorial - D
POPL-2018-TutorialFest151540560000011:00 - 12:00
Talk
PADL-2018
13:30 - 15:30: PADL 2018 - 1.Opening; 2.Invited Talk I; 3.Prolog and Optimizations; at PADL
PADL-2018151541400000013:20 - 13:30
Day opening
PADL-2018151541460000013:30 - 14:30
Talk
PADL-2018151541820000014:30 - 15:00
Talk
PADL-2018151542000000015:00 - 15:30
Talk
POPL-2018-TutorialFest
14:00 - 15:30: TutorialFest - Computational Higher Type Theory at Tutorial - A
POPL-2018-TutorialFest151541640000014:00 - 15:30
Talk
POPL-2018-TutorialFest
14:00 - 15:30: TutorialFest - Introduction to Algebraic Program analysis at Tutorial - B
POPL-2018-TutorialFest151541640000014:00 - 15:30
Talk
POPL-2018-TutorialFest
14:00 - 15:30: TutorialFest - Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic at Tutorial - C
POPL-2018-TutorialFest151541640000014:00 - 15:30
Talk
POPL-2018-TutorialFest
14:00 - 15:30: TutorialFest - One Weird Trick: Relational Interpreters for Program Synthesis at Tutorial - D
POPL-2018-TutorialFest151541640000014:00 - 15:30
Talk
PEPM-2018
14:00 - 15:30: PEPM 2018 - Session 1-2 at PEPM
PEPM-2018151541640000014:00 - 14:30
Talk
PEPM-2018151541820000014:30 - 15:00
Talk
PEPM-2018151542000000015:00 - 15:30
Talk
POPL-2018-TutorialFest
16:00 - 17:00: TutorialFest - Computational Higher Type Theory at Tutorial - A
POPL-2018-TutorialFest151542360000016:00 - 17:00
Talk
POPL-2018-TutorialFest
16:00 - 17:00: TutorialFest - Introduction to Algebraic Program analysis at Tutorial - B
POPL-2018-TutorialFest151542360000016:00 - 17:00
Talk
VMCAI-2018
16:00 - 17:30: VMCAI 2018 - Invited Tutorial by Mayur Naik at VMCAI
Chair(s): Jens Palsberg
VMCAI-2018151542360000016:00 - 17:30
Talk
POPL-2018-TutorialFest
16:00 - 17:00: TutorialFest - Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic at Tutorial - C
POPL-2018-TutorialFest151542360000016:00 - 17:00
Talk
POPL-2018-TutorialFest
16:00 - 17:00: TutorialFest - One Weird Trick: Relational Interpreters for Program Synthesis at Tutorial - D
POPL-2018-TutorialFest151542360000016:00 - 17:00
Talk
PEPM-2018
16:00 - 17:30: PEPM 2018 - Session 1-3 at PEPM
PEPM-2018151542360000016:00 - 17:00
Talk
VMCAI-2018
18:00 - 22:00: VMCAI 2018 - VMCAI Banquet at VMCAI
VMCAI-2018151543080000018:00 - 22:00
Dinner

Tue 9 Jan

PADL-2018
09:00 - 10:00: PADL 2018 - 5.Invited Talk II at PADL
PADL-2018151548480000009:00 - 10:00
Talk
VMCAI-2018
09:00 - 10:00: VMCAI 2018 - Invited Talk by Azadeh Farzan at VMCAI
VMCAI-2018151548480000009:00 - 10:00
Talk
CPP-2018
09:00 - 10:00: CPP 2018 - Invited Talk by Brigitte Pientka at CPP
Chair(s): Amy Felty
CPP-2018151548480000009:00 - 10:00
Talk
DOI
netpl-2018
09:00 - 10:00: NetPL 2018 - Morning Session 1 at NetPL
netpl-2018151548480000009:00 - 09:30
Talk
netpl-2018151548660000009:30 - 10:00
Talk
PLMW-POPL-2018
09:00 - 10:00: PLMW - Talks I at PLMW
PLMW-POPL-2018151548480000009:00 - 09:30
Talk
PLMW-POPL-2018151548660000009:30 - 10:00
Talk
netpl-2018
10:30 - 12:00: NetPL 2018 - Morning Session 2 at NetPL
netpl-2018151549020000010:30 - 11:00
Talk
netpl-2018151549200000011:00 - 12:00
Other
PLMW-POPL-2018
10:30 - 12:00: PLMW - Panel I at PLMW
PLMW-POPL-2018151549020000010:30 - 12:00
Talk
VMCAI-2018
10:30 - 12:00: VMCAI 2018 - Verifying Protocols and Systems at VMCAI
VMCAI-2018151549020000010:30 - 11:00
Talk
VMCAI-2018151549200000011:00 - 11:30
Talk
VMCAI-2018151549380000011:30 - 12:00
Talk
netpl-2018
13:30 - 15:30: NetPL 2018 - Afternoon Session 1 at NetPL
netpl-2018151550280000014:00 - 14:30
Other
netpl-2018151550460000014:30 - 15:00
Talk
netpl-2018151550640000015:00 - 15:30
Talk
PLMW-POPL-2018
13:30 - 15:30: PLMW - Talks II at PLMW
PLMW-POPL-2018151550280000014:00 - 14:30
Talk
PLMW-POPL-2018151550460000014:30 - 15:00
Talk
PLMW-POPL-2018151550640000015:00 - 15:30
Talk
PADL-2018
16:00 - 18:00: PADL 2018 - 8.Best Papers; 9.PANEL on Future of Declarative Languages and Applications; 10.Closing; at PADL
PADL-2018151551000000016:00 - 16:30
Talk
PADL-2018151551180000016:30 - 17:00
Talk
PADL-2018151551360000017:00 - 17:50
Other
PADL-2018151551660000017:50 - 18:00
Day closing
netpl-2018
16:00 - 18:00: NetPL 2018 - Afternoon Session 2 at NetPL
netpl-2018151551000000016:00 - 16:30
Talk
netpl-2018151551180000016:30 - 17:00
Talk
netpl-2018151551360000017:00 - 17:30
Other
netpl-2018151551540000017:30 - 18:00
Day closing
PLMW-POPL-2018
16:00 - 18:00: PLMW - Panel II at PLMW
PLMW-POPL-2018151551000000016:00 - 16:30
Talk
PLMW-POPL-2018151551180000016:30 - 18:00
Talk

Wed 10 Jan

POPL-2018-papers
08:30 - 10:00: Research Papers - Awards & Keynote-I at POPL-Keynote
Chair(s): Ranjit Jhala
POPL-2018-papers151556940000008:30 - 10:00
Talk

Thu 11 Jan

POPL-2018-papers
08:30 - 10:00: Research Papers - Keynote-II at POPL-Keynote
Chair(s): Andrew Myers
POPL-2018-papers151565580000008:30 - 10:00
Talk
POPL-2018-papers
15:50 - 16:40: Research Papers - Dependent Types at POPL-Track-2
Chair(s): Karl Crary
POPL-2018-papers151568220000015:50 - 16:15
Talk
POPL-2018-papers151568370000016:15 - 16:40
Talk
POPL-2018-papers
17:00 - 18:00: Research Papers - Business Meeting at POPL-Keynote
Chair(s): Andrew Myers, Ranjit Jhala
POPL-2018-papers151568640000017:00 - 17:30
Talk
POPL-2018-papers151568820000017:30 - 18:00
Talk

Fri 12 Jan

POPL-2018-papers
08:30 - 10:00: Research Papers - Keynote-III at POPL-Keynote
Chair(s): Andrew Myers
POPL-2018-papers151574220000008:30 - 10:00
Talk
POPL-2018-papers
15:50 - 17:30: Research Papers - Synthesis at POPL-Track-1
Chair(s): Nadia Polikarpova
POPL-2018-papers151576860000015:50 - 16:23
Talk
POPL-2018-papers151577060000016:23 - 16:56
Talk
POPL-2018-papers151577260000016:56 - 17:30
Talk

Sat 13 Jan

OBT-2018
09:00 - 10:00: Off the Beaten Track 2018 - Keynote at OBT
Chair(s): Michael Greenberg
OBT-2018151583040000009:00 - 10:00
Talk
CoqPL-2018
09:00 - 10:00: - Keynote at CoqPL
Chair(s): Yves Bertot
CoqPL-2018151583040000009:00 - 10:00
Talk
File Attached
prisc-2018
09:00 - 10:00: PriSC 2018 - Welcome and Invited Talk at PriSC
Chair(s): Cătălin Hriţcu
prisc-2018151583040000009:00 - 10:00
Talk
CoqPL-2018
10:30 - 12:10: - Tactics and Proof Engineering at CoqPL
Chair(s): Benjamin Delaware
CoqPL-2018151583580000010:30 - 10:55
Talk
File Attached
CoqPL-2018151583730000010:55 - 11:20
Talk
File Attached
CoqPL-2018151583880000011:20 - 11:45
Talk
File Attached
CoqPL-2018151584030000011:45 - 12:10
Talk
File Attached
CoqPL-2018
14:00 - 14:50: - PL Metatheory at CoqPL
Chair(s): Ilya Sergey
CoqPL-2018151584840000014:00 - 14:25
Talk
File Attached
CoqPL-2018151584990000014:25 - 14:50
Talk
File Attached
CoqPL-2018
14:50 - 15:30: - Coq developers talk & panel at CoqPL
CoqPL-2018151585140000014:50 - 15:30
Talk

Sun 7 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
VMCAI

VMCAI 2018

Synthesis
10:30 - 12:00

VMCAI 2018

Security
16:00 - 17:30

Mon 8 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:0030
CPP
PADL
PEPM

PEPM 2018

09:00 - 10:00
Tutorial - A
Tutorial - B
Tutorial - C
Tutorial - D
VMCAI

VMCAI 2018

Potpourri
14:00 - 15:30

Wed 10 Jan 2018

Thu 11 Jan 2018

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Lunch Room

Research Papers

12:10 - 13:40
POPL-Keynote
POPL-Track-1
POPL-Track-2

Fri 12 Jan 2018

Sat 13 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
CoqPL

Keynote
09:00 - 10:00

PL Metatheory
14:00 - 14:50
OBT
PriSC

PriSC 2018

Session 1
10:30 - 12:00

PriSC 2018

Session 2
13:30 - 15:30

PriSC 2018

Session 3
16:00 - 18:00

Mon 8 Jan 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
CPP
PADL
13:20 - 13:30
PEPM
Tutorial - A
Tutorial - B
Tutorial - C
Tutorial - D
VMCAI
18:00 - 22:00

Tue 9 Jan 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
CPP
16:00 - 16:30
NetPL
17:00 - 17:30
17:30 - 18:00
PADL
17:50 - 18:00
PEPM
PLMW
VMCAI

Wed 10 Jan 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
POPL-Keynote
POPL-Track-1
POPL-Track-2

Thu 11 Jan 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
POPL-Keynote
POPL-Track-1
POPL-Track-2