The MAGIC Experiment and Its First Results

With its diameter of 17m, the MAGIC telescope is the largest Cherenkov detector for gamma ray astrophysics. It is sensitive to photons above an energy of 30 GeV. MAGIC started operations in October 2003 and is currently taking data. This report summarizes its main characteristics, its rst results and its potential for physics.Comment: 6 pages, 3 figures, to be published in the Proceedings of the 6th International Symposium ''Frontiers of Fundamental and Computational Physics'' (FFP6), Udine (Italy), Sep. 26-29, 200

Insights into the particle acceleration of a peculiar gamma -ray radio galaxy IC 310

IC 310 has recently been identified as a gamma-ray emitter based on observations at GeV energies with Fermi-LAT and at very high energies (VHE, E > 100 GeV) with the MAGIC telescopes. Despite IC 310 having been classified as a radio galaxy with the jet observed at an angle > 10 degrees, it exhibits a mixture of multiwavelength properties of a radio galaxy and a blazar, possibly making it a transitional object. On the night of 12/13th of November 2012 the MAGIC telescopes observed a series of violent outbursts from the direction of IC 310 with flux-doubling time scales faster than 5 min and a peculiar spectrum spreading over 2 orders of magnitude. Such fast variability constrains the size of the emission region to be smaller than 20% of the gravitational radius of its central black hole, challenging the shock acceleration models, commonly used in explanation of gamma-ray radiation from active galaxies. Here we will show that this emission can be associated with pulsar-like particle acceleration by the electric field across a magnetospheric gap at the base of the jet.Comment: 2014 Fermi Symposium proceedings - eConf C14102.

Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo

This articles is a structured bibliography on theorem provers, approaches to theorem proving, and theorem proving applications inspired from Satchmo, the model generation theorem prover developed in the mid 80es of the 20th century at ECRC, the European Computer- Industry Research Centre. Note that the bibliography given in this article is not exhaustive

A review of the past and present MAGIC dark matter search program and a glimpse at the future

The MAGIC TeV gamma-ray telescopes have devoted several hundreds hour of observation time in about a decade, to hunt for particle dark matter indirect signatures in gamma rays, from various candidate targets of interest in the sky: the galactic center, satellite galaxies, galaxy clusters and unidentified objects in other bands. Despite the effort, no hints are present in MAGIC data. These observation are nevertheless not unusable. MAGIC indeed derived the most robust upper limits in the TeV range than any other instrument. These results, for the time being, only mildly constrain some classic dark matter models, but are of use in the construction of dark matter models for the next searches, that consider also the negative results from accelerator and direct-detection experiments. In the contribution, we discuss and review MAGIC results, putting them into context, and in perspective with the next generation of ground-based Cherenkov telescopes. We will briefly inform about future MAGIC projects regarding dark matter searches.Comment: XXV ECRS 2016 Proceedings - eConf C16-09-04.