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-papers143617020000010:10 - 10:15
Day opening
JSTools-2015-papers
10:15 - 10:45: JSTools - Theory at Hluboka I
Chair(s): Christian HammerSaarland University
JSTools-2015-papers143617050000010: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-papers143617260000010:50 - 11:35
Talk
JSTools-2015-papers143617530000011:35 - 12:20
Talk
JSTools-2015-papers
13:50 - 14:35: JSTools - Invited Talks at STOP II at Hluboka I
JSTools-2015-papers143618340000013:50 - 14:35
Talk
JSTools-2015-papers
14:40 - 15:40: JSTools - Practical Analysis at Hluboka I
Chair(s): Julian DolbyIBM Research
JSTools-2015-papers143618640000014:40 - 15:10
Talk
Sukyoung RyuKorea Advanced Institute of Science and Technology
JSTools-2015-papers143618820000015: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-papers143619120000016:00 - 16:30
Talk
Martin VechevETH Zurich
JSTools-2015-papers143619300000016:30 - 17:00
Talk
Anders MøllerAarhus University
JSTools-2015-papers143619480000017:00 - 17:30
Talk
Manu SridharanSamsung Research America
JSTools-2015-papers143619660000017: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-papers143619840000018: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-papers143625630000010: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-papers143625690000010:15 - 10:45
Talk
Davide AnconaUniversity of Genova, Federico Frassetto
FTfJP-2015-papers143625870000010:45 - 11:15
Talk
Joana CamposLasige / Faculty of Sciences, Universidade de Lisboa, Vasco VasconcelosLasige / Faculty of Sciences, Universidade de Lisboa
FTfJP-2015-papers143626050000011:15 - 11:45
Talk
Prodromos GerakiosNational Technical University of Athens, George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
FTfJP-2015-papers143626230000011: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-papers143626410000012: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-papers143626950000013:45 - 14:15
Talk
Bart JacobsiMinds - Distrinet, KU Leuven
FTfJP-2015-papers143627130000014: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-papers143627310000014: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-papers143627760000016:00 - 16:30
Talk
Reza AhmadiUniversity of Tampere, K. Rustan M. LeinoMicrosoft Research, Jyrki NummenmaaUniversity of Tampere
FTfJP-2015-papers143627940000016:30 - 17:00
Talk
Yuyan BaoUniversity of Central Florida, Gary LeavensCentral Florida University, Gidon ErnstAugsburg University
FTfJP-2015-papers143628120000017: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-papers143628300000017: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-papers143628420000017: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