VenueNovotel London West
Room nameEpernay
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 15 Jul

FTfJP-2019-papers
10:45 - 12:15: FTfJP 2019 - Session One at Epernay
FTfJP-2019-papers10:45 - 11:45
Talk
Philipp RuemmerUppsala University
FTfJP-2019-papers11:45 - 12:15
Full-paper
Isaac Oscar Gariano, James NobleVictoria University of Wellington, Marco ServettoVictoria University Wellington, New Zealand
FTfJP-2019-papers
13:30 - 15:00: FTfJP 2019 - Session Two at Epernay
FTfJP-2019-papers13:30 - 14:30
Talk
Scott OwensUniversity of Kent, UK
FTfJP-2019-papers14:30 - 15:00
Full-paper
Julia BelyakovaNortheastern University, USA
DOI Pre-print
FTfJP-2019-papers
15:30 - 17:00: FTfJP 2019 - Session Three at Epernay
FTfJP-2019-papers15:30 - 16:00
Full-paper
Sadegh DalvandiUniversity of Surrey, Brijesh DongolUniversity of Surrey
FTfJP-2019-papers16:00 - 16:30
Full-paper
Willem PenninckxKU Leuven, Amin Timanyimec-Distrinet KU-Leuven, Bart JacobsKU Leuven
FTfJP-2019-papers16:30 - 16:45
Short-paper
Martin LesterUniversity of Reading
FTfJP-2019-papers16:45 - 17:00
Short-paper

Tue 16 Jul

panathon-2019-papers
09:00 - 10:15: Panathon 2019 - Introduction to CogniCrypt at Epernay
panathon-2019-papers09:00 - 10:15
Tutorial
Stefan KrügerPaderborn University
panathon-2019-papers
10:45 - 12:15: Panathon 2019 - CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway? at Epernay
panathon-2019-papers10:45 - 11:00
Demonstration
Linghui LuoPaderborn University
panathon-2019-papers11:00 - 12:15
Stefan KrügerPaderborn University
panathon-2019-papers
13:30 - 15:00: Panathon 2019 - Dynamic CogniCrypt – Static Failures and Dynamic Successes at Epernay
panathon-2019-papers13:30 - 15:00
Demonstration
Kristen NewburyUniversity of Alberta
panathon-2019-papers
15:30 - 17:00: Panathon 2019 - Crypto Task Hackathon at Epernay
panathon-2019-papers15:30 - 17:00

Wed 17 Jul

scala-2019-papers
09:00 - 10:00: Scala 2019 - Keynote at Epernay
scala-2019-papers09:00 - 10:00
Talk
scala-2019-papers
10:30 - 12:10: Scala 2019 - Types at Epernay
scala-2019-papers10:30 - 11:00
Research paper
Alex JefferyUniversity of Sussex
scala-2019-papers11:00 - 11:20
Talk
Jaemin HongKAIST, South Korea, Sukyoung RyuKAIST, South Korea
scala-2019-papers11:20 - 11:40
Talk
Guillaume MartresEPFL, Switzerland
scala-2019-papers11:40 - 12:10
Short-paper
scala-2019-papers
13:30 - 15:10: Scala 2019 - Testing at Epernay
scala-2019-papers13:30 - 14:00
Short-paper
Konstantin LäuferLoyola University Chicago, John O'SullivanLoyola University Chicago, George K. ThiruvathukalLoyola University Chicago and Argonne National Laboratory
scala-2019-papers14:00 - 14:30
Short-paper
Jonas De BleserSofware Languages Lab, Vrije Universiteit Brussel, Dario Di NucciVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
scala-2019-papers14:30 - 14:50
Talk
Jonas De BleserSofware Languages Lab, Vrije Universiteit Brussel
scala-2019-papers14:50 - 15:10
Talk
Mohammadreza AshouriUniversity of Potsdam, Germany
scala-2019-papers
15:40 - 17:20: Scala 2019 - Compilation and verification at Epernay
scala-2019-papers15:40 - 16:10
Short-paper
Alceste ScalasAston University, Birmingham, UK, Nobuko YoshidaImperial College London, Elias BenussiFaculty Science Ltd
scala-2019-papers16:10 - 16:30
Talk
scala-2019-papers16:30 - 16:50
Talk
Alen Stojanov, Tiark RompfPurdue University, Markus PüschelETH Zürich

Thu 18 Jul

aorta-2019-papers
10:30 - 12:10: AORTA 2019 - Session #1 at Epernay
Chair(s): Xiaoli LiangIBM Canada
aorta-2019-papers10:30 - 11:20
Talk
aorta-2019-papers11:20 - 11:45
Talk
Manas ThakurIIT Madras, V Krishna NandivadaIIT Madras
aorta-2019-papers11:45 - 12:10
Talk
Daryl MaierIBM Canada, Xiaoli LiangIBM Canada
aorta-2019-papers
13:30 - 15:10: AORTA 2019 - Session #2 at Epernay
Chair(s): Daryl MaierIBM Canada
aorta-2019-papers13:30 - 13:55
Talk
Christos KotselidisUniversity of Manchester, UK
aorta-2019-papers13:55 - 14:20
Talk
Stefan MarrUniversity of Kent
aorta-2019-papers14:20 - 14:45
Talk
Ruoyu ZhouUniversity of Cambridge, UK, Timothy M. JonesUniversity of Cambridge, UK
aorta-2019-papers14:45 - 15:10
Talk
Andrew CraikIBM Canada
aorta-2019-papers
15:40 - 16:40: AORTA 2019 - Session #3 at Epernay
Chair(s): Hugh LeatherUniversity of Edinburgh
aorta-2019-papers15:40 - 16:10
Talk
Tom SpinkUniversity of Edinburgh
aorta-2019-papers16:10 - 16:40
Talk
File Attached

Fri 19 Jul

ICOOOLPS-2019-papers
09:00 - 10:00: ICOOOLPS 2019 - Starting Keynote at Epernay
ICOOOLPS-2019-papers09:00 - 09:05
Day opening
Clément BéraGoogle, Aarhus
ICOOOLPS-2019-papers09:05 - 10:00
Talk
Mads AgerGoogle
ICOOOLPS-2019-papers
10:30 - 12:10: ICOOOLPS 2019 - Workshop session at Epernay
ICOOOLPS-2019-papers10:30 - 10:55
Research paper
Johannes HenningHasso Plattner Institute, David Stangl, Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
DOI
ICOOOLPS-2019-papers10:55 - 11:20
Research paper
Tomoharu UgawaKochi University of Technology, Japan, Hideya IwasakiUniversity of Electro-Communications, Japan, Takafumi Kataoka
ICOOOLPS-2019-papers11:20 - 11:45
Research paper
Beatrice ÅkerblomStockholm University, Elias CastegrenUppsala University, Tobias WrigstadUppsala University
ICOOOLPS-2019-papers11:45 - 12:10
Research paper
Alexi TurcotteNortheastern University, Jan VitekNortheastern University
ICOOOLPS-2019-papers
13:30 - 15:10: ICOOOLPS 2019 - Closing keynote & Interactive session at Epernay
ICOOOLPS-2019-papers13:30 - 14:25
Talk
Matthew ParkinsonMicrosoft Research, UK
ICOOOLPS-2019-papers14:25 - 15:10
Other
Eric JulUniversity of Oslo

Mon 15 Jul 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Epernay
09:00 - 10:15
10:45 - 12:15
13:30 - 15:00
15:30 - 17:00

Wed 17 Jul 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Epernay
09:00 - 10:00
10:30 - 12:10
13:30 - 15:10

Thu 18 Jul 2019

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Epernay
09:00 - 10:00
10:30 - 12:10
13:30 - 15:10
15:40 - 16:40

Fri 19 Jul 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Epernay
15:40 - 17:20