Section: Dissemination
Promoting Scientific Activities
Scientific events organisation
General chair, scientific chair

K. Chaudhuri and L. Straßburger cochaired 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), 1418 July, Vienna.
Member of the organizing committee
Scientific events selection
Member of the conference program committee

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, 14 September.

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

S. GrahamLengrand was a reviewer for the following conferences:

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 (CSLLICS 2014)


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)

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

Journal
Editorinchief
D. Miller was EditorinChief of the ACM Transactions on Computational Logic.
Member of the editorial board

S. GrahamLengrand 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).