Write a Blog >>
VenueHilton St. Petersburg Bayfront
Room nameRoom HTC 2
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 18 Jan

POPL-2016-tutorials
08:30 - 10:00: Tutorials - T3: Syntax-Guided Synthesis (SyGuS) at Room HTC 2
POPL-2016-tutorials145310220000008:30 - 10:00
Talk
Link to publication
POPL-2016-tutorials
10:30 - 12:00: Tutorials - T3: Syntax-Guided Synthesis (SyGuS) at Room HTC 2
POPL-2016-tutorials145310940000010:30 - 12:00
Talk
Link to publication
POPL-2016-tutorials
14:00 - 15:30: Tutorials - T7: Trace-based Synchronization Synthesis for Concurrent Programs at Room HTC 2
POPL-2016-tutorials145312200000014:00 - 15:30
Talk
POPL-2016-tutorials
16:00 - 17:30: Tutorials - T7: Trace-based Synchronization Synthesis for Concurrent Programs at Room HTC 2
POPL-2016-tutorials145312920000016:00 - 17:30
Talk

No events planned yet, please check back later.