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

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 18 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Mon 19 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

iwaco-2017-papers
11:00 - 12:30: IWACO 2017 - Morning Session at Vertex WS217
iwaco-2017-papers11:00 - 11:30
Talk
Stephan BrandauerUppsala University
iwaco-2017-papers11:30 - 12:00
Talk
Alex PotaninVictoria University of Wellington
iwaco-2017-papers12:00 - 12:30
Talk
Sylvan ClebschImperial College London
iwaco-2017-papers
14:00 - 15:30: IWACO 2017 - Afternoon Session at Vertex WS217
iwaco-2017-papers14:00 - 14:30
Talk
iwaco-2017-papers14:30 - 15:00
Talk
File Attached
iwaco-2017-papers15: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-papers16:00 - 16:45
Talk
Dimitrios VytiniotisMicrosoft Research, Cambridge

Tue 20 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FTfJP-2017-papers
09:00 - 10:30: FTfJP 2017 - A at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
FTfJP-2017-papers09: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-papers09:50 - 10:25
Talk
Moussa AmraniUniversity of Namur, Pierre Yves SchobbensUniversity of Namur
FTfJP-2017-papers10: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-papers11:00 - 11:20
Talk
Youssef El BakounyCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon, Tristan CrolardCEDRIC - CNAM - Paris, France, Dani MezherCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon
Pre-print
FTfJP-2017-papers11:20 - 12:30
Talk
FTfJP-2017-papers
14:00 - 15:30: FTfJP 2017 - C at Vertex WS217
Chair(s): Martin Berger
FTfJP-2017-papers14:00 - 14:20
Talk
Julia BelyakovaSouthern Federal University
Pre-print
FTfJP-2017-papers14:20 - 14:55
Talk
Paola GianniniUniversita' del Piemonte Orientale, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova
FTfJP-2017-papers14: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-papers16:00 - 16:20
Talk
Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiTU Darmstadt
FTfJP-2017-papers16:20 - 16:55
Talk
Dustin Rhodes, Cormac FlanaganUniversity of California, Santa Cruz, Stephen FreundWilliams College
FTfJP-2017-papers16: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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Thu 22 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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-tutorials10: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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Engineering Static Analyzers with Soufflé at Vertex WS217
pldi-2017-workshops-and-tutorials09: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-tutorials10: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-tutorials13: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-tutorials15:50 - 17:00
Other
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London

Sun 18 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room16:003017:003018:0030
Vertex WS217

Mon 19 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Vertex WS217

Tue 20 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Vertex WS217

Wed 21 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 18 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room16:0015304517:0015304518:00153045
Vertex WS217

Mon 19 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Vertex WS217

Thu 22 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change