Write a Blog >>
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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:30 - 18:00: S1ECOOP Summer School at Vertex WS217
16:30 - 18:00
Talk
ECOOP Summer School
Jan VitekNortheastern University

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Morning SessionIWACO at Vertex WS217
11:00 - 11:30
Talk
IWACO
Stephan BrandauerUppsala University
11:30 - 12:00
Talk
IWACO
Alex PotaninVictoria University of Wellington
12:00 - 12:30
Talk
IWACO
Sylvan ClebschImperial College London
16:00 - 18:00: Keynote SessionIWACO at Vertex WS217
16:00 - 16:45
Talk
IWACO
Dimitrios VytiniotisMicrosoft Research, Cambridge

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: AFTfJP at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
09:30 - 09:50
Talk
FTfJP
Irina AsavoaeINRIA, Paris, France, Hoang Nga NguyenCoventry University, Coventry, UK, Markus RoggenbachSwansea University, Swansea, UK, Siraj Ahmed ShaikhCoventry University, Coventry, UK
Pre-print
09:50 - 10:25
Talk
FTfJP
Moussa AmraniUniversity of Namur, Pierre Yves SchobbensUniversity of Namur
10:25 - 10:30
Talk
FTfJP
Moez A. AbdelGawadInformatics Research Institute, SRTA-City, Alexandria, Egypt
Pre-print
11:00 - 12:30: BFTfJP at Vertex WS217
Chair(s): Santosh NagarakatteRutgers University, USA
11:00 - 11:20
Talk
FTfJP
Youssef El BakounyCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon, Tristan CrolardCEDRIC - CNAM - Paris, France, Dani MezherCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon
Pre-print
11:20 - 12:30
Talk
FTfJP
14:00 - 15:30: CFTfJP at Vertex WS217
Chair(s): Martin Berger
14:00 - 14:20
Talk
FTfJP
Julia BelyakovaSouthern Federal University
Pre-print
14:20 - 14:55
Talk
FTfJP
Paola GianniniUniversita' del Piemonte Orientale, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova
14:55 - 15:30
Talk
FTfJP
Marianna RapoportUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Canada
16:00 - 18:00: DFTfJP at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
16:00 - 16:20
Talk
FTfJP
Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiTU Darmstadt
16:20 - 16:55
Talk
FTfJP
Dustin Rhodes, Cormac FlanaganUniversity of California, Santa Cruz, Stephen FreundWilliams College
16:55 - 17:30
Talk
FTfJP
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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:20 - 12:00: SRC presentationsPLDI Student Research Competition at Vertex WS217
10:20 - 12:00
PLDI Student Research Competition

Thu 22 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Refinement Types for Program Verification and Synthesis (cont'd)PLDI Tutorials at Vertex WS217
10:30 - 12:10
Other
PLDI Tutorials
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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Sun 18 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room16:003017:003018:0030
Vertex WS217

Mon 19 Jun
Times are displayed in time zone: 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: 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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 18 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room16:0015304517:0015304518:00153045
Vertex WS217

Wed 21 Jun
Times are displayed in time zone: 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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change