Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

D. Miller is the General Chair of LICS (Logic In Computer Science), starting July 2018.

Member of the Organizing Committees

D. Miller is on the Steering Committee for the FSCD conference series and the CPP conference series.

D. Miller is a member of the SIGLOG advisory board, starting November 2015.

Scientific Events Selection

Chair of Conference Program Committees

B. Accattoli co-chaired LSFA 2018: 13th Workshop on Logical and Semantic Frameworks with Applications, Fortaleza, Brazil, September 26-28, 2018.

G. Scherer chaired ML2018: the ML Family Workshop 2018 in Saint Louis, US, on Friday September 28th 2018.

L. Straßburger chaired TYDI 2018: Workshop on “Twenty Years of Deep Inference” in Oxford July 7, 2018.

Member of the Conference Program Committees

B. Accattoli was on the PPDP 2018 Program Committe: 20th International Symposium on Principles and Practice of Declarative Programming, Frankfurt, Germany, 3–5 September 2018.

S. Graham-Lengrand was on the LFMTP 2018 Program Comittee: Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Oxford, UK, 7 July 2018.

L. Straßburger was on the PC for LACompLing 2018: Symposium on Logic and Algorithms in Computational Linguistics, Stockholm, 28–31 August 2018

D. Miller was on the program committee for IJCAR-2018: 9th International Joint Conference on Automated Reasoning, Oxford, 14-17 July 2018.

D. Miller was a member of the jury for selecting the 2018 Ackermann Award (the EACSL award for outstanding doctoral dissertation in the field of Logic in Computer Science).

Member of the EATCS Distinguished Dissertation Award Committee since March 2013.

G. Scherer was on the POPL 2019 Program Committee: Principles Of Programming Languages, 13-19 January 2019 Cascais/Lisbon, Portugal

Reviewer

G. Scherer reviewed for Computer Science Logic (CSL).

L. Straßburger was reviewer for the following conferences:

• LICS 2018

• IJCAR 2018

• FSCD 2018

• AiML 2018

• ARQNL 2018

B. Accattoli reviewed for LICS 2018, FSCD 2018, PPDP 2018, LSFA 2018.

Journal

Member of the Editorial Boards

D. Miller is on the editorial board of the following journals:

• Journal of Automated Reasoning

• Journal of Applied Logics

Reviewer - Reviewing Activities

G. Scherer reviewed for Mathematical Structures in Computer Science (MSCS).

L. Straßburger was reviewer for the following journals:

• Transactions on Computational Logic, ToCL (2x)

• Logical Methods in Computer Science, LMCS

• Mathematical Structures in Computer Science, MSCS

• Journal of Logic, Language and Information, JLLI

• Journal of Automated Reasoning, JAR

• Notre Dame Journal of Formal Logic, NDJFL

B. Accattoli reviewed for Logical Methods in Computer Science (LMCS) and Theoretical Computer Science (TCS).

Invited Talks

S. Graham-Lengrand gave an invited talk at the JFLA 2018 (January), and an invited lecture series at the 8th Summer School on Formal Techniques (May).

B. Accattoli gave an invited talk at the IFIP Working Group 1.6: Rewriting on July 8 2018 in Oxford, Uk.

D. Miller was an invited speaker and panelist at the Workshop on Proof Theory and its Applications, 6–7 September 2018 in Ghent, Beligum.

D. Miller gave a colloquim talk at the Technical University of Vienna on 31 October 2018 and at the Cyber Security Lab, NTU, Singapore, 21 March 2018.

Scientific Expertise

G. Scherer participated to a scientific expertise of the implementation of the Tezos blockchain – implemented in OCaml.

Research Administration

L. Straßburger was reviewer for the NWO (Netherlands Organisation for Scientific Research).