POPL 2017
Sun 15 - Sat 21 January 2017
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sat 21 Jan

N40AI
08:45 - 09:00: Next 40 years of Abstract Interpretation - Opening at Amphitheater 44
Chair(s): Roberto GiacobazziUniversity of Verona, Italy
N40AI08: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éUPMC, France
N40AI09:00 - 09:30
Talk
N40AI09: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 FeretINRIA Paris
N40AI10:30 - 11:00
Talk
N40AI11:00 - 11:30
Talk
Aaron TombGalois, Inc.
N40AI11:30 - 12:00
Talk
Vincent DanosENS Paris/CNRS
N40AI
14:00 - 15:30: Next 40 years of Abstract Interpretation - Security, Big Code and Synthesis at Amphitheater 44
Chair(s): Xavier RivalINRIA/CNRS/ENS Paris
N40AI14:00 - 14:30
Talk
Michael HicksUniversity of Maryland at College Park, USA
N40AI14:30 - 15:00
Talk
Bor-Yuh Evan ChangUniversity of Colorado Boulder
N40AI15:00 - 15:30
Talk
Eran YahavTechnion
N40AI
16:00 - 18:30: Next 40 years of Abstract Interpretation - System Verification and Patrick Cousot's Keynote at Amphitheater 44
Chair(s): Francesco RanzatoUniversity of Padova
N40AI16:00 - 16:30
Talk
Arie GurfinkelUniversity of Waterloo
N40AI16:30 - 17:45
Talk
Patrick CousotNew York University
N40AI17:45 - 18:30
Social Event

Sat 21 Jan 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Amphitheater 44
08:45 - 09:00

Sat 21 Jan 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Amphitheater 44
08:45 - 09:00
14:00 - 14:30
14:30 - 15:00
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)