Kaustuv Chaudhuri (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 (
h auxiliary material 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
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
, USA)
* 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 Londo
, USA)
* 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 Londo
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
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 of
-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 of Twente, Netherlands)
Warren A. Hunt, Jr. (University of
, USA)
* 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, F
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
utlet.
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 Wa
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-Chair, University of Ottawa, Canada)
* Anna Ingolfsdottir (Reykjavik University, Iceland)
* Sara Ka
2018, 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 Felt
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
andra 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 (
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
et 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, U
* 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
pala (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 (N
pala (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 (N
eric Blanqui (INRIA)
James Cheney, Co-Chair (University of Edinburgh)
Adam Chlipala (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 (Universit
Call for Participation
LFMTP 2009: 4th International Workshop on
Logical Frameworks and Meta-languages: Theory and Practice
McGill University, Montreal, Canada
August 2, 2009
http://wo
page: http://itp2012.cs.princeton.edu/
Invited Speakers:
Lawrence Paulson (Univ. of Cambridge, UK)
Others TBA
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)
Progra
ce Paulson (Univ. of Cambridge, 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 (Uni
24 matches
Mail list logo
