diff --git a/src/examples.md b/src/examples.md
index b8520ca9..df6c2bc7 100644
--- a/src/examples.md
+++ b/src/examples.md
@@ -2346,7 +2346,23 @@ _This miniapp has only a parallel ([contact-patch-test.cpp](https://github.com/m
+
+
@@ -2492,6 +2508,7 @@ function update()
+ showElement("spde", (diffusion || nonlocal || stochastic) && h1 && galerkin && amg)
+ showElement("dpgminiapp", (diffusion || convectiondiffusion || maxwell || acoustics || wave) && (group2) && (dpg || amr) && (amg || ams || ads || pcg))
+ showElement("tribol", elasticity && h1 && galerkin && (superlu || minres || jacobi))
+ + showElement("contact", elasticity && h1 && galerkin && (pcg || amg))
; // ...end of expression
diff --git a/src/publications.md b/src/publications.md
index 932edd1d..771b0031 100644
--- a/src/publications.md
+++ b/src/publications.md
@@ -11,6 +11,7 @@
1. T. Dzanic, T. Kolev, K. Mittal, [A method for bounding high-order finite element functions: Applications to mesh validity and bounds-preserving limiters](https://www.sciencedirect.com/science/article/pii/S0021999125007260), *Journal of Computational Physics*, 545, 114444, **2026**. Also available as [arXiv:2504.11688](https://arxiv.org/abs/2504.11688).
#### 2025
+ 1. S. Petrides, T. Hartland, T. Kolev, C. S. Lee, M. Puso, J. Solberg, E. B. Chin, J. Wang, C. Petra, [AMG with Filtering: An Efficient Preconditioner for Interior Point Methods in Large-Scale Contact Mechanics Optimization](https://arxiv.org/abs/2505.18576), *in review*, **2025**. Also available as [arXiv:2505.18576](https://arxiv.org/abs/2505.18576).
1. K. Mittal, J.-L. Barrera, T. Kolev, M. Schmidt, V. Tomov, [High-Order Mesh hr-Adaptivity for Surface Fitting to Implicit Geometries](https://link.springer.com/chapter/10.1007/978-3-031-76988-7_18). *Lecture Notes in Computational Science and Engineering*, **2025**.
1. T. Kolev, B. Lazarov, K. Mittal, M. Schmidt, V. Tomov, [PDE-Constrained High-Order Mesh Optimization](https://arxiv.org/pdf/2507.01917), *to appear*, **2025**.
1. J. Andrej, T. Kolev, B. S. Lazarov, [Scalable Analysis and Design Using Automatic Differentiation](https://arxiv.org/abs/2506.00746), *to appear*, **2025**. Also available as [arXiv:2506.00746](https://arxiv.org/abs/2506.00746).
+
+
+This [miniapp](https://github.com/mfem/mfem/blob/master/miniapps/contact/contact.cpp) demonstrates how to use MFEM in combination with [Tribol](https://github.com/LLNL/Tribol)
+ to simulate frictionless contact between deformable solids. The contact gap function and its Jacobian are evaluated using Tribol’s mortar segment-to-segment method (see [Puso and Laursen, 2004](https://doi.org/10.1016/j.cma.2003.10.010)). An **Interior-Point (IP)** optimization solver is used to solve an inequality-constrained minimization problem enforcing a non-penetration condition. Linear systems arising in the IP iterations are solved using **Conjugate Gradient (CG)** preconditioned with the [AMG with Filtering (AMGF)](https://arxiv.org/abs/2505.18576) solver.
+
+Several benchmark problems are provided, including the two-block compression, ironing and beam-sphere tests. These examples illustrate how MFEM and Tribol can be combined to build large-scale scalable simulations of contact mechanics problems.
+
+_This miniapp has only a parallel ([contact.cpp](https://github.com/mfem/mfem/blob/master/miniapps/contact/contact.cpp)) implementation. For more details, please see the documentation in [miniapps/contact/README.md](https://github.com/mfem/mfem/blob/master/miniapps/contact/README.md).
+**We recommend viewing Example 2 and the Tribol miniapp before viewing this miniapp.**_
+
+