Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 14 Jun

PLOOC-2015-papers
09:00 - 11:00: PLOOC 2015 - Session1 at C120-C121
PLOOC-2015-papers09:00 - 09:05
Talk
Armando Solar-LezamaMIT, Rishabh SinghMicrosoft Research
PLOOC-2015-papers09:05 - 09:45
Talk
Pavol BielikETH Zurich, Svetoslav KaraivanovETH Zurich, Veselin RaychevETH Zurich, Martin VechevETH Zurich, Christine ZellerETH Zurich
PLOOC-2015-papers09:45 - 10:25
Talk
Loris D'AntoniUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Dileep KiniUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign, Sumit GulwaniMicrosoft Research, Bjoern HartmannUC Berkeley, Matthew WeaverUniversity of Pennsylvania
PLOOC-2015-papers10:25 - 11:00
Talk
Jonathan ProtzenkoMicrosoft Research
PLOOC-2015-papers
11:20 - 12:30: PLOOC 2015 - Session2 at C120-C121
PLOOC-2015-papers11:30 - 12:10
Talk
Daniel PerelmanUniversity of Washington, USA, Judith BishopMicrosoft Research, Sumit GulwaniMicrosoft Research, Dan GrossmanUniversity of Washington
PLOOC-2015-papers
14:00 - 15:30: PLOOC 2015 - Session3 at C120-C121
PLOOC-2015-papers14:00 - 14:40
Talk
Heather MillerEcole Polytechnique Federale de Lausanne, Philipp HallerKTH Royal Institute of Technology, Lukas RytzTypesafe, Martin OderskyEcole Polytechnique Federale de Lausanne
PLOOC-2015-papers14:40 - 15:20
Talk
Sanjit SeshiaUC Berkeley, Alexandre DonzeUniversity of California, Berkeley, Jeff JensenMomentum Machines, Garvit JuniwalUC Berkeley
PLOOC-2015-papers
16:00 - 18:00: PLOOC 2015 - Session4 at C120-C121
PLOOC-2015-papers16:00 - 16:40
Talk
Alex PolozovUniversity of Washington, Eleanor O'RourkeUniversity of Washington, Adam SmithUniversity of Washington, Luke ZettlemoyerUniversity of Washington, Sumit GulwaniMicrosoft Research, Zoran PopovicUniversity of Washington
PLOOC-2015-papers16:40 - 17:20
Talk
Peter-Michael OseraUniversity of Pennsylvania, Steve Zdancewic
PLOOC-2015-papers17:20 - 18:00
Talk
Elena GlassmanMIT, Jeremy ScottMIT, Rishabh SinghMicrosoft Research, Philip GuoUniversity of Rochester, Robert MillerMIT

Sun 14 Jun 2015

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
C120-C121
09:00 - 11:00
11:20 - 12:30
14:00 - 15:30
16:00 - 18: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)