Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

General chair, scientific chair

• K. Chaudhuri and L. Straßburger co-chaired the 3rd International Workshop on Structures and Deduction (SD), which was associated with the Federated Logic Colloquium (FLoC) and part of the Vienna Summer of Logic (VSL 2014), Vienna, Austria.

• D. Miller was a PC chair for the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL14) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS14), 14-18 July, Vienna.

Member of the organizing committee

• K. Chaudhuri was Publicity co-chair for CSL-LICS 2014.

Scientific events selection

Member of the conference program committee

• K. Chaudhuri was on the Program Committees of:

  • 30th International Conference on Logic Programming (ICLP)

  • 4th ACM-SIGPLAN Conference on Certified Programs and Proofs (CPP)

  • 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP)

  • 3rd International Workshop on Linearity

• D. Ilik was on the Program Committee of the 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014), Canterbury, United Kingdom.

• D. Miller was on the Program Committee of WoLLIC 2014: Workshop on Logic, Language, Information and Computation, Valparaiso Chile, 1-4 September.

• L. Straßburger was the Program Committee of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS).

Reviewer

• S. Graham-Lengrand was a reviewer for the following conferences:

  • International Joint Conference on Automated Reasoning (IJCAR 2014)

  • Conferences on Intelligent Computer Mathematics (CICM 2014).

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

  • 7th International Joint Conference on Automated Reasoning (IJCAR 2014)

  • 41st International Colloquium on Automata, Languages and Programming (ICALP 2014)

  • Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS 2014)

• F. Lamarche was a reviewer for the following conferences:

  • Joint International Conferences, Rewriting Techniques and Applications, Typed Lambda Calculus and Applications (RTA - TLCA 2014)

  • 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS).

• D. Ilik was a reviewer for the following conferences:

  • 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014), Canterbury, United Kingdom

  • 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015)

  • 20th Conference "Types for Proofs and Programs" (TYPES 2014)

  • 24th European Symposium on Programming (ESOP 2015)

  • Joint International Conferences, Rewriting Techniques and Applications, Typed Lambda Calculus and Applications (RTA - TLCA 2014)

Journal

Editor-in-chief

D. Miller was Editor-in-Chief of the ACM Transactions on Computational Logic.

Member of the editorial board

• S. Graham-Lengrand was guest editor for the special issue on computational logic in honour of Roy Dyckhoff, in the Journal of Logic and Computation (2014) [29]

• 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

• S. Graham-Lengrand was a reviewer for the following journals:

  • Logic Journal of the IGPL (OUP)

  • Information and Computation (Elsevier)

  • Acta Informatica (Springer)

  • Theoretical Computer Science (Elsevier).

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

  • Archive for Mathematical Logic (Springer)

  • ACM Transactions on Computational Logic (ACM-ToCL)

• F. Lamarche was reviewer for the following journal:

  • Annals of Pure and Applied Logic (Elsevier).

• D. Ilik was reviewer for the following journals:

  • Logic Journal of the IGPL (OUP)

  • Mathematical Reviews (MathSciNet)

  • Theoretical Computer Science (Elsevier)

  • Zentralblatt MATH

• D. Miller was reviewer for the Studia Logica journal.