Section: Dissemination
Promoting Scientific Activities
Scientific Events Organisation
Member of the Organizing Committees

D. Miller was on the Steering Committee for the FSCD series of International Conference on Formal Structures for Computation and Deduction.

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

D. Miller was an ex officio member of the Executive Committee of the ACM Special Interest Group on Logic and Compuation (SIGLOG), from April 2014 to June 2016. He was also a member of the SIGLOG advisory board, starting November 2015.
Scientific Events Selection
Member of the Conference Program Committees

D. Miller was on the Program Committee of the following meetings.

FSCD’16: First International Conference on Formal Structures for Computation and Deduction, Porto, Portugal, 2226 June.

IJCAR 2016: International Joint Conference on Automated Reasoning, Coimbra, Portugal, 27 June  2 July.

CPP 2016, Fifth International Conference on Certified Programs and Proofs, 1819 January, Saint Petersburg, Florida.


B. Accattoli was one of the two Program Committee chairs of the 5th International Workshop on Confluence (IWC 2016).

N. Zeilberger served on the program committee for workshops Computational Logic and Applications (CLA 2016) and Off the Beaten Track (OBT 2016).

N. Zeilberger served on external review committee for POPL 2017
Reviewer

D. Miller was a reviewer for CONCUR 2016: the International Conference on Concurrency Theory.

B. Accattoli was a reviewer for the international conferences ICTAC 2016, FSCD 2016, LICS 2016 (twice), FOSSACS 2017.

S. GrahamLengrand was a reviewer for the international conferences FSCD 2016 (twice), LICS 2016 (three times), Concur 2016, VSTTE 2017, HATT 2017, FSTTCS 2017.

L. Straßburger was a reviewer for the international conferences LICS 2016 (8 times), FLOPS 2016.

M. Volpe was a reviewer for the international conferences IJCAR 2016 and CSL 2016.

H. Steele was a reviewer for the internal conference LICS 2016.
Journal
Member of the editorial boards

D. Miller is on the editorial board of the following journals: ACM Transactions on Computational Logic, Journal of Automated Reasoning (Springer), Theory and Practice of Logic Programming (Cambridge University Press), and Journal of Applied Logic (Elsevier).
Reviewer  Reviewing Activities

S. GrahamLengrand has been a reviewer for the journals Fundamenta Informaticae, Transactions on Computational Logic, Journal of Logic and Computation, Logical Methods in Computer Science, Journal of Automated Reasoning.

Danko Ilik was a reviewer for Mathematical Reviews and Zentralblatt MATH.

F. Lamarche was a reviewer for Mathematical Structures in Computer Science.

Lutz Straßburger was a reviewer for the journals Theoretical Computer Science and Logical Methods in Computer Science.

Marco Volpe was a reviewer for the journal Annals of Mathematics and Artificial Intelligence.

Beniamino Accattoli was a reviewer for the journals Theoretical Computer Science and Logical Methods in Computer Science.
Invited Talks

D. Miller was an invited speaker at the following conferences and workshops.

Workshop on linear logic, mathematics and computer science as part of “LL2016Linear Logic: interaction, proofs and computation”, 710 November 2016, Lyon. France.

CIPPMI (Current issues in the philosophy of practice of mathematics and informatics) Workshop on Proofs, justifications and certificates. 34 June 2016, Toulouse, France.

TYPES 2016: 22nd International Conference on Types for Proofs and Programs. Novi Sad, Serbia, 2326 May 2016.


D. Miller was an invited speaker at the research seminar titled “Interactions between logic, computer science and linguistics: history and philosophy”, Université de Lille 3, 15 June 2016.

D. Miller was an invited speaker at the ACADIA research centre, Ca’ Foscari University, Venice, 27 April 2016.

B. Accattoli was invited speaker at WPTE 2016: 3rd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (Porto, 23 June 2016).

S. GrahamLengrand gave an invited talk at CLAM 2016: 5th Latin American Congress of Mathematicians, thematic session on Logic and Computability (Barranquilla, Colombia, 15th July 2016).

N. Zeilberger was an invited lecturer at OPLSS 2016: Oregon Programming Languages Summer School on Types, Logic, Semantics, and Verification.
Leadership within the Scientific Community

D. Miller was a member of the ACM SIGLOG Advisory Board, the LICS Organizing Board, the CPP Steering Committee, and the ACM SIGLOG Executive Committee Nominating Committee.

S. GrahamLengrand is the head of the National Workgroup on “Logic, Algebra, and Computation”, within the Informatique Mathématique section of CNRS.