ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
VenueMarriott
Room nameHluboka I
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 6 Jul

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

Tue 7 Jul

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

Mon 6 Jul 2015

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Hluboka I
10:10 - 10:15
10:15 - 10:45
18:00 - 18:30

Tue 7 Jul 2015

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Hluboka I
09:00 - 09:45
10:05 - 10:15
10:15 - 12:15
13:45 - 14:45
14:45 - 15:35
16:00 - 17:30
17:50 - 18:00