Functional programming with bananas, lenses, envelopes and barbed wire

We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs. We shall show that all example functions in Bird and Wadler's Introduction to Functional Programming can be expressed using these operators

Status and prospects for BSM ( (N)MSSM) Higgs searches at the LHC

Searches for Beyond the Standard Model Higgs processes in the context of Minimal Supersymmetric Standard Model and Next to MSSM are presented. The results are based on the first LHC run of pp collision data recorded by the ATLAS and CMS experiments at the CERN Large Hadron Collider at centre-of-mass energies of 7 and 8 TeV, corresponding to integrated luminosities of about 5 and 20 fb$^{-1}$ respectively. Current searches constrain large parts of the parameter space. No evidence for BSM Higgs is found.Comment: Talk presented at the International Workshop on Future Linear Colliders (LCWS15), Whistler, Canada, 2-6 November 201

LHC Higgs Boson searches

A summary of the Higgs boson searches by the ATLAS and CMS collabrations using 1 f b-1 of LHC data is presented, concentrating on the Standard Model Higgs boson. Both experiments have the sensitivity to exclude at 95% CL a Standard Model Higgs boson in most of the Higgs boson mass region between about 130 GeV and 400 GeV. The observed data allow the exclusion of a Higgs Boson of mass 155 GeV to 190 GeV and 295 GeV to 450 GeV (ATLAS) and 149 GeV to 206 GeV and 300 GeV to 440 GeV (CMS). The lower limits are not as constraining as might be expected due to an excess in both experiments of order 2-3{\sigma} which could be related to a low mass Higgs boson or to a statistical fluctuation.Comment: EPS Conference Proceeding

Probing Lepton Flavor Violation at the 13 TeV LHC

We investigate the bounds on tau-mu lepton flavor violation (LFV). Our main focus is on the collider constrains on tau-mu LFV. We use the Type-III Two-Higgs-Doublet-Model (2HDM) as a set up for our study. While the LFV branching fraction of the 125 GeV is well constrained by current LHC searches, the heavier neutral states could have a large branching fraction to tau and muon. We estimate the LHC reach for the 13 TeV center of mass energy with 300 $\text{fb}^{-1}$ luminosity for a neutral boson decaying into a tau and a muon. We identify parts of the LFV parameter space where the searches for heavy scalar and pseudoscalar decaying into a tau and a muon are more sensitive than the similar search for the 125 GeV boson.Comment: 29 + 3 pages, 23 figures. Version 2 expanded discussion of low energy constraints and added more references. Matched the JHEP versio

Solar Neutrinos: Where We Are, Where We Are Going

This talk answers a series of questions. Why study solar neutrinos? What does the combined standard model (solar plus electroweak) predict for solar neutrinos? Why are the calculations of neutrino fluxes robust? What are the three solar neutrino problems? What have we learned in the first thirty years of solar neutrino research? For the next decade, what are the most important solvable problems in the physics of solar neutrinos? What are the most important problems in the astrophysics of solar neutrinos?Comment: uuencoded Z-compressed postscript file; 36 pages with figures. To be published in the Astrophysical Journa

Students Watching Stars Evolve

We describe a study of period changes in 59 RR Lyrae stars, using times of maximum brightness from the GEOS database. The work was carried out by outstanding senior high school students in the University of Toronto Mentorship Program. This paper is written in such a way that high school or undergraduate physics and astronomy students could use it as a guide and template for carrying out original research, by studying period changes in these and other types of variable stars