VenueNovotel London West
Room nameReims
Floor0
Room InformationNo extra information available
Program

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

Mon 15 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

10:45 - 12:15
Summer School M1Summer School at Reims
Chair(s): Jan VitekNortheastern University
10:45
90m
Talk
Static Analysis of Ethereum Smart Contracts
Summer School
Yannis SmaragdakisUniversity of Athens
13:30 - 15:00
Summer School M2Summer School at Reims
Chair(s): Edd BarrettKing's College London
13:30
90m
Talk
Origami Programming for Fun and Profit
Summer School
Jeremy GibbonsDepartment of Computer Science, University of Oxford
15:30 - 17:00
Summer School M3Summer School at Reims
Chair(s): Laurence TrattKing's College London
15:30
90m
Talk
Remolding the development experience
Summer School
Tudor Gîrbafeenk.com

Tue 16 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

13:30 - 15:00
Summer School T2Summer School at Reims
13:30
90m
Talk
How to design a programming language
Summer School
Alan BlackwellUniversity of Cambridge
15:30 - 17:00
Summer School T3Summer School at Reims
15:30
90m
Talk
Operational Semantics driving the Type System Design: Reference Capabilities in Pony
Summer School
Sophia DrossopoulouImperial College London

Wed 17 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

10:30 - 12:10
Summer School W1Summer School at Reims
10:30
1h40m
Talk
Interactive Decentralised Software Made Easy
Summer School
Mira MeziniTU Darmstadt, Germany
13:30 - 15:10
Summer School W2Summer School at Reims
Chair(s): Edd BarrettKing's College London
13:30
1h40m
Talk
Crypto Pump-and-dump Schemes: Why Can’t We Have Good Things?
Summer School
Ben LivshitsImperial College London, UK
15:40 - 17:20
Summer School W3Summer School at Reims
15:40
1h40m
Talk
The Future of Java
Summer School
Gavin BiermanOracle Labs

Thu 18 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

10:30 - 12:10
Summer School R1Summer School at Reims
10:30
1h40m
Talk
Gillian: A General Static Analysis Framework based on Separation Logic
Summer School
Philippa GardnerImperial College London
13:30 - 15:10
Summer School R2Summer School at Reims
13:30
1h40m
Talk
SM4E - Self-Marketing for Engineers
Summer School
Chris LaffraUber Amsterdam

Fri 19 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:00
DS Session 1 Doctoral Symposium at Reims
Chair(s): Julia BelyakovaNortheastern University, USA
09:00
5m
Day opening
Opening
Doctoral Symposium
09:05
15m
Talk
Lightning Talks
Doctoral Symposium
09:20
40m
Talk
Keynote: A Roadmap to PhD: Impressions and Experiences
Doctoral Symposium
Guido SalvaneschiTU Darmstadt
10:30 - 12:10
DS Session 2Doctoral Symposium at Reims
Chair(s): Lisa Nguyen Quang DoPaderborn University
10:30
30m
Doctoral symposium paper
POSIX Regular Expression Matching and Lexing
Doctoral Symposium
Chengsong TanKing's College London
11:00
30m
Doctoral symposium paper
Pointer Analysis as reachability problem over Push Down System
Doctoral Symposium
Jyoti PrakashUniversity of Potsdam, Germany
11:30
40m
Talk
Keynote: Self-Marketing as a Researcher
Doctoral Symposium
Ben HermannPaderborn University
Media Attached
13:30 - 15:10
DS Session 3Doctoral Symposium at Reims
Chair(s): Julia BelyakovaNortheastern University, USA
13:30
30m
Doctoral symposium paper
Improving the Efficiency, Scalability, and Applicability of Static Program Analysis in Real-World Operational Scenarios
Doctoral Symposium
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University
14:00
30m
Doctoral symposium paper
State Explosion Considered Harmful
Doctoral Symposium
Robbert Gurdeep SinghUniversiteit Gent, Belgium
14:30
30m
Doctoral symposium paper
Session Types in the Real World: A Minimalistic Approach
Doctoral Symposium
Alen ArslanagićUniversity of Groningen
15:40 - 17:20
DS Session 4Doctoral Symposium at Reims
Chair(s): Julia BelyakovaNortheastern University, USA
15:40
30m
Doctoral symposium paper
Security Evaluation of Industrial Web ApplicationsUsing Taint Analysis
Doctoral Symposium
Gebrehiwet Biyane WelearegaiUniversity of Potsdam, Germany
16:10
30m
Talk
Invited talk: How to get your Ph.D. DONE!
Doctoral Symposium
Eric JulUniversity of Oslo

Mon 15 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Tue 16 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Wed 17 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Thu 18 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Fri 19 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Mon 15 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Reims

Tue 16 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Wed 17 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Reims

Thu 18 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change