Daniel Leivant Professor of Computer Science and Adjunct Professor of Mathematics and Philosophy Indiana University Bloomington Contact: Email: lastname at indiana period edu Street: 201A Lindley Hall, Bloomington, IN 47405

Recent professional activities

• MFPS'13 Twenty Ninth Conference on Mathematical Foundations of Programming Semantics (Program Committee)
• Ackermann Award (2012, 2013) (Jury)
• CSL'12 Twenty First EACSL Conference on Computer Science Logic (Program Committee)
• MFPS'12 Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics (Program Committee)
• ESSLLI 2013 Fifth European Summer School in Logic, Language and Information (Program Committee)
• LCC Logic and Computational Complexity (Steering Committee)
• LMCS Methods of Logic in Computer Science (Editorial Board)
• WoLLIC Workshops on Logic, language, Information and Computation (Steering Committee)
• CLMPS'11 Fourteenth Congress on Logic, Methodology and Philosophy of Science (Advisory Board)
• CSL'11 Twentieth EACSL Conference on Computer Science Logic (Program Committee)
• DICE'11 International Workshop on Developments in Implicit Computational complexity (Invited Speaker)
• Collegium Logicum 2011 (Invited Speaker)
• Visiting faculty at Loria Nancy (sabbatical 2011) and at the PPS Univresite Paris-Diderot (summer 2012).