Write a Blog >>
LCTES 2017
Wed 21 - Thu 22 June 2017 Barcelona, Spain
co-located with PLDI 2017
VenueUniversitat Politècnica de Catalunya
Room nameVertex WS217
Floor0
Room number217
Capacity60
Additional informationThere is no additional information of this room available.
Program

Sun 18 Jun

ecoop-2017-Summer-School
16:30 - 18:00: ECOOP Summer School - S1 at Vertex WS217
ecoop-2017-Summer-School149779620000016:30 - 18:00
Talk
Jan VitekNortheastern University

Mon 19 Jun

iwaco-2017-papers
11:00 - 12:30: IWACO 2017 - Morning Session at Vertex WS217
iwaco-2017-papers149786280000011:00 - 11:30
Talk
Stephan BrandauerUppsala University
iwaco-2017-papers149786460000011:30 - 12:00
Talk
Alex PotaninVictoria University of Wellington
iwaco-2017-papers149786640000012:00 - 12:30
Talk
Sylvan ClebschImperial College London
iwaco-2017-papers
14:00 - 15:30: IWACO 2017 - Afternoon Session at Vertex WS217
iwaco-2017-papers149787360000014:00 - 14:30
Talk
iwaco-2017-papers149787540000014:30 - 15:00
Talk
File Attached
iwaco-2017-papers149787720000015:00 - 15:30
Talk
Anya Helene BaggeUniversity of Bergen, Kristoffer Haugsbakk, Vadim ZaytsevRaincode, Belgium
File Attached
iwaco-2017-papers
16:00 - 18:00: IWACO 2017 - Keynote Session at Vertex WS217
iwaco-2017-papers149788080000016:00 - 16:45
Talk
Dimitrios VytiniotisMicrosoft Research, Cambridge

Tue 20 Jun

FTfJP-2017-papers
09:00 - 10:30: FTfJP 2017 - A at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
FTfJP-2017-papers149794380000009:30 - 09:50
Talk
Irina AsavoaeINRIA, Paris, France, Hoang Nga NguyenCoventry University, Coventry, UK, Markus RoggenbachSwansea University, Swansea, UK, Siraj Ahmed ShaikhCoventry University, Coventry, UK
Pre-print
FTfJP-2017-papers149794500000009:50 - 10:25
Talk
Moussa AmraniUniversity of Namur, Pierre Yves SchobbensUniversity of Namur
FTfJP-2017-papers149794710000010:25 - 10:30
Talk
Moez A. AbdelGawadInformatics Research Institute, SRTA-City, Alexandria, Egypt
Pre-print
FTfJP-2017-papers
11:00 - 12:30: FTfJP 2017 - B at Vertex WS217
Chair(s): Santosh NagarakatteRutgers University, USA
FTfJP-2017-papers149794920000011:00 - 11:20
Talk
Youssef El BakounySaint-Joseph University of Beirut and CNAM de Paris, Tristan CrolardCEDRIC - CNAM - Paris, France, Dani MezherCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon
Pre-print
FTfJP-2017-papers149795040000011:20 - 12:30
Talk
FTfJP-2017-papers
14:00 - 15:30: FTfJP 2017 - C at Vertex WS217
Chair(s): Martin Berger
FTfJP-2017-papers149796000000014:00 - 14:20
Talk
Julia BelyakovaSouthern Federal University
Pre-print
FTfJP-2017-papers149796120000014:20 - 14:55
Talk
Paola GianniniUniversita' del Piemonte Orientale, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova
FTfJP-2017-papers149796330000014:55 - 15:30
Talk
Marianna RapoportUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Canada
FTfJP-2017-papers
16:00 - 18:00: FTfJP 2017 - D at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
FTfJP-2017-papers149796720000016:00 - 16:20
Talk
Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiTU Darmstadt
FTfJP-2017-papers149796840000016:20 - 16:55
Talk
Dustin Rhodes, Cormac FlanaganUniversity of California, Santa Cruz, Stephen FreundWilliams College
FTfJP-2017-papers149797050000016:55 - 17:30
Talk
Davide AnconaUniversity of Genova, Angelo Ferrando, Luca FranceschiniDIBRIS, University of Genova, Italy, Viviana MascardiDIBRIS, University of Genova, Italy

Wed 21 Jun

pldi-2017-student-research-competition
10:20 - 12:00: PLDI Student Research Competition - SRC presentations at Vertex WS217
pldi-2017-student-research-competition149803320000010:20 - 12:00
LCTES-2017-papers
14:00 - 15:00: LCTES 2017 - Poster Session at Vertex WS217
LCTES-2017-papers149804640000014:00 - 15:00
Other

Thu 22 Jun

pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Refinement Types for Program Verification and Synthesis (cont'd) at Vertex WS217
pldi-2017-workshops-and-tutorials149812020000010:30 - 12:10
Other
Niki VazouUniversity of Maryland, Nadia PolikarpovaMIT CSAIL, USA, Ranjit JhalaUniversity of California at San Diego, USA
Media Attached

Fri 23 Jun

pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Engineering Static Analyzers with Soufflé at Vertex WS217
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Engineering Static Analyzers with Soufflé (2) at Vertex WS217
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Engineering Static Analyzers with Soufflé (3) at Vertex WS217
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Engineering Static Analyzers with Soufflé (4) at Vertex WS217
pldi-2017-workshops-and-tutorials149822580000015:50 - 17:00
Other
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London

Sun 18 Jun 2017

Room16:003017:003018:0030
Vertex WS217

Mon 19 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Vertex WS217
09:00 - 10:30

Tue 20 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Vertex WS217
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00

Wed 21 Jun 2017

Room10:003011:003012:003013:003014:003015:0030
Vertex WS217

Sun 18 Jun 2017

Room16:0015304517:0015304518:00153045
Vertex WS217

Wed 21 Jun 2017

Thu 22 Jun 2017

Fri 23 Jun 2017