Automated one-loop computations in the SMEFT

We present the automation of one-loop computations in the standard-model effective field theory at dimension 6. Our general implementation, dubbed smeft@nlo, covers all types of operators: bosonic and two- and four-fermion ones. Included ultraviolet and rational counterterms presently allow for fully differential predictions, possibly matched to the parton shower, up to the one-loop level in the strong coupling or in four-quark operator coefficients. Exact flavor symmetries are imposed among light quark generations, and an initial focus is set on top-quark interactions in the fermionic sector. We illustrate the potential of this implementation with novel loop-induced and next-to-leading-order computations relevant for top-quark, electroweak, and Higgs-boson phenomenology at the LHC and future colliders.