Preface

Thorsten Altenkirch; Kaustuv Chaudhuri; Gilles Dowek; Amy Felty; Andrzej Filinski; Marino Miculan; Florian Rabe; Wilmer Ricciotti; Claudio Sacerdoti Coen; Kristina Sojakova

Preface

Thorsten Altenkirch, Kaustuv Chaudhuri, Gilles Dowek, Amy Felty, Andrzej Filinski, Marino Miculan, Florian Rabe, Wilmer Ricciotti, Claudio Sacerdoti Coen, Kristina Sojakova

Research output: Chapter in Book / Report / Conference proceeding › Foreword/postscript › Academic

Original language	English
Title of host publication	LFMTP '17
Subtitle of host publication	Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Editors	Marino Miculan, Florian Rabe
Publisher	Association for Computing Machinery
Number of pages	1
Volume	Part F130531
ISBN (Electronic)	9781450353748
Publication status	Published - 2017
Externally published	Yes

Publication series

Name	ACM International Conference Proceeding Series
Volume	2017

Funding

We would like to thank the many people who helped make LFMTP 2017 a success. We thank the organizers of FSCD for their support. We are grateful to the program committee members for their thoughtful reviews and discussions. Finally, we thank the authors, the invited speakers, and the attendees for making this workshop an enjoyable and productive event.

Funders	Funder number
FSCD

Persistent URL (handle)

Persistent link

Cite this

Altenkirch, T., Chaudhuri, K., Dowek, G., Felty, A., Filinski, A., Miculan, M., Rabe, F., Ricciotti, W., Coen, C. S., & Sojakova, K. (2017). Preface. In M. Miculan, & F. Rabe (Eds.), LFMTP '17: Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (Vol. Part F130531). (ACM International Conference Proceeding Series; Vol. 2017). Association for Computing Machinery.

@inbook{25a45c603cc84ff89dfb61a3ffdf0ca9,

title = "Preface",

author = "Thorsten Altenkirch and Kaustuv Chaudhuri and Gilles Dowek and Amy Felty and Andrzej Filinski and Marino Miculan and Florian Rabe and Wilmer Ricciotti and Coen, {Claudio Sacerdoti} and Kristina Sojakova",

year = "2017",

language = "English",

volume = "Part F130531",

series = "ACM International Conference Proceeding Series",

publisher = "Association for Computing Machinery",

editor = "Marino Miculan and Florian Rabe",

booktitle = "LFMTP '17",

}

Altenkirch, T, Chaudhuri, K, Dowek, G, Felty, A, Filinski, A, Miculan, M, Rabe, F, Ricciotti, W, Coen, CS & Sojakova, K 2017, Preface. in M Miculan & F Rabe (eds), LFMTP '17: Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. vol. Part F130531, ACM International Conference Proceeding Series, vol. 2017, Association for Computing Machinery.

Preface. / Altenkirch, Thorsten; Chaudhuri, Kaustuv; Dowek, Gilles et al.
LFMTP '17: Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. ed. / Marino Miculan; Florian Rabe. Vol. Part F130531 Association for Computing Machinery, 2017. (ACM International Conference Proceeding Series; Vol. 2017).

Research output: Chapter in Book / Report / Conference proceeding › Foreword/postscript › Academic

TY - CHAP

T1 - Preface

AU - Altenkirch, Thorsten

AU - Chaudhuri, Kaustuv

AU - Dowek, Gilles

AU - Felty, Amy

AU - Filinski, Andrzej

AU - Miculan, Marino

AU - Rabe, Florian

AU - Ricciotti, Wilmer

AU - Coen, Claudio Sacerdoti

AU - Sojakova, Kristina

PY - 2017

Y1 - 2017

UR - http://www.scopus.com/inward/record.url?scp=85030486017&partnerID=8YFLogxK

UR - https://dl.acm.org/doi/proceedings/10.1145/3130261

M3 - Foreword/postscript

VL - Part F130531

T3 - ACM International Conference Proceeding Series

BT - LFMTP '17

A2 - Miculan, Marino

A2 - Rabe, Florian

PB - Association for Computing Machinery

ER -

Preface

Publication series

Funding

Persistent URL (handle)

Other files and links

Cite this