ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
VenueMarriott
Room nameHluboka I
Floor0
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

Mon 6 Jul
Times are displayed in time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:10 - 10:15: Day OpeningJSTools at Hluboka I
Chair(s): Julian DolbyIBM Research, Christian HammerSaarland University, Michael PradelTU Darmstadt, Shu-yu GuoMozilla Corporation
10:10 - 10:15
Day opening
JSTools
10:15 - 10:45: TheoryJSTools at Hluboka I
Chair(s): Christian HammerSaarland University
10:15 - 10:45
Talk
JSTools
Daiva NaudžiūnienėImperial College London
10:50 - 12:20: Invited Talks at STOPJSTools at Hluboka I
10:50 - 11:35
Talk
JSTools
11:35 - 12:20
Talk
JSTools
13:50 - 14:35: Invited Talks at STOP IIJSTools at Hluboka I
13:50 - 14:35
Talk
JSTools
14:40 - 15:40: Practical AnalysisJSTools at Hluboka I
Chair(s): Julian DolbyIBM Research
14:40 - 15:10
Talk
JSTools
Sukyoung RyuKorea Advanced Institute of Science and Technology
15:10 - 15:40
Talk
JSTools
Koushik SenUniversity of California, Berkeley
16:00 - 18:00: Practical Analysis IIJSTools at Hluboka I
Chair(s): Michael PradelTU Darmstadt
16:00 - 16:30
Talk
JSTools
Martin VechevETH Zurich
16:30 - 17:00
Talk
JSTools
Anders MøllerAarhus University
17:00 - 17:30
Talk
JSTools
Manu SridharanSamsung Research America
17:30 - 18:00
Talk
JSTools
Saba AlimadadiUniversity of British Columbia
18:00 - 18:30: Day ClosingJSTools at Hluboka I
Chair(s): Michael PradelTU Darmstadt, Christian HammerSaarland University, Julian DolbyIBM Research, Shu-yu GuoMozilla Corporation
18:00 - 18:30
Day closing
JSTools

Tue 7 Jul
Times are displayed in time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:05 - 10:15: WelcomeFTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
10:05 - 10:15
Day opening
FTfJP
10:15 - 12:15: Session 1FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
10:15 - 10:45
Talk
FTfJP
Davide AnconaUniversity of Genova, Federico Frassetto
10:45 - 11:15
Talk
FTfJP
Joana CamposLasige / Faculty of Sciences, Universidade de Lisboa, Vasco VasconcelosLasige / Faculty of Sciences, Universidade de Lisboa
11:15 - 11:45
Talk
FTfJP
Prodromos GerakiosNational Technical University of Athens, George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
11:45 - 12:15
Talk
FTfJP
Du LiCarnegie Mellon University, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University
12:15 - 12:35: Tool Demonstration 1FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
12:15 - 12:35
Other
FTfJP
Léon GondelmanLRI, Université Paris-Sud
13:45 - 14:45: Session 2FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
13:45 - 14:15
Talk
FTfJP
Bart JacobsiMinds - Distrinet, KU Leuven
14:15 - 14:45
Talk
FTfJP
Jorne KandzioraUniversity of Twente, Marieke HuismanUniversity of Twente, Christoph BockischUniversity of Twente, Marina Zaharieva-StojanovskiUniversity of Twente
14:45 - 15:35: Invited TalkFTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
14:45 - 15:35
Talk
FTfJP
Marieke HuismanUniversity of Twente
16:00 - 17:30: Session 3FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
16:00 - 16:30
Talk
FTfJP
Reza AhmadiUniversity of Tampere, K. Rustan M. LeinoMicrosoft Research, Jyrki NummenmaaUniversity of Tampere
16:30 - 17:00
Talk
FTfJP
Yuyan BaoUniversity of Central Florida, Gary LeavensCentral Florida University, Gidon ErnstAugsburg University
17:00 - 17:30
Talk
FTfJP
Bernhard BeckertKarlsruhe Institute of Technology, Vladimir KlebanovKarlsruhe Institute of Technology, Mattias UlbrichKarlsruhe Institute of Technology
17:30 - 17:50: Tool Demonstration 2FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
17:30 - 17:50
Other
FTfJP
Malte SchwerhoffETH Zurich, Switzerland
17:50 - 18:00: ClosingFTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
17:50 - 18:00
Day closing
FTfJP

Mon 6 Jul
Times are displayed in time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 7 Jul
Times are displayed in time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change