ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Filter
Dates
Rooms
Tracks
Badges
Your Program

Tue 14 Apr

esop-2015-papers
10:30 - 12:30: ESOP - Session 1 at Skeel
Chair(s): Jan VitekNortheastern University
esop-2015-papers10:30 - 11:00
Talk
Andrew D. GordonMicrosoft Research and University of Edinburgh, Claudio RussoMicrosoft Research, Marcin SzymczakUniversity of Edinburgh, Johannes BorgströmUppsala University, Nicolas RollandMicrosoft Research, Thore GraepelMicrosoft Research, Daniel TarlowMicrosoft Research
esop-2015-papers11:00 - 11:30
Talk
Tie ChengCNRS, ENS, INRIA, Paris, France, Xavier RivalINRIA/CNRS/ENS Paris
esop-2015-papers11:30 - 12:00
Talk
Neil TorontoBrigham Young University, Jay McCarthy, David Van Horn
esop-2015-papers12:00 - 12:30
Talk
Manuel EberlTechnische Universität München, Johannes HölzlTechnische Universität München, Tobias NipkowTechnische Universität München
esop-2015-papers
14:00 - 16:00: ESOP - Session 2 at Skeel
Chair(s): Gavin BiermanOracle Labs
esop-2015-papers14:00 - 14:30
Talk
Pavol CernyUniversity of Colorado Boulder, Thomas A. HenzingerIST Austria, Laura KovacsChalmers University of Technology, Arjun RadhakrishnaMicrosoft, Jakob ZwirchmayrIRIT Toulouse
esop-2015-papers14:30 - 15:00
Talk
Jan HoffmannYale University, Zhong ShaoYale University
esop-2015-papers15:00 - 15:30
Talk
Willem PenninckxKU Leuven, Bart JacobsiMinds - Distrinet, KU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven
esop-2015-papers15:30 - 16:00
Talk
Cristina DavidUniversity of Oxford, Daniel KroeningUniversity of Oxford, Matt LewisUniversity of Oxford
esop-2015-papers
16:30 - 18:00: ESOP - Session 3 at Skeel
Chair(s): Dave SandsChalmers University of Technology
esop-2015-papers16:30 - 17:00
Talk
Pierre NeronTU Delft, Andrew TolmachPortland State University, Eelco VisserDelft University of Technology, Guido WachsmuthDelft University of Technology
esop-2015-papers17:00 - 17:30
Talk
Giuseppe CastagnaParis Diderot University & CNRS, Hyeonseung ImINRIA Grenoble Rhône-Alpes, Kim NguyễnLRI, Université Paris-Sud, Véronique BenzakenLRI, Université Paris-Sud
esop-2015-papers17:30 - 18:00
Talk
Ravi ChughUniversity of Chicago

Wed 15 Apr

esop-2015-papers
10:30 - 12:30: ESOP - Session 4 at Skeel
Chair(s): Lars BirkedalAarhus University
esop-2015-papers10:30 - 11:00
Talk
Mark BattyUniversity of Cambridge, Kayvan MemarianUniversity of Cambridge, Kyndylan NienhuisUniversity of Cambridge, Jean Pichon-PharabodUniversity of Cambridge, Peter SewellUniversity of Cambridge
esop-2015-papers11:00 - 11:30
Talk
Parosh Aziz Abdulla, Mohamed Faouzi AtigUppsala University, Tuan Phong NgoUppsala University
esop-2015-papers11:30 - 12:00
Talk
Ilya SergeyIMDEA Software Institute, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute
esop-2015-papers12:00 - 12:30
Talk
Jasmin Christian BlanchetteTU Munich, Andrei PopescuMiddlesex University, London, Dmitriy TraytelTU Munich
esop-2015-papers
14:00 - 16:00: ESOP - Session 5 at Skeel
Chair(s): Jan VitekNortheastern University
esop-2015-papers14:00 - 14:30
Talk
Burke FetscherNorthwestern University, Koen ClaessenChalmers University of Technology, Michał PałkaChalmers University of Technology, John HughesChalmers University of Technology, Robby FindlerNorthwestern University
esop-2015-papers14:30 - 15:00
Talk
Ezgi ÇiçekMPI-SWS, Deepak GargMPI-SWS, Umut AcarCarnegie Mellon University
esop-2015-papers15:00 - 15:30
Talk
Jeremy G. SiekIndiana University, Michael M. VitousekIndiana University, Matteo CiminiIndiana University, Sam Tobin-HochstadtIndiana University, Ronald GarciaUniversity of British Columbia
esop-2015-papers15:30 - 16:00
Talk
Stefan Schulze FrielinghausTechnische Universität München, Michael PetterTechnische Universität München, Helmut SeidlTechnische Universität München
esop-2015-papers
16:30 - 18:00: ESOP - Session 6 at Skeel
Chair(s): Helmut SeidlTechnische Universität München
esop-2015-papers16:30 - 17:00
Talk
Arlen CoxUniversity of Colorado Boulder, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Xavier RivalINRIA/CNRS/ENS Paris
esop-2015-papers17:00 - 17:30
Talk
Stefano CalzavaraUniversità Ca' Foscari Venezia, Michele BugliesiUniversità Ca' Foscari Venezia, Silvia CrafaUniversity of Padova, Enrico SteffinlongoUniversità Ca' Foscari Venezia
esop-2015-papers17:30 - 18:00
Talk
Michael EmmiIMDEA Software Institute, Pierre GantyIMDEA Software Institute, Rupak MajumdarMPI-SWS, Fernando Rosa-VelardoUniversidad Complutense de Madrid

Thu 16 Apr

esop-2015-papers
10:30 - 12:30: ESOP - Session 7 at Skeel
Chair(s): Delphine DemangeIRISA / University of Rennes 1
esop-2015-papers10:30 - 11:00
Talk
Sam LindleyUniversity of Edinburgh, J. Garrett MorrisThe University of Edinburgh
esop-2015-papers11:00 - 11:30
Talk
Alexey GotsmanIMDEA, Hongseok YangUniversity of Oxford
esop-2015-papers11:30 - 12:00
Talk
Tachio TerauchiJAIST, Hiroshi UnnoUniversity of Tsukuba
esop-2015-papers12:00 - 12:30
Talk
Aws AlbarghouthiUniversity of Wisconsin - Madison, Josh BerdineMicrosoft Research, Byron CookMicrosoft Research, Zachary KincaidUniversity of Toronto
esop-2015-papers
14:00 - 16:00: ESOP - Session 8 at Skeel
Chair(s): Jan VitekNortheastern University
esop-2015-papers14:00 - 14:30
Talk
Cristina DavidUniversity of Oxford, Daniel KroeningUniversity of Oxford, Matt LewisUniversity of Oxford
esop-2015-papers14:30 - 15:00
Talk
esop-2015-papers15:00 - 15:30
Talk
Azalea RaadImperial College London, Jules VillardImperial College London, Philippa GardnerImperial College London
esop-2015-papers15:30 - 16:00
Talk
Filip SieczkowskiAarhus University, Kasper SvendsenAarhus University, Lars BirkedalAarhus University, Jean Pichon-PharabodUniversity of Cambridge
esop-2015-papers
16:30 - 18:00: ESOP - Session 9 at Skeel
Chair(s): Jan VitekNortheastern University
esop-2015-papers16:30 - 17:00
Talk
Wilmer RicciottiUniversity of Toulouse
esop-2015-papers17:00 - 17:30
Talk
Pedro VasconcelosLIACC, Universidade do Porto, Porto, Portugal, Steffen JostLMU, Munich, Germany, Mario FloridoFCUP, Universidade do Porto, Portugal, Kevin HammondUniversity of St Andrews, St Andrews, UK
esop-2015-papers17:30 - 18:00
Talk
Eric L. Seidel, Niki VazouUC San Diego, Ranjit JhalaUniversity of California, San Diego

Tue 14 Apr 2015

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Skeel
10:30 - 12:30
14:00 - 16:00
16:30 - 18:00

Wed 15 Apr 2015

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Skeel
10:30 - 12:30
14:00 - 16:00
16:30 - 18:00

Thu 16 Apr 2015

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Skeel
10:30 - 12:30
14:00 - 16:00
16:30 - 18:00
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)