Welcome from the Chairs

Andrei Popescu; Steve Zdancewic; Lennart Beringer; Robbert Krebbers

doi:10.1145/3497775.3503949

Welcome from the Chairs

Andrei Popescu, Steve Zdancewic, Lennart Beringer, Robbert Krebbers

Computer Science

Research output: Contribution to journal › Editorial › peer-review

Original language	English (US)
Pages (from-to)	III-IV
Journal	CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022
DOIs	https://doi.org/10.1145/3497775.3503949
State	Published - Jan 17 2022
Event	11th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2022 - co-located with POPL 2022 - Philadelphia, United States Duration: Jan 17 2022 → Jan 18 2022

All Science Journal Classification (ASJC) codes

Computer Science Applications
Software

Access to Document

10.1145/3497775.3503949

Cite this

@article{d2acfd013abe4dc7a8df3a0b88efb081,

title = "Welcome from the Chairs",

author = "Andrei Popescu and Steve Zdancewic and Lennart Beringer and Robbert Krebbers",

year = "2022",

month = jan,

day = "17",

doi = "10.1145/3497775.3503949",

language = "English (US)",

pages = "III--IV",

journal = "CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022",

note = "11th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2022 - co-located with POPL 2022 ; Conference date: 17-01-2022 Through 18-01-2022",

}

TY - JOUR

T1 - Welcome from the Chairs

AU - Popescu, Andrei

AU - Zdancewic, Steve

AU - Beringer, Lennart

AU - Krebbers, Robbert

PY - 2022/1/17

Y1 - 2022/1/17

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

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

U2 - 10.1145/3497775.3503949

DO - 10.1145/3497775.3503949

M3 - Editorial

AN - SCOPUS:85124008980

SP - III-IV

JO - CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022

JF - CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022

T2 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2022 - co-located with POPL 2022

Y2 - 17 January 2022 through 18 January 2022

ER -

Welcome from the Chairs

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this