GPCE 2015
Mon 26 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
SPLASH 2015 (series) / GPCE 2015 (series) / Sheraton Station Square Hotel /

Room information: Grand Station 4

VenueSheraton Station Square Hotel
Room nameGrand Station 4
Floor1
Additional information

Display in different time zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).
Apply
Close
Program

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

Mon 26 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

agere2015
08:30 - 10:00: AGERE - Keynote + Abstraction at Grand Station 4
Chair(s): Carlos VarelaRensselaer Polytechnic Institute, US, Elisa Gonzalez BoixVrije Universiteit Brussel, Alessandro RicciUniversity of Bologna, Philipp HallerKTH Royal Institute of Technology
agere201508:30 - 09:20
Talk
Daniel WendelMIT
agere201509:20 - 09:40
Talk
Stephanie BalzerCarnegie Mellon University, Frank PfenningCarnegie Mellon University
agere201509:40 - 10:00
Talk
Rem CollierUniversity College Dublin, Seán RussellUniversity College Dublin, David LillisUniversity College Dublin
agere2015
10:30 - 12:00: AGERE - Session 2 - Abstraction and Runtime Environments at Grand Station 4
agere201510:30 - 10:50
Talk
Lamont SamuelsUniversity of Chicago, John ReppyUniversity of Chicago
File Attached
agere201510:50 - 11:10
Talk
Angelo CroattiUniversity of Bologna, Alessandro RicciUniversity of Bologna
agere201511:10 - 11:30
Talk
Raphael Hiesgen, Dominik Charousset, Thomas C. SchmidtHAW Hamburg
agere201511:30 - 11:50
Talk
Travis Desell University of North Dakota, Carlos VarelaRensselaer Polytechnic Institute, US
agere2015
13:30 - 15:00: AGERE - Session 3 - Types and Verification at Grand Station 4
agere201513:30 - 13:50
Talk
Sylvan ClebschImperial College London, Sophia DrossopoulouImperial College London
Media Attached
agere201513:50 - 14:10
Talk
Stefan MarrINRIA, France, Hanspeter MössenböckJohannes Kepler University Linz
Link to publication Pre-print Media Attached
agere201514:10 - 14:30
Talk
Shohei YasutakeTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology
Link to publication Pre-print Media Attached
agere201514:30 - 14:50
Talk
Najah Ben SaidVerimag, Takoua AbdellatifUniversity of Sousse, Saddek BensalemVerimag, Marius BozgaVerimag/CNRS
agere2015
15:30 - 17:00: AGERE - Session 4 - Runtime Environments and Discussion at Grand Station 4
agere201515:30 - 15:50
Talk
Andrea Peruffo, Gianluca StivanUniCredit R&D, Philipp HallerKTH Royal Institute of Technology
agere201515:50 - 16:10
Talk
Elisa Gonzalez BoixVrije Universiteit Brussel, Christophe ScholliersVrije Universiteit Brussel, Nicolas LarreaVUB, Wolfgang De MeuterVrije Universiteit Brussel
agere201516:10 - 16:30
Talk
Arvin ZakeriyanUniversity of Tehran, Ehsan Khamespanah, Marjan SirjaniReykjavik University, Ramtin Khosravi
agere201516:30 - 17:00
Other

Thu 29 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

splash2015-src
10:30 - 12:00: Student Research Competition - Talks at Grand Station 4
Chair(s): Patrick LamUniversity of Waterloo, Canada, Sam GuyerTufts University

Mon 26 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Station 4

AGERE!

Keynote + Abstraction

AGERE!

Session 2 - Abstraction and Runtime Environments

AGERE!

Session 3 - Types and Verification

AGERE!

Session 4 - Runtime Environments and Discussion

Thu 29 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Room10:003011:003012:0030
Grand Station 4

SPLASH Student Research Competition

Talks

Mon 26 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grand Station 4
08:30 - 09:20
09:20 - 09:40
09:40 - 10:00
10:30 - 10:50
10:50 - 11:10
11:10 - 11:30
11:30 - 11:50
13:30 - 13:50
13:50 - 14:10
14:10 - 14:30
14:30 - 14:50
15:30 - 15:50
15:50 - 16:10
16:10 - 16:30
16:30 - 17:00

Thu 29 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

No events planned for this day yet.