VenueOregon Convention Center
Room nameC120-C121
Floor1
Room numberC120-C121
Capacity71
Additional informationThere is no additional information of this room available.
Program

Sat 13 Jun

wax2015
09:30 - 11:00: WAX - 9:30am: Opening and Papers Session 1 at C120-C121
wax2015
11:20 - 12:30: WAX - Lightning Talks and Discussion Prep at C120-C121
wax2015
14:00 - 15:30: WAX - Report-Outs and Papers Session 2 at C120-C121
wax2015
16:00 - 18:00: WAX - Papers Session 3 and Closing at C120-C121

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

Sat 13 Jun 2015

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
C120-C121

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