Section: Dissemination

Promoting Scientific Activities

Scientific Events: Organisation

General Chair, Scientific Chair

Dale Miller is currently General Chair for the ACM/IEEE Symposium on Logic in Computer Science (LICS).

Member of the Organizing Committees

Dale Miller is member of the Steering Committee for CPP, FSCD, and LFMTP and is a member of the Executive Committee of the ACM Special Interest Group on Logic and Compuation (SIGLOG).

Gabriel Scherer is part of the Steering Committee of the ML Family Workshop and the OCaml Workshop.

Scientific Events: Selection

Chair of Conference Program Committees

Dale Miller was program committee co-chair for the workshop on Logical Frameworks and Meta Languages: Theory and Practice (LFMTP), 2019, Vancouver, Canada.

Member of the Conference Program Committees

• Gabriel Scherer: JFLA 2020.

• Beniamino Accattoli: LSFA 2019.

• Dale Miller is a PC member for the 10th International Joint Conference on Automated Reasoning (IJCAR-2020), the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23), and the Workshop on Trends, Extensions, Applications and Semantics of Logic Programming (TEASE-LP).

Reviewer

• Gabriel Scherer: POPL 2020, ESOP 2020.

• Lutz Straßburger: FoSSaCS 2020, CSL 2020, TABLEAUX 2019, WoLLIC 2019, LICS 2019.

• Beniamino Accattoli: FoSSaCS 2020, POPL 2020, ICALP 2019, ICTAC 2019, PPDP 2019, FSCD 2019, CSL 2019, LSFA 2019.

Journal

Member of the Editorial Boards

Dale Miller is on the editorial board of the Journal of Automated Reasoning (Springer) and the Jounral of Applied Logic (Elsevier). He has also been an editor for a special issue of FSCD 2017 for Logical Methods in Computer Science.

Reviewer - Reviewing Activities

• Lutz Straßburger: APAL, ToCL, BSL, LMCS.

• Beniamino Accattoli: LMCS, TCS.

• Dale Miller has served on the evaluation committee for the EATCS Distinguished Dissertation Award and the EACSL Ackermann Award. He was also the Chair of the Herbrand Award Committee of the Association for Automated Reasoning.

Invited Talks

• Beniamino Accattoli has been invited speaker at FSCD 2019.

• Dale Miller has been an invited speaker at the Workshop on Proof Theory for Automated Deduction, Automated Deduction for Proof Theory (23-25 October 2019, Funchal, Madeira) and the Third Tübingen Conference on Proof-Theoretic Semantics, 27-30 March 2019.

Scientific Expertise

• Lutz Straßburger: reviewer for the Israel Science Foundation.

• Dale Miller has been a member of an international review panel for the Distinguished Professor Grant at the Swedish Research Council.

• Gabriel Scherer: reviewer for ANR.