Latest at IMS


Call for Pre-ProposalsCall for Pre-Posals


Public Lecture: The Automated-Reasoning Revolution: From Theory to Practice and Back
Free admission. No registration required.



Automata, Logic and Games


Workshop on Mathematics of Information - Theoretic Cryptography


Higher Dimensional Algebraic Geometry, Holomorphic Dynamics and Their Interactions


Complex Geometry, Dynamical Systems and Foliation Theory


LNS - Vol. 32 Mathemusical Conversations Mathematics and Computation in Music Performance and Composition


IMPRINT - Issue 27 - Jan - Jun 2016


Best viewed with IE 7 and above