Conference. ITP '17: 8th International Conference on Interactive Theorem Proving [itp17]

September 2017
Brasilia, Brazil
10.1007/978-3-319-66107-0
http://itp2017.cic.unb.br/

Backlinks

Liam O'Connor › Curriculum vitæ › Academic community roles [loc-0003]

Member, IFIP Working Group 2.1: Algorithmic Languages and Calculi, 2025–present (observer from 2024–2025).
Organiser, ICFP '25 Programming Contest, 2025.
Editor (Social Media), Journal of Functional Programming, 2020–present.
Member at Large, Workshop on Type-Driven Development Steering Committee, 2022–2024.
Publicity Chair, Scottish Programming Languages Institute, 2022–2024.
Organiser and Designer, TypeSIG Advent of Proof, 2023.
Problem Designer, TypeSIG Advent of Proof, 2024.

Program committees

Haskell '25: 18th ACM SIGPLAN Haskell Symposium
FProPer '25: 2nd ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance
APLAS '25: 23rd Asian Symposium on Programming Languages and Systems
ICFP '25: 29th ACM SIGPLAN International Conference on Functional Programming
PLDI '25: 46th ACM SIGPLAN International Conference on Programming Language Design and Implementation
SBLP '24: 28th Brazilian Symposium on Programming Languages
PEPM '24: ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
APLAS '23: 21st Asian Symposium on Programming Languages and Systems
SBLP '22: 26th Brazilian Symposium on Programming Languages
ICFP '21 Student Research Competition
TyDe '17: 2nd ACM SIGPLAN International Workshop on Type-Driven Development

Other reviewing

Journal Review, Journal of Functional Programming, 2025
External Review, TASE '23: 17th International Symposium on Theoretical Aspects of Software Engineering
External Review, ESOP '22: 31st European Symposium on Programming
External Review, FoSSaCS '21: 24th International Conference on Foundations of Software Science and Computation Structures
Journal Review, Journal of Functional Programming, 2020
External Review, CPP '18: 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
External Review, POPL '16: 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Artifact Evaluation, ICFP '18: 23rd ACM SIGPLAN International Conference on Functional Programming
Subreviewer, CSF '19: 32nd IEEE Computer Security Foundations Symposium
Subreviewer, ASPLOS '19: 24th International Conference on Architectural Support for Programming Languages and Operating Systems
Subreviewer, ITP '17: 8th International Conference on Interactive Theorem Proving
Subreviewer, ICFP '15: 20th ACM SIGPLAN International Conference on Functional Programming
Subreviewer, POPL '15: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Subreviewer, ICFP '14: 19th ACM SIGPLAN International Conference on Functional Programming
Subreviewer, APLAS '13: 11th Asian Symposium on Programming Languages and Systems