## Section: Dissemination

### Scientific Animation

#### Organization

Dale Miller served as Program Committee Chair for the following three meetings: CPP 2012: Second International Conference on Certified Programs and Proofs, 13-15 December, Kyoto, Japan; IJCAR 2012: International Joint Conference on Automated Reasoning, Manchester, UK, June; FICS 2012: Fixed Points in Computer Science (a satellite workshop of ETAPS 2012), Tallinn, Estonia, 24 March.

Dale Miller served on the Program Committees of the following three meetings: LFMTP’12: Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 9 September, Copenhagen, Denmark; LAM 2012: Fifth International Workshop on Logics, Agents, and Mobility, June, Hamburg, Germany; LPAR-18: The 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Merida, Venezuela, 11-15 March.

Dale Miller organized the Special Session on Structural Proof Theory and Computing at the 2012 Annual Meeting of the Association of Symbolic Logic (ASL), Madison, Wisconsin, 31 March - 3 April.

Kaustuv Chaudhuri and Stefan Hetzl organized the Collegium Logicum 2012 workshop at Inria Saclay during 15–16 November

Kaustuv Chaudhuri and Brigitte Pientka organized the RAPT/PROMIS workshop in Montreal, Canada, during 14–18 October

#### Invited Talks

Dale Miller gave an invited talk at the Journees nationales du GDR-IM, 25-26 January 2012, University of Paris 7.

Dale Miller gave an invited talk at the ANR-DFG Hypothese Workshop titled Different Aspects of Proof Theory, ENS Paris, 3 May 2012.

Dale Miller gave research talks at the following venues: Summer Workshop on Proof Theory, Pisa, Italy, 12-15 June; CHocCoLa seminar, ENS Lyon, 15 March; Workshop on Certificates and Computation, ITU Copenhagen, 12 March; Department of Mathematics, Carnegie Mellon University, 5 April.