* Giselle Reis, CMU-Qatar
PROGRAM COMMITTEE CO-CHAIRS
* Amy Felty, University of Ottawa (chair)
* João Marcos, UFRN (chair)
PROGRAM COMMITTEE
* Beniamino Accattoli, INRIA Saclay
* Sandra Alves, University of Porto
* Mario Benevides, UFRJ
* Ana Bove, Chalmers
* Marco Cerami, UFBA
* Valeria de Paiva
to
know the work of other women, we have a large program committee.
* Sandra Alves (Universidade do Porto, Portugal)
* Agata Ciabattoni (TU-Wien, Austria)
* Amy Felty (Co-Chair, University of Ottawa, Canada)
* Maribel Fernandez (King's College London, UK)
* Sara Kalvala (University of Warwick, UK)
* Delia
to authors: May 24
* Proceedings version due: June 21
* LSFA 2019: August 24-26
INVITED SPEAKERS
* Pascal Fontaine, LORIA
* Achim Jung, University of Birmingham
* Vivek Nigam, Fortiss
* Elaine Pimentel, UFRN
* Giselle Reis, CMU-Qatar
PROGRAM COMMITTEE CO-CHAIRS
* Amy Felty, University of Ottawa
Alves (Universidade do Porto, Portugal)
* Agata Ciabattoni (TU-Wien, Austria)
* Amy Felty (Co-Chair, University of Ottawa, Canada)
* Maribel Fernandez (King's College London, UK)
* Sara Kalvala (University of Warwick, UK)
* Delia Kesner (Université Paris Diderot, France)
* Ursula Martin (University
Jung, University of Birmingham
* Vivek Nigam, Fortiss
* Elaine Pimentel, UFRN
* Giselle Reis, CMU-Qatar
PROGRAM COMMITTEE CO-CHAIRS
* Amy Felty, University of Ottawa (chair)
* João Marcos, UFRN (chair)
PROGRAM COMMITTEE
* Beniamino Accattoli, INRIA Saclay
* Sandra Alves, University of Porto
, anywhere on Earth.
PROCEEDINGS
We plan to publish an informal post conference volume at ENTCS or
other equally visible outlet.
SCIENTIFIC AND ORGANIZING COMMITTEE
* Valeria de Paiva (Co-Chair, Nuance Communications, USA)
* Adriana Compagnoni (Stevens Institute of Technology, USA)
* Amy Felty (Co
equally visible outlet.
SCIENTIFIC AND ORGANIZING COMMITTEE
* Valeria de Paiva (Co-Chair, Nuance Communications, USA)
* Adriana Compagnoni (Stevens Institute of Technology, USA)
* Amy Felty (Co-Chair, University of Ottawa, Canada)
* Anna Ingolfsdottir (Reykjavik University, Iceland)
* Sara Kalvala
.
SCIENTIFIC AND ORGANIZING COMMITTEE
* Valeria de Paiva (Co-Chair, Nuance Communications, USA)
* Adriana Compagnoni (Stevens Institute of Technology, USA)
* Amy Felty (Co-Chair, University of Ottawa, Canada)
* Anna Ingolfsdottir (Reykjavik University, Iceland)
* Sara Kalvala (University of Warwick
and UNSW, Australia), co-chair
Lennart Beringer (Princeton University, USA)
Jasmin Blanchette (Vrije Universiteit Amsterdam, Netherlands)
Sandrine Blazy (University of Rennes 1, France)
Sylvie Boldo (Inria and Université Paris-Saclay, France)
James Cheney (University of Edinburgh, UK)
Amy Felty
)
* Amy Felty (University of Ottawa, Canada)
* Anna Ingolfsdottir (Reykjavik University, Iceland)
* Sara Kalvala (University of Warwick, UK)
* Ursula Martin (University of Oxford, UK)
* Brigitte Pientka (McGill University, Canada)
* Valeria Vignudelli (Ecole Normale Supérieure de Lyon, France
1, France)
Sylvie Boldo (Inria and Université Paris-Saclay, France)
James Cheney (University of Edinburgh, UK)
Amy Felty (University of Ottawa, Canada), co-chair
Elsa Gunter (University of Illinois, USA)
Reiner Hähnle (Technical University Darmstadt, Germany)
Marieke Huisman (University
Universiteit Amsterdam, Netherlands)
Sandrine Blazy (University of Rennes 1, France)
Sylvie Boldo (Inria and Université Paris-Saclay, France)
James Cheney (University of Edinburgh, UK)
Amy Felty (University of Ottawa, Canada), co-chair
Elsa Gunter (University of Illinois, USA)
Reiner
)
* Adriana Compagnoni (Stevens Institute of Technology, USA)
* Amy Felty (University of Ottawa, Canada)
* Anna Ingolfsdottir (Reykjavik University, Iceland)
* Ursula Martin (University of Oxford, UK)
* Brigitte Pientka (McGill University, Canada)
* Alexandra Silva (University College London, UK
)
* Adriana Compagnoni (Stevens Institute of Technology, USA)
* Amy Felty (University of Ottawa, Canada)
* Anna Ingolfsdottir (Reykjavik University, Iceland)
* Ursula Martin (University of Oxford, UK)
* Brigitte Pientka (McGill University, Canada)
* Alexandra Silva (University College London, UK
A Framework for the Verified Transformation of Functional Programs
LFMTP 2014 PROGRAM:
http://www.easychair.org/smart-program/VSL2014/LFMTP-program.html
REGISTRATION AND ACCOMMODATION:
http://vsl2014.at/registration/
We look forward to seeing you in Vienna!
The LFMTP 2014 organizers:
Amy Felty
with
their paper (technical appendixes, source code, scripts, test data,
etc.).
PROGRAM COMMITTEE:
Andreas Abel (Gothenburg University)
Kaustuv Chaudhuri (Inria)
Adam Chlipala (MIT)
Amy Felty, Co-Chair (University of Ottawa)
Elsa Gunter (University of Illinois, Urbana - Champaign
(Inria)
Adam Chlipala (MIT)
Amy Felty, Co-Chair (University of Ottawa)
Elsa Gunter (University of Illinois, Urbana - Champaign)
Luigi Liquori (Inria)
Marino Miculan (University of Udine)
Brigitte Pientka, Co-Chair (McGill University)
Jorge Luis Sacchini (CMU Quatar)
Alwen Tiu
, UK)
Andre Platzer (Carnegie Mellon Univ., USA)
Invited Tutorial:
Andrew Gacek (Rockwell Collins, USA)
General Co-Chairs:
Andrew Appel (Princeton Univ., USA)
Lennart Beringer (Princeton Univ., USA)
Program Co-Chairs:
Lennart Beringer (Princeton Univ., USA)
Amy Felty (Univ. of Ottawa, Canada
(Harvard University)
Amy Felty, Co-Chair (University of Ottawa)
Martin Hofmann (LMU Munich)
Conor McBride (University of Strathclyde)
Marino Miculan (University of Udine)
Alberto Momigliano (University of Edinburgh)
Gopalan Nadathur (University of Minnesota)
Michael Norrish (NICTA
19 matches
Mail list logo
