![\"Programme](\"https://www.epfl.ch/campus/art-culture/wp-content/uploads/2026/09/LES_CULTURELLES_1920x1080_programme_complet.png\")
\r\n\r\n\r\n\r\nThesis Director: Prof. N. Kavokine,
\r\nPhysics doctoral program
\r\nThesis Nr. 13424
\r\n
\r\nTo take part in the public defense, please contact directly the speaker
Thesis Director: Prof. K. Sivula,
\r\nChemistry and Chemical Engineering doctoral program
\r\nThesis Nr. 11708
\r\n
\r\nTo take part in the public defense, please contact directly the speaker
\r\nYou can apply to participate and find all the relevant information (speakers, abstracts, program,...) on the event website: https://www.cecam.org/workshop-details/from-data-to-dynamics-machine-learning-in-statistical-mechanics-and-molecular-simulations-1487.
\r\n
\r\nRegistration is required to attend the full event, take part in the social activities and present a poster at the poster session (if any). However, the EPFL community is welcome to attend specific lectures without registration if the topic is of interest to their research. Do not hesitate to contact the CECAM Event Manager if you have any question.
\r\n
\r\nDescription
\r\nSince its introduction in the 1970s, molecular dynamics (MD) has become an indispensable computational microscope for studying complex biological systems at atomic resolution. It has enabled detailed investigations into protein folding, conformational dynamics, and ligand binding and unbinding. Over the past decade, increasing computational power has made microsecond-scale simulations routine, producing massive datasets that demand sophisticated analysis strategies [1]. Despite these advances, conventional MD simulations still face a fundamental limitation: many biologically relevant events occur over milliseconds to seconds—timescales largely inaccessible to standard MD.
\r\nTo bridge this gap, researchers increasingly turn to enhanced sampling techniques—such as metadynamics and umbrella sampling [2,3]—and coarse-grained (CG) modeling approaches [4]. These methods enable more comprehensive exploration of the system’s free energy landscape, yet their success critically depends on the selection of appropriate reaction coordinates or collective variables (CVs). CVs must capture the slowest, most functionally relevant motions to accurately reflect thermodynamic and kinetic behavior. However, identifying suitable CVs remains one of the field’s most challenging tasks, typically requiring domain expertise and iterative refinement [5, 6].
\r\nThis complexity has fueled growing interest in machine learning (ML) techniques, which are now transforming how MD simulations are analyzed, interpreted, and even conducted. ML methods have been applied to automate CV discovery, perform dimensionality reduction, build thermodynamic and kinetic models, and enhance sampling efficiency [7]. These models often employ artificial neural networks or graph neural networks to map high-dimensional molecular configurations—such as Cartesian coordinates or molecular descriptors—into low-dimensional representations suitable for analysis [8].
\r\nDepending on the structure and type of data, ML algorithms can be broadly categorized into supervised, unsupervised, and reinforcement learning paradigms [9]. Supervised learning uses labeled input-output pairs to predict properties such as molecular energies or binding affinities [10], while unsupervised learning enables the identification of latent features, such as CVs, directly from data [11].
\r\nA cornerstone of modern ML-driven simulation is the development of symmetry-aware molecular representations. The predictive power of ML models hinges on encoding physical symmetries—like rotation and translation—directly into the model. E(3)-equivariant neural networks have emerged as powerful tools for this purpose, significantly improving data efficiency and generalization in learning potential energy surfaces [12]. Ongoing research continues to explore the optimal balance between enforcing strict symmetry and retaining model flexibility.
\r\nMeanwhile, breakthroughs in structural prediction—most notably the advent of AlphaFold 3—have revolutionized how researchers obtain initial molecular configurations. AlphaFold now provides remarkably accurate models of not only proteins but also their complexes with nucleic acids, ions, and small-molecule ligands [13]. However, these are static snapshots. They cannot capture dynamic behaviors, allosteric transitions, or binding kinetics—areas where physics-based simulations remain indispensable. Initial benchmarks suggest that even state-of-the-art predictors still fall short in modeling protein dynamics and ranking ligand binding affinities, further emphasizing the role of MD [14].
\r\nTo address the dimensionality and sampling bottlenecks, unsupervised ML approaches such as time-lagged autoencoders have reframed CV identification as a data-driven task. More recently, generative models—including diffusion models and variational autoencoders—have emerged as a new frontier. These models can learn the full conformational landscape of biomolecules and enable enhanced sampling, in some cases eliminating the need for predefined CVs altogether [15].
\r\nOnce accurate structural models and CVs are established, ML can significantly improve the estimation of thermodynamic and kinetic properties. In drug discovery, for instance, predicting protein–ligand binding affinity remains a central challenge. ML potentials trained on quantum mechanical data can be combined with enhanced sampling to yield highly accurate free energy landscapes and binding kinetics—results previously unattainable due to computational limitations [16]. However, challenges in data quality, model interpretability, and transferability remain critical areas of ongoing investigation [17].
\r\nFinally, ML is driving a renaissance in CG modeling. Deep neural networks can now learn many-body CG potentials directly from all-atom simulations, capturing emergent properties and enhancing transferability [18]. These models open the door to longer, larger-scale simulations with greater physical accuracy.
\r\nIn this rapidly evolving context, it becomes imperative to critically assess both the promise and limitations of ML in biomolecular simulation. The excitement surrounding these developments must be tempered by careful validation and benchmarking. This workshop thus serves as a timely opportunity—especially for early-career researchers—to explore these cutting-edge methods, engage in constructive dialogue, and chart new directions in the application of machine learning to molecular dynamics and drug discovery.
\r\n
\r\nReferences
\r\n
\r\n[1] J. Behler, M. Parrinello, Phys. Rev. Lett., 98, 146401 (2007)
\r\n[2] P. Sahrmann, G. Voth, Current Opinion in Structural Biology, 90, 102972 (2025)
\r\n[3] K. Kříž, L. Schmidt, A. Andersson, M. Walz, D. van der Spoel, J. Chem. Inf. Model., 63, 412-431 (2023)
\r\n[4] K. Ahmad, A. Rizzi, R. Capelli, D. Mandelli, W. Lyu, P. Carloni, Front. Mol. Biosci., 9, (2022)
\r\n[5] S. Mehdi, Z. Smith, L. Herron, Z. Zou, P. Tiwary, Annual Review of Physical Chemistry, 75, 347-370 (2024)
\r\n[6] H. Zheng, H. Lin, A. Alade, J. Chen, E. Monroy, M. Zhang, J. Wang, AlphaFold3 in Drug Discovery: A Comprehensive Assessment of Capabilities, Limitations, and Applications, 2025
\r\n[7] J. Abramson, J. Adler, J. Dunger, R. Evans, T. Green, A. Pritzel, O. Ronneberger, L. Willmore, A. Ballard, J. Bambrick, S. Bodenstein, D. Evans, C. Hung, M. O’Neill, D. Reiman, K. Tunyasuvunakool, Z. Wu, A. Žemgulytė, E. Arvaniti, C. Beattie, O. Bertolli, A. Bridgland, A. Cherepanov, M. Congreve, A. Cowen-Rivers, A. Cowie, M. Figurnov, F. Fuchs, H. Gladman, R. Jain, Y. Khan, C. Low, K. Perlin, A. Potapenko, P. Savy, S. Singh, A. Stecula, A. Thillaisundaram, C. Tong, S. Yakneen, E. Zhong, M. Zielinski, A. Žídek, V. Bapst, P. Kohli, M. Jaderberg, D. Hassabis, J. Jumper, Nature, 630, 493-500 (2024)
\r\n[8] Fabian B. Fuchs, Daniel E. Worrall, Volker Fischer, Max Welling, NIPS'20: Proceedings of the 34th International Conference on Neural Information Processing Systems, Article No.: 166, Pages 1970 - 1981 (2020)
\r\n[9] H. Sidky, W. Chen, A. Ferguson, Molecular Physics, 118, (2020)
\r\n[10] Y. Wang, J. Lamim Ribeiro, P. Tiwary, Current Opinion in Structural Biology, 61, 139-145 (2020)
\r\n[11] K. Butler, D. Davies, H. Cartwright, O. Isayev, A. Walsh, Nature, 559, 547-555 (2018)
\r\n[12] F. Noé, A. Tkatchenko, K. Müller, C. Clementi, Annu. Rev. Phys. Chem., 71, 361-390 (2020)
\r\n[13] S. Kaptan, I. Vattulainen, Advances in Physics: X, 7, (2022)
\r\n[14] V. Limongelli, WIREs. Comput. Mol. Sci., 10, (2020)
\r\n[15] A. Glielmo, B. Husic, A. Rodriguez, C. Clementi, F. Noé, A. Laio, Chem. Rev., 121, 9722-9758 (2021)
\r\n[16] A. Pak, G. Voth, Current Opinion in Structural Biology, 52, 119-126 (2018)
\r\n[17] M. Lelimousin, V. Limongelli, M. Sansom, J. Am. Chem. Soc., 138, 10611-10622 (2016)
\r\n[18] C. Abrams, G. Bussi, Entropy, 16, 163-199 (2013)\r\n
This talk is meant to give an overview of the semantics of HoTT in (∞,1)-categories, tackling the key challenge of rigidification: the process of bridging homotopy-coherent notions phrased in models of higher categories such as quasicategories, and their type-theoretical counterparts that must account for the inherent strictness of type theory.
\r\nAfter quickly recalling the usual categorical semantics of extensional Martin-Löf type theory within locally cartesian closed category, the plan is to present some useful ideas to carry over some of the argument to the higher setting. Specifically, I will discuss the process of turning an elementary higher topos into a model of HoTT, and sketch important ideas used to prove the internal language conjecture for locally cartesian closed (∞,1)-categories.
\r\n
\r\n
\r\n\r\nThesis Director: Prof. M. A. Ionescu,
\r\nMicrosystems and Microelectronics doctoral program
\r\nThesis Nr. 11204
\r\n
\r\nTo take part in the public defense, please contact directly the speaker