• Home
  • Research
  • Publications
  • Talks
  • Teaching
  • Curriculum Vitae
  • Service(current)
  • Blog
Amin Timany
  1. Home
  2. Service

Service


Organizing/Chairing:
CoqPL'22 (co-organizer and co-chair), CoqPL'21 (co-organizer and co-chair)
Journal Refereeing:
ACM Transactions on Programming Languages and Systems (TOPLAS), Mathematical Structures in Computer Science (MSCS), Journal of Formalized Reasoning (JFR),
Program Committee:
ICFP'21, CPP'21, PriSC'19, ICFP'19 Artifact Evaluation Committee (AEC), PLDI'19 Artifact Evaluation Committee (AEC), POPL'19 Artifact Evaluation Committee (AEC), HOPE'18
External Reviewer:
CPP'20, LICS'19, ESOP'19, FSCD'18, FSCD'17, LICS'17
Other:
POPL'22 (Web Co-Chair), POPL'21 (Web Co-Chair), POPL'20 (Web Co-Chair)
Created using Hugo and the Bootstrap theme Litera.
This web page belongs to the Department of Computer Science, Aarhus University.
Copyright © 2013 — 2023 by Amin Timany. All rights reserved.