GPCE 2015
Mon 26 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
VenueSheraton Station Square Hotel
Room nameGrand Station 4
Floor1
Room number
Capacity0
Additional information

Program

Mon 26 Oct

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
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
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

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 2015

Thu 29 Oct 2015

Room10:003011:003012:0030
Grand Station 4

Thu 29 Oct 2015

No events planned for this day yet.