Write a Blog >>
LAFI 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
VenueHotel Cascais Miragem
Room nameSala VII
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 13 Jan

beat-2019-papers
08:30 - 10:30: BEAT 2019 - Session 1 at Sala VII
Chair(s): Philip WadlerUniversity of Edinburgh, UK
beat-2019-papers08:30 - 08:40
Day opening
Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Jorge A. PérezUniversity of Groningen, The Netherlands
beat-2019-papers08:40 - 09:30
Talk
Peter ThiemannUniversity of Freiburg, Germany
beat-2019-papers09:30 - 09:50
Talk
Kaede KobayashiKyoto University, Atsushi IgarashiKyoto University, Japan
beat-2019-papers09:50 - 10:10
Talk
Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
File Attached
beat-2019-papers10:10 - 10:30
Talk
Alceste ScalasImperial College London, Elias BenussiImperial College London, Nobuko YoshidaImperial College London
File Attached
beat-2019-papers
11:00 - 12:30: BEAT 2019 - Session 2 at Sala VII
Chair(s): Dominic OrchardUniversity of Kent, UK
beat-2019-papers11:00 - 11:50
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
beat-2019-papers11:50 - 12:10
Talk
Ilaria CastellaniINRIA Sophia Antipolis, France, Mariangiola DezaniUniversità di Torino, Paola GianniniUniversita' del Piemonte Orientale, Ross HorneComputer Science and Communications Research Unit, University of Luxembourg
File Attached
beat-2019-papers12:10 - 12:30
Talk
Mauricio CanoUniversity of Groningen, The Netherlands
beat-2019-papers
13:30 - 15:30: BEAT 2019 - Session 3 at Sala VII
Chair(s): Paola GianniniUniversita' del Piemonte Orientale
beat-2019-papers13:30 - 14:20
Talk
Jan HoffmannCarnegie Mellon University
beat-2019-papers14:20 - 15:10
Talk
Rumyana NeykovaBrunel University London
File Attached
beat-2019-papers15:10 - 15:30
Talk
Hans HüttelDepartment of Computer Science, Aalborg University, Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Adrian FrancalanzaUniversity of Malta, Mario BravettiUniversità di Bologna
File Attached
beat-2019-papers
16:00 - 18:25: BEAT 2019 - Session 4 at Sala VII
Chair(s): Adrian FrancalanzaUniversity of Malta, Jorge A. PérezUniversity of Groningen, The Netherlands
beat-2019-papers16:00 - 16:50
Talk
beat-2019-papers16:50 - 17:10
Talk
Evangelia VaneziUniversity of Cyprus, Dimitrios KouzapasUniversity of Cyprus, Anna PhilippouUniversity of Cyprus
beat-2019-papers17:10 - 17:30
Talk
Daniele Nantes-SobrinhoUniversity of Brasília, Brazil, Jorge A. PérezUniversity of Groningen, The Netherlands
beat-2019-papers17:30 - 17:40
Break
beat-2019-papers17:40 - 18:00
Talk
Søren DeboisIT University of Copenhagen, Thomas H. Hildebrandt, Hugo LópezIT University of Copenhagen, Denmark & DCR Solutions A/S
Media Attached
beat-2019-papers18:00 - 18:20
Talk
Carlos Mão de FerroLASIGE, Faculty of Sciences, University of Lisbon, Francisco MartinsLaSIGE, University of Lisbon, Tiago CogumbreiroUniversity of Massachusetts Boston
File Attached
beat-2019-papers18:20 - 18:25
Day closing
Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Jorge A. PérezUniversity of Groningen, The Netherlands

Sun 13 Jan 2019

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Sala VII
08:30 - 10:30
11:00 - 12:30
13:30 - 15:30
16:00 - 18:25