Results from the LHC put severe constraints on models of new physics. This includes constraints on the Higgs sector from the precise measurement of the mass and couplings of the 125GeV Higgs boson, as well as limits from searches for other new particles. We present the procedure to use these constraints in micrOMEGAs by interfacing it to the external codes Lilith, HiggsSignals, HiggsBounds and SModelS. A few dedicated modules are also provided. With these new features, micrOMEGAs_4.3 provides a generic framework for evaluating dark matter observables together with collider and non-collider constraints.

Limits on dark matter spin dependent elastic scattering cross section on protons derived from IceCube data are obtained for different dark matter annihilation channels using micrOMEGAs. The uncertainty on the derived limits, estimated by using different neutrino spectra, can reach a factor two. For all dark matter annihilation channels except for quarks, the limits on the spin dependent cross section are more stringent than those obtained in direct detection experiments. The new functions that allow to derive those limits are described.

The U(1) extended supersymmetric standard model (UMSSM) can accommodate a Higgs boson at 125 GeV without relying on large corrections from the top/stop sector. After imposing LHC results on the Higgs sector, on B-physics and on new particle searches as well as dark matter constraints, we show that this model offers two viable dark matter candidates, the right-handed (RH) sneutrino or the neutralino. Limits on supersymmetric partners from LHC simplified model searches are imposed using SModelS and allow for light squarks and gluinos. Moreover the upper limit on the relic abundance often favours scenarios with long-lived particles. Searches for a Z' at the LHC remain the most unambiguous probes of this model. Interestingly, the D-term contributions to the sfermion masses allow to explain the anomalous magnetic moment of the muon in specific corners of the parameter space with light smuons or left-handed (LH) sneutrinos. We finally emphasize the interplay between direct searches for dark matter and LHC simplified model searches.

We present the activities of the "New Physics" working group for the "Physics at TeV Colliders" workshop (Les Houches, France, 30 May-17 June, 2011). Our report includes new agreements on formats for interfaces between computational tools, new tool developments, important signatures for searches at the LHC, recommendations for presentation of LHC search results, as well as additional phenomenological studies.

We investigate the parameter space of a supersymmetric model with an extended U(1) gauge symmetry in which the RH sneutrino is a thermal dark matter candidate. In this scenario, annihilation of RH sneutrinos proceeds mainly through Higgs or Z' exchange. We find that sneutrinos in the mass range from 50GeV to more than 1 TeV can be consistent with both the WMAP limit and the direct detection upper limits. Powerful constraints from new gauge boson searches at the LHC as well as from $\Delta M_s$ are incorporated. Depending on the choice of the U(1) charge, these scenarios will be further probe by direct dark matter searches as well as by Higgs searches at the LHC.