English
Related papers

Related papers: IceCube Collaboration Contributions to ARENA 2008

200 papers

This volume contains the papers presented at WLPE 2008: the 18th Workshop on Logic-based Methods in Programming Environments held on 12th December, 2008 in Udine, Italy. It was held as a satellite workshop of ICLP 2008, the 24th…

Programming Languages · Computer Science 2009-10-02 Puri Arenas , Damiano Zanardini

The IceCube Neutrino Observatory is an array of 5,160 photomultipliers (PMTs) deployed on 86 strings at 1.5-2.5 km depth within the ice at the South Pole. The main goal of the IceCube experiment is the detection of an astrophysical neutrino…

High Energy Astrophysical Phenomena · Physics 2019-08-13 Juan A. Aguilar

IceCube is a 1 km^3 neutrino detector now being built at the Amundsen-Scott South Pole Station. It consists of 4800 Digital Optical Modules (DOMs) which detect Cherenkov radiation from the charged particles produced in neutrino…

Instrumentation and Detectors · Physics 2019-08-13 Spencer R. Klein

The IceCube-Gen2 Neutrino Observatory is proposed to extend the all-flavour energy range of IceCube beyond PeV energies. It will comprise two key components: I) An enlarged 8$\,$km$^3$ in-ice optical Cherenkov array to measure the…

High Energy Astrophysical Phenomena · Physics 2023-08-03 Felix Schlüter , Simona Toscano

The recent association between IC-170922A and the blazar TXS0506+056 highlights the importance of real-time observations for identifying possible astrophysical neutrino sources. Thanks to its near-100\% duty cycle, 4$\pi$ steradian field of…

High Energy Astrophysical Phenomena · Physics 2019-09-13 Kevin Meagher , Alex Pizzuto , Justin Vandenbroucke

The IceCube Neutrino Observatory actively participates in multimessenger follow-ups of gravitational-wave (GW) events. With the release of the Gravitational-Wave Transient Catalogue (GWTC)-2.1 and -3, the sub-threshold GW event information…

High Energy Astrophysical Phenomena · Physics 2025-09-17 Tista Mukherjee

Contributions of the Pierre Auger Collaboration to the 34th International Cosmic Ray Conference, 30 July - 6 August 2015, The Hague, The Netherlands

High Energy Astrophysical Phenomena · Physics 2015-09-15 The Pierre Auger Collaboration , A. Aab , P. Abreu , M. Aglietta , E. J. Ahn , I. Al Samarai , I. F. M. Albuquerque , I. Allekotte , P. Allison , A. Almela , J. Alvarez Castillo , J. Alvarez-Muñiz , R. Alves Batista , M. Ambrosio , A. Aminaei , G. A. Anastasi , L. Anchordoqui , S. Andringa , C. Aramo , F. Arqueros , N. Arsene , H. Asorey , P. Assis , J. Aublin , G. Avila , N. Awal , A. M. Badescu , C. Baus , J. J. Beatty , K. H. Becker , J. A. Bellido , C. Berat , M. E. Bertaina , X. Bertou , P. L. Biermann , P. Billoir , S. G. Blaess , A. Blanco , M. Blanco , J. Blazek , C. Bleve , H. Blümer , M. Boháčová , D. Boncioli , C. Bonifazi , N. Borodai , J. Brack , I. Brancus , T. Bretz , A. Bridgeman , P. Brogueira , P. Buchholz , A. Bueno , S. Buitink , M. Buscemi , K. S. Caballero-Mora , B. Caccianiga , L. Caccianiga , M. Candusso , L. Caramete , R. Caruso , A. Castellina , G. Cataldi , L. Cazon , R. Cester , A. G. Chavez , A. Chiavassa , J. A. Chinellato , J. Chudoba , M. Cilmo , R. W. Clay , G. Cocciolo , R. Colalillo , A. Coleman , L. Collica , M. R. Coluccia , R. Conceição , F. Contreras , M. J. Cooper , A. Cordier , S. Coutu , C. E. Covault , J. Cronin , R. Dallier , B. Daniel , S. Dasso , K. Daumiller , B. R. Dawson , R. M. de Almeida , S. J. de Jong , G. De Mauro , J. R. T. de Mello Neto , I. De Mitri , J. de Oliveira , V. de Souza , L. del Peral , O. Deligny , N. Dhital , C. Di Giulio , A. Di Matteo , J. C. Diaz , M. L. Díaz Castro , F. Diogo , C. Dobrigkeit , W. Docters , J. C. D'Olivo , A. Dorofeev , Q. Dorosti Hasankiadeh , R. C. dos Anjos , M. T. Dova , J. Ebr , R. Engel , M. Erdmann , M. Erfani , C. O. Escobar , J. Espadanal , A. Etchegoyen , H. Falcke , K. Fang , G. Farrar , A. C. Fauth , N. Fazzini , A. P. Ferguson , B. Fick , J. M. Figueira , A. Filevich , A. Filipčič , O. Fratu , M. M. Freire , T. Fujii , B. García , D. García-Gámez , D. Garcia-Pinto , F. Gate , H. Gemmeke , A. Gherghel-Lascu , P. L. Ghia , U. Giaccari , M. Giammarchi , M. Giller , D. Głas , C. Glaser , H. Glass , G. Golup , M. Gómez Berisso , P. F. Gómez Vitale , N. González , B. Gookin , J. Gordon , A. Gorgi , P. Gorham , P. Gouffon , N. Griffith , A. F. Grillo , T. D. Grubb , F. Guarino , G. P. Guedes , M. R. Hampel , P. Hansen , D. Harari , T. A. Harrison , S. Hartmann , J. L. Harton , A. Haungs , T. Hebbeker , D. Heck , P. Heimann , A. E. Hérve , G. C. Hill , C. Hojvat , N. Hollon , E. Holt , P. Homola , J. R. Hörandel , P. Horvath , M. Hrabovský , D. Huber , T. Huege , A. Insolia , P. G. Isar , I. Jandt , S. Jansen , C. Jarne , J. A. Johnsen , M. Josebachuili , A. Kääpä , O. Kambeitz , K. H. Kampert , P. Kasper , I. Katkov , B. Keilhauer , E. Kemp , R. M. Kieckhafer , H. O. Klages , M. Kleifges , J. Kleinfeller , R. Krause , N. Krohm , D. Kuempel , G. Kukec Mezek , N. Kunka , A. W. Kuotb Awad , D. LaHurd , L. Latronico , R. Lauer , M. Lauscher , P. Lautridou , S. Le Coz , D. Lebrun , P. Lebrun , M. A. Leigui de Oliveira , A. Letessier-Selvon , I. Lhenry-Yvon , K. Link , L. Lopes , R. López , A. López Casado , K. Louedec , A. Lucero , M. Malacari , M. Mallamaci , J. Maller , D. Mandat , P. Mantsch , A. G. Mariazzi , V. Marin , I. C. Mariş , G. Marsella , D. Martello , H. Martinez , O. Martínez Bravo , D. Martraire , J. J. Masías Meza , H. J. Mathes , S. Mathys , J. Matthews , J. A. J. Matthews , G. Matthiae , D. Maurizio , E. Mayotte , P. O. Mazur , C. Medina , G. Medina-Tanco , R. Meissner , V. B. B. Mello , D. Melo , A. Menshikov , S. Messina , M. I. Micheletti , L. Middendorf , I. A. Minaya , L. Miramonti , B. Mitrica , L. Molina-Bueno , S. Mollerach , F. Montanet , C. Morello , M. Mostafá , C. A. Moura , G. Müller , M. A. Muller , S. Müller , S. Navas , P. Necesal , L. Nellen , A. Nelles , J. Neuser , P. H. Nguyen , M. Niculescu-Oglinzanu , M. Niechciol , L. Niemietz , T. Niggemann , D. Nitz , D. Nosek , V. Novotny , L. Nožka , L. A. Núñez , L. Ochilo , F. Oikonomou , A. Olinto , N. Pacheco , D. Pakk Selmi-Dei , M. Palatka , J. Pallotta , P. Papenbreer , G. Parente , A. Parra , T. Paul , M. Pech , J. Pękala , R. Pelayo , I. M. Pepe , L. Perrone , E. Petermann , C. Peters , S. Petrera , Y. Petrov , J. Phuntsok , R. Piegaia , T. Pierog , P. Pieroni , M. Pimenta , V. Pirronello , M. Platino , M. Plum , A. Porcelli , C. Porowski , R. R. Prado , P. Privitera , M. Prouza , E. J. Quel , S. Querchfeld , S. Quinn , J. Rautenberg , O. Ravel , D. Ravignani , D. Reinert , B. Revenu , J. Ridky , M. Risse , P. Ristori , V. Rizi , W. Rodrigues de Carvalho , J. Rodriguez Rojo , M. D. Rodríguez-Frías , D. Rogozin , J. Rosado , M. Roth , E. Roulet , A. C. Rovero , S. J. Saffi , A. Saftoiu , F. Salamida , H. Salazar , A. Saleh , F. Salesa Greus , G. Salina , J. D. Sanabria Gomez , F. Sánchez , P. Sanchez-Lucas , E. M. Santos , E. Santos , F. Sarazin , B. Sarkar , R. Sarmento , C. Sarmiento-Cano , R. Sato , C. Scarso , M. Schauer , V. Scherini , H. Schieler , D. Schmidt , O. Scholten , H. Schoorlemmer , P. Schovánek , F. G. Schröder , A. Schulz , J. Schulz , J. Schumacher , S. J. Sciutto , A. Segreto , M. Settimo , A. Shadkam , R. C. Shellard , G. Sigl , O. Sima , A. Śmiałkowski , R. Šmída , G. R. Snow , P. Sommers , S. Sonntag , J. Sorokin , R. Squartini , Y. N. Srivastava , D. Stanca , S. Stanič , J. Stapleton , J. Stasielak , M. Stephan , A. Stutz , F. Suarez , M. Suarez Durán , T. Suomijärvi , A. D. Supanitsky , M. S. Sutherland , J. Swain , Z. Szadkowski , O. A. Taborda , A. Tapia , A. Tepe , V. M. Theodoro , O. Tibolla , C. Timmermans , C. J. Todero Peixoto , G. Toma , L. Tomankova , B. Tomé , A. Tonachini , G. Torralba Elipe , D. Torres Machado , P. Travnicek , M. Trini , R. Ulrich , M. Unger , M. Urban , J. F. Valdés Galicia , I. Valiño , L. Valore , G. van Aar , P. van Bodegom , A. M. van den Berg , S. van Velzen , A. van Vliet , E. Varela , B. Vargas Cárdenas , G. Varner , R. Vasquez , J. R. Vázquez , R. A. Vázquez , D. Veberič , V. Verzi , J. Vicha , M. Videla , L. Villaseñor , B. Vlcek , S. Vorobiov , H. Wahlberg , O. Wainberg , D. Walz , A. A. Watson , M. Weber , K. Weidenhaupt , A. Weindl , C. Welling , F. Werner , A. Widom , L. Wiencke , H. Wilczyński , T. Winchen , D. Wittkowski , B. Wundheiler , S. Wykes , L. Yang , T. Yapici , A. Yushkov , E. Zas , D. Zavrtanik , M. Zavrtanik , A. Zepeda , B. Zimmermann , M. Ziolkowski , F. Zuccarello

The IceCube Neutrino Observatory instruments roughly one cubic kilometer of deep, glacial ice below the geographic South Pole with 5160 optical sensors to register the Cherenkov light of passing relativistic, charged particles. Since its…

Instrumentation and Methods for Astrophysics · Physics 2019-11-26 Martin Rongen

We discuss design considerations and simulation results for IceRay, a proposed large-scale ultra-high energy (UHE) neutrino detector at the South Pole. The array is designed to detect the coherent Askaryan radio emission from UHE neutrino…

This is a brief summary of the 11th Applied Antineutrino Physics 2015 workshop held at the Virginia Tech Arlington Research Facility from December 7-8, 2015.

High Energy Physics - Experiment · Physics 2016-02-20 N. S. Bowden , K. M. Heeger , P. Huber , C. Mariani , R. B. Vogelaar

The LIGO/Virgo collaboration published the catalogs GWTC-1, GWTC-2.1 and GWTC-3 containing candidate gravitational-wave (GW) events detected during its runs O1, O2 and O3. These GW events can be possible sites of neutrino emission. In this…

High Energy Astrophysical Phenomena · Physics 2024-07-30 R. Abbasi , M. Ackermann , J. Adams , S. K. Agarwalla , J. A. Aguilar , M. Ahlers , J. M. Alameddine , N. M. Amin , K. Andeen , G. Anton , C. Argüelles , Y. Ashida , S. Athanasiadou , S. N. Axani , X. Bai , A. Balagopal V. , M. Baricevic , S. W. Barwick , V. Basu , R. Bay , J. J. Beatty , K. -H. Becker , J. Becker Tjus , J. Beise , C. Bellenghi , S. BenZvi , D. Berley , E. Bernardini , D. Z. Besson , G. Binder , D. Bindig , E. Blaufuss , S. Blot , F. Bontempo , J. Y. Book , C. Boscolo Meneguolo , S. Böser , O. Botner , J. Böttcher , E. Bourbeau , J. Braun , B. Brinson , J. Brostean-Kaiser , R. T. Burley , R. S. Busse , D. Butterfield , M. A. Campana , K. Carloni , E. G. Carnie-Bronca , S. Chattopadhyay , N. Chau , C. Chen , Z. Chen , D. Chirkin , S. Choi , B. A. Clark , L. Classen , A. Coleman , G. H. Collin , A. Connolly , J. M. Conrad , P. Coppin , P. Correa , S. Countryman , D. F. Cowen , P. Dave , C. De Clercq , J. J. DeLaunay , D. Delgado López , H. Dembinski , K. Deoskar , A. Desai , P. Desiati , K. D. de Vries , G. de Wasseige , T. DeYoung , A. Diaz , J. C. Díaz-Vélez , M. Dittmer , A. Domi , H. Dujmovic , M. A. DuVernois , T. Ehrhardt , P. Eller , R. Engel , H. Erpenbeck , J. Evans , P. A. Evenson , K. L. Fan , K. Fang , A. R. Fazely , A. Fedynitch , N. Feigl , S. Fiedlschuster , C. Finley , L. Fischer , D. Fox , A. Franckowiak , E. Friedman , A. Fritz , P. Fürst , T. K. Gaisser , J. Gallagher , E. Ganster , A. Garcia , L. Gerhardt , A. Ghadimi , C. Glaser , T. Glauch , T. Glüsenkamp , N. Goehlke , J. G. Gonzalez , S. Goswami , D. Grant , S. J. Gray , S. Griffin , S. Griswold , C. Günther , P. Gutjahr , C. Haack , A. Hallgren , R. Halliday , L. Halve , F. Halzen , H. Hamdaoui , M. Ha Minh , K. Hanson , J. Hardin , A. A. Harnisch , P. Hatch , A. Haungs , K. Helbing , J. Hellrung , F. Henningsen , L. Heuermann , N. Heyer , S. Hickford , A. Hidvegi , C. Hill , G. C. Hill , K. D. Hoffman , K. Hoshina , W. Hou , T. Huber , K. Hultqvist , M. Hünnefeld , R. Hussain , K. Hymon , S. In , A. Ishihara , M. Jacquart , M. Jansson , G. S. Japaridze , K. Jayakumar , M. Jeong , M. Jin , B. J. P. Jones , D. Kang , W. Kang , X. Kang , A. Kappes , D. Kappesser , L. Kardum , T. Karg , M. Karl , A. Karle , U. Katz , M. Kauer , J. L. Kelley , A. Khatee Zathul , A. Kheirandish , J. Kiryluk , S. R. Klein , A. Kochocki , R. Koirala , H. Kolanoski , T. Kontrimas , L. Köpke , C. Kopper , D. J. Koskinen , P. Koundal , M. Kovacevich , M. Kowalski , T. Kozynets , K. Kruiswijk , E. Krupczak , A. Kumar , E. Kun , N. Kurahashi , N. Lad , C. Lagunas Gualda , M. Lamoureux , M. J. Larson , F. Lauber , J. P. Lazar , J. W. Lee , K. Leonard DeHolton , A. Leszczyńska , M. Lincetto , Q. R. Liu , M. Liubarska , E. Lohfink , C. Love , C. J. Lozano Mariscal , L. Lu , F. Lucarelli , A. Ludwig , W. Luszczak , Y. Lyu , J. Madsen , K. B. M. Mahn , Y. Makino , S. Mancina , W. Marie Sainte , I. C. Mariş , S. Marka , Z. Marka , M. Marsee , I. Martinez-Soler , R. Maruyama , F. Mayhew , T. McElroy , F. McNally , J. V. Mead , K. Meagher , S. Mechbal , A. Medina , M. Meier , S. Meighen-Berger , Y. Merckx , L. Merten , J. Micallef , T. Montaruli , R. W. Moore , Y. Morii , R. Morse , M. Moulai , T. Mukherjee , R. Naab , R. Nagai , M. Nakos , U. Naumann , J. Necker , M. Neumann , H. Niederhausen , M. U. Nisa , A. Noell , S. C. Nowicki , A. Obertacke Pollmann , V. O'Dell , M. Oehler , B. Oeyen , A. Olivas , R. Orsoe , J. Osborn , E. O'Sullivan , H. Pandya , N. Park , G. K. Parker , E. N. Paudel , L. Paul , C. Pérez de los Heros , J. Peterson , S. Philippen , S. Pieper , A. Pizzuto , M. Plum , A. Pontén , Y. Popovych , M. Prado Rodriguez , B. Pries , R. Procter-Murphy , G. T. Przybylski , J. Rack-Helleis , K. Rawlins , Z. Rechav , A. Rehman , P. Reichherzer , G. Renzi , E. Resconi , S. Reusch , W. Rhode , M. Richman , B. Riedel , E. J. Roberts , S. Robertson , S. Rodan , G. Roellinghoff , M. Rongen , C. Rott , T. Ruhe , L. Ruohan , D. Ryckbosch , S. Athanasiadou , I. Safa , J. Saffer , D. Salazar-Gallegos , P. Sampathkumar , S. E. Sanchez Herrera , A. Sandrock , M. Santander , S. Sarkar , S. Sarkar , J. Savelberg , P. Savina , M. Schaufel , H. Schieler , S. Schindler , B. Schlüter , F. Schlüter , T. Schmidt , J. Schneider , F. G. Schröder , L. Schumacher , G. Schwefer , S. Sclafani , D. Seckel , S. Seunarine , A. Sharma , S. Shefali , N. Shimizu , M. Silva , B. Skrzypek , B. Smithers , R. Snihur , J. Soedingrekso , A. Søgaard , D. Soldin , G. Sommani , C. Spannfellner , G. M. Spiczak , C. Spiering , M. Stamatikos , T. Stanev , T. Stezelberger , T. Stürwald , T. Stuttard , G. W. Sullivan , I. Taboada , S. Ter-Antonyan , W. G. Thompson , J. Thwaites , S. Tilav , K. Tollefson , C. Tönnis , S. Toscano , D. Tosi , A. Trettin , C. F. Tung , R. Turcotte , J. P. Twagirayezu , B. Ty , M. A. Unland Elorrieta , A. K. Upadhyay , K. Upshaw , N. Valtonen-Mattila , J. Vandenbroucke , N. van Eijndhoven , D. Vannerom , J. van Santen , J. Vara , J. Veitch-Michaelis , M. Venugopal , S. Verpoest , D. Veske , C. Walck , T. B. Watson , C. Weaver , P. Weigel , A. Weindl , J. Weldert , C. Wendt , J. Werthebach , M. Weyrauch , N. Whitehorn , C. H. Wiebusch , N. Willey , D. R. Williams , M. Wolf , G. Wrede , X. W. Xu , J. P. Yanez , E. Yildizci , S. Yoshida , F. Yu , S. Yu , T. Yuan , Z. Zhang , P. Zhelnin

The OPERA long-baseline oscillation experiment is located in the underground Gran Sasso laboratory in Italy. OPERA has been designed to observe nu-mu -> nu-tau appearance in the CNGS nu-mu beam, 730 km away from its source at CERN. The…

High Energy Physics - Experiment · Physics 2019-08-13 H. Pessard

The evaluation of mass composition of cosmic rays in the knee region ($\sim 3$ PeV) is critical to understanding the transition in the origin of cosmic rays from galactic to extragalactic sources. The IceCube Neutrino Observatory at the…

High Energy Astrophysical Phenomena · Physics 2019-08-20 Matthias Plum

The IceCube Neutrino Observatory at the South Pole is a multi-component particle detector consisting of the IceTop surface array and the deep in-ice IceCube array. The foreseen enhancement of the surface instrumentation will consist of…

Instrumentation and Methods for Astrophysics · Physics 2019-09-26 Agnieszka Leszczyńska , Matthias Plum

The IceCube Neutrino Observatory at the South Pole has tremendous emotional appeal -- the extreme Antarctic environment coupled with the aura of a pioneering experiment that explores the universe in a new way. However, as with most…

Physics Education · Physics 2021-07-27 Madeleine O'Keefe , Ellen Bechtol , Jim Madsen , Jocelyn Argueta , Katherine Shirey

This conference proceeding discusses new results arising from atmospheric neutrino detection in the Super-Kamiokande and IceCube experiments. Super-Kamiokande has measured atmospheric neutrinos in the energy range of 100 MeV-10 TeV and uses…

High Energy Physics - Experiment · Physics 2016-05-03 E. O'Sullivan

While much work has gone into associating neutrino emission with various sources, very few sources have emerged. With the recent publication of IceCube Event Catalog (IceCat-1), the IceCube neutrino observatory has released a list of the…

High Energy Astrophysical Phenomena · Physics 2025-08-04 Ian Herzog

We have conducted three searches for correlations between ultra-high energy cosmic rays detected by the Telescope Array and the Pierre Auger Observatory, and high-energy neutrino candidate events from IceCube. Two cross-correlation analyses…

High Energy Astrophysical Phenomena · Physics 2015-11-09 IceCube Collaboration , M. G. Aartsen , K. Abraham , M. Ackermann , J. Adams , J. A. Aguilar , M. Ahlers , M. Ahrens , D. Altmann , T. Anderson , I. Ansseau , M. Archinger , C. Arguelles , T. C. Arlen , J. Auffenberg , X. Bai , S. W. Barwick , V. Baum , R. Bay , J. J. Beatty , J. Becker Tjus , K. -H. Becker , E. Beiser , S. BenZvi , P. Berghaus , D. Berley , E. Bernardini , A. Bernhard , D. Z. Besson , G. Binder , D. Bindig , M. Bissok , E. Blaufuss , J. Blumenthal , D. J. Boersma , C. Bohm , M. Börner , F. Bos , D. Bose , S. Böser , O. Botner , J. Braun , L. Brayeur , H. -P. Bretz , N. Buzinsky , J. Casey , M. Casier , E. Cheung , D. Chirkin , A. Christov , K. Clark , L. Classen , S. Coenders , D. F. Cowen , A. H. Cruz Silva , J. Daughhetee , J. C. Davis , M. Day , J. P. A. M. de André , C. De Clercq , E. del Pino Rosendo , H. Dembinski , S. De Ridder , P. Desiati , K. D. de Vries , G. de Wasseige , M. de With , T. DeYoung , J. C. Díaz-Vélez , V. di Lorenzo , J. P. Dumm , M. Dunkman , R. Eagan , B. Eberhardt , T. Ehrhardt , B. Eichmann , S. Euler , P. A. Evenson , O. Fadiran , S. Fahey , A. R. Fazely , A. Fedynitch , J. Feintzeig , J. Felde , K. Filimonov , C. Finley , T. Fischer-Wasels , S. Flis , C. -C. Fösig , T. Fuchs , T. K. Gaisser , R. Gaior , J. Gallagher , L. Gerhardt , K. Ghorbani , D. Gier , L. Gladstone , M. Glagla , T. Glüsenkamp , A. Goldschmidt , G. Golup , J. G. Gonzalez , D. Góra , D. Grant , J. C. Groh , A. Groß , C. Ha , C. Haack , A. Haj Ismail , A. Hallgren , F. Halzen , B. Hansmann , K. Hanson , D. Hebecker , D. Heereman , K. Helbing , R. Hellauer , D. Hellwig , S. Hickford , J. Hignight , G. C. Hill , K. D. Hoffman , R. Hoffmann , K. Holzapfel , A. Homeier , K. Hoshina , F. Huang , M. Huber , W. Huelsnitz , P. O. Hulth , K. Hultqvist , S. In , A. Ishihara , E. Jacobi , G. S. Japaridze , K. Jero , M. Jurkovic , B. Kaminsky , A. Kappes , T. Karg , A. Karle , M. Kauer , A. Keivani , J. L. Kelley , J. Kemp , A. Kheirandish , J. Kiryluk , J. Kläs , S. R. Klein , G. Kohnen , R. Koirala , H. Kolanoski , R. Konietz , A. Koob , L. Köpke , C. Kopper , S. Kopper , D. J. Koskinen , M. Kowalski , K. Krings , G. Kroll , M. Kroll , J. Kunnen , N. Kurahashi , T. Kuwabara , M. Labare , J. L. Lanfranchi , M. J. Larson , M. Lesiak-Bzdak , M. Leuermann , J. Leuner , L. Lu , J. Lünemann , J. Madsen , G. Maggi , K. B. M. Mahn , R. Maruyama , K. Mase , H. S. Matis , R. Maunu , F. McNally , K. Meagher , M. Medici , A. Meli , T. Menne , G. Merino , T. Meures , S. Miarecki , E. Middell , E. Middlemas , L. Mohrmann , T. Montaruli , R. Morse , R. Nahnhauer , U. Naumann , G. Neer , H. Niederhausen , S. C. Nowicki , D. R. Nygren , A. Obertacke , A. Olivas , A. Omairat , A. O'Murchadha , T. Palczewski , H. Pandya , L. Paul , J. A. Pepper , C. Pérez de los Heros , C. Pfendner , D. Pieloth , E. Pinat , J. Posselt , P. B. Price , G. T. Przybylski , J. Pütz , M. Quinnan , C. Raab , L. Rädel , M. Rameez , K. Rawlins , R. Reimann , M. Relich , E. Resconi , W. Rhode , M. Richman , S. Richter , B. Riedel , S. Robertson , M. Rongen , C. Rott , T. Ruhe , D. Ryckbosch , S. M. Saba , L. Sabbatini , H. -G. Sander , A. Sandrock , J. Sandroos , S. Sarkar , K. Schatto , F. Scheriau , M. Schimp , T. Schmidt , M. Schmitz , S. Schoenen , S. Schöneberg , A. Schönwald , L. Schulte , D. Seckel , S. Seunarine , R. Shanidze , M. W. E. Smith , D. Soldin , M. Song , G. M. Spiczak , C. Spiering , M. Stahlberg , M. Stamatikos , T. Stanev , N. A. Stanisha , A. Stasik , T. Stezelberger , R. G. Stokstad , A. Stößl , R. Ström , N. L. Strotjohann , G. W. Sullivan , M. Sutherland , H. Taavola , I. Taboada , S. Ter-Antonyan , A. Terliuk , G. Tešić , S. Tilav , P. A. Toale , M. N. Tobin , S. Toscano , D. Tosi , M. Tselengidou , A. Turcati , E. Unger , M. Usner , S. Vallecorsa , J. Vandenbroucke , N. van Eijndhoven , S. Vanheule , J. van Santen , J. Veenkamp , M. Vehring , M. Voge , M. Vraeghe , C. Walck , A. Wallace , M. Wallraff , N. Wandkowsky , Ch. Weaver , C. Wendt , S. Westerhoff , B. J. Whelan , N. Whitehorn , C. Wichary , K. Wiebe , C. H. Wiebusch , L. Wille , D. R. Williams , H. Wissing , M. Wolf , T. R. Wood , K. Woschnagg , D. L. Xu , X. W. Xu , Y. Xu , J. P. Yanez , G. Yodh , S. Yoshida , M. Zoll , Pierre Auger Collaboration , : , A. Aab , P. Abreu , M. Aglietta , E. J. Ahn , I. Al Samarai , I. F. M. Albuquerque , I. Allekotte , P. Allison , A. Almela , J. Alvarez Castillo , J. Alvarez-Muñiz , R. Alves Batista , M. Ambrosio , A. Aminaei , G. A. Anastasi , L. Anchordoqui , S. Andringa , C. Aramo , F. Arqueros , N. Arsene , H. Asorey , P. Assis , J. Aublin , G. Avila , N. Awal , A. M. Badescu , C. Baus , J. J. Beatty , K. H. Becker , J. A. Bellido , C. Berat , M. E. Bertaina , X. Bertou , P. L. Biermann , P. Billoir , S. G. Blaess , A. Blanco , M. Blanco , J. Blazek , C. Bleve , H. Blümer , M. Boháčová , D. Boncioli , C. Bonifazi , N. Borodai , J. Brack , I. Brancus , T. Bretz , A. Bridgeman , P. Brogueira , P. Buchholz , A. Bueno , S. Buitink , M. Buscemi , K. S. Caballero-Mora , B. Caccianiga , L. Caccianiga , M. Candusso , L. Caramete , R. Caruso , A. Castellina , G. Cataldi , L. Cazon , R. Cester , A. G. Chavez , A. Chiavassa , J. A. Chinellato , J. Chudoba , M. Cilmo , R. W. Clay , G. Cocciolo , R. Colalillo , A. Coleman , L. Collica , M. R. Coluccia , R. Conceição , F. Contreras , M. J. Cooper , A. Cordier , S. Coutu , C. E. Covault , R. Dallier , B. Daniel , S. Dasso , K. Daumiller , B. R. Dawson , R. M. de Almeida , S. J. de Jong , G. De Mauro , J. R. T. de Mello Neto , I. De Mitri , J. de Oliveira , V. de Souza , L. del Peral , O. Deligny , N. Dhital , C. Di Giulio , A. Di Matteo , J. C. Diaz , M. L. Díaz Castro , F. Diogo , C. Dobrigkeit , W. Docters , J. C. D'Olivo , A. Dorofeev , Q. Dorosti Hasankiadeh , R. C. dos Anjos , M. T. Dova , J. Ebr , R. Engel , M. Erdmann , M. Erfani , C. O. Escobar , J. Espadanal , A. Etchegoyen , H. Falcke , K. Fang , G. Farrar , A. C. Fauth , N. Fazzini , A. P. Ferguson , B. Fick , J. M. Figueira , A. Filevich , A. Filipčič , O. Fratu , M. M. Freire , T. Fujii , B. García , D. García-Gámez , D. Garcia-Pinto , F. Gate , H. Gemmeke , A. Gherghel-Lascu , P. L. Ghia , U. Giaccari , M. Giammarchi , M. Giller , D. Głas , C. Glaser , H. Glass , G. Golup , M. Gómez Berisso , P. F. Gómez Vitale , N. González , B. Gookin , J. Gordon , A. Gorgi , P. Gorham , P. Gouffon , N. Griffith , A. F. Grillo , T. D. Grubb , F. Guarino , G. P. Guedes , M. R. Hampel , P. Hansen , D. Harari , T. A. Harrison , S. Hartmann , J. L. Harton , A. Haungs , T. Hebbeker , D. Heck , P. Heimann , A. E. Hervé , G. C. Hill , C. Hojvat , N. Hollon , E. Holt , P. Homola , J. R. Hörandel , P. Horvath , M. Hrabovský , D. Huber , T. Huege , A. Insolia , P. G. Isar , I. Jandt , S. Jansen , C. Jarne , J. A. Johnsen , M. Josebachuili , A. Kääpä , O. Kambeitz , K. H. Kampert , P. Kasper , I. Katkov , B. Keilhauer , E. Kemp , R. M. Kieckhafer , H. O. Klages , M. Kleifges , J. Kleinfeller , R. Krause , N. Krohm , D. Kuempel , G. Kukec Mezek , N. Kunka , A. W. Kuotb Awad , D. LaHurd , L. Latronico , R. Lauer , M. Lauscher , P. Lautridou , S. Le Coz , D. Lebrun , P. Lebrun , M. A. Leigui de Oliveira , A. Letessier-Selvon , I. Lhenry-Yvon , K. Link , L. Lopes , R. López , A. López Casado , K. Louedec , A. Lucero , M. Malacari , M. Mallamaci , J. Maller , D. Mandat , P. Mantsch , A. G. Mariazzi , V. Marin , I. C. Mariş , G. Marsella , D. Martello , H. Martinez , O. Martínez Bravo , D. Martraire , J. J. Masías Meza , H. J. Mathes , S. Mathys , J. Matthews , J. A. J. Matthews , G. Matthiae , D. Maurizio , E. Mayotte , P. O. Mazur , C. Medina , G. Medina-Tanco , R. Meissner , V. B. B. Mello , D. Melo , A. Menshikov , S. Messina , M. I. Micheletti , L. Middendorf , I. A. Minaya , L. Miramonti , B. Mitrica , L. Molina-Bueno , S. Mollerach , F. Montanet , C. Morello , M. Mostafá , C. A. Moura , G. Müller , M. A. Muller , S. Müller , S. Navas , P. Necesal , L. Nellen , A. Nelles , J. Neuser , P. H. Nguyen , M. Niculescu-Oglinzanu , M. Niechciol , L. Niemietz , T. Niggemann , D. Nitz , D. Nosek , V. Novotny , L. Nožka , L. A. Núñez , L. Ochilo , F. Oikonomou , A. Olinto , N. Pacheco , D. Pakk Selmi-Dei , M. Palatka , J. Pallotta , P. Papenbreer , G. Parente , A. Parra , T. Paul , M. Pech , J. Pȩkala , R. Pelayo , I. M. Pepe , L. Perrone , E. Petermann , C. Peters , S. Petrera , Y. Petrov , J. Phuntsok , R. Piegaia , T. Pierog , P. Pieroni , M. Pimenta , V. Pirronello , M. Platino , M. Plum , A. Porcelli , C. Porowski , R. R. Prado , P. Privitera , M. Prouza , E. J. Quel , S. Querchfeld , S. Quinn , J. Rautenberg , O. Ravel , D. Ravignani , D. Reinert , B. Revenu , J. Ridky , M. Risse , P. Ristori , V. Rizi , W. Rodrigues de Carvalho , J. Rodriguez Rojo , M. D. Rodríguez-Frías , D. Rogozin , J. Rosado , M. Roth , E. Roulet , A. C. Rovero , S. J. Saffi , A. Saftoiu , F. Salamida , H. Salazar , A. Saleh , F. Salesa Greus , G. Salina , J. D. Sanabria Gomez , F. Sánchez , P. Sanchez-Lucas , E. M. Santos , E. Santos , F. Sarazin , B. Sarkar , R. Sarmento , C. Sarmiento-Cano , R. Sato , C. Scarso , M. Schauer , V. Scherini , H. Schieler , D. Schmidt , O. Scholten , H. Schoorlemmer , P. Schovánek , F. G. Schröder , A. Schulz , J. Schulz , J. Schumacher , S. J. Sciutto , A. Segreto , M. Settimo , A. Shadkam , R. C. Shellard , G. Sigl , O. Sima , A. Śmiałkowski , R. Šmída , G. R. Snow , P. Sommers , S. Sonntag , J. Sorokin , R. Squartini , Y. N. Srivastava , D. Stanca , S. Stanič , J. Stapleton , J. Stasielak , M. Stephan , A. Stutz , F. Suarez , M. Suarez Durán , T. Suomijärvi , A. D. Supanitsky , M. S. Sutherland , J. Swain , Z. Szadkowski , O. A. Taborda , A. Tapia , A. Tepe , V. M. Theodoro , O. Tibolla , C. Timmermans , C. J. Todero Peixoto , G. Toma , L. Tomankova , B. Tomé , A. Tonachini , G. Torralba Elipe , D. Torres Machado , P. Travnicek , M. Trini , R. Ulrich , M. Unger , M. Urban , J. F. Valdés Galicia , I. Valiño , L. Valore , G. van Aar , P. van Bodegom , A. M. van den Berg , S. van Velzen , A. van Vliet , E. Varela , B. Vargas Cárdenas , G. Varner , R. Vasquez , J. R. Vázquez , R. A. Vázquez , D. Veberič , V. Verzi , J. Vicha , M. Videla , L. Villaseñor , B. Vlcek , S. Vorobiov , H. Wahlberg , O. Wainberg , D. Walz , A. A. Watson , M. Weber , K. Weidenhaupt , A. Weindl , C. Welling , F. Werner , A. Widom , L. Wiencke , H. Wilczyński , T. Winchen , D. Wittkowski , B. Wundheiler , S. Wykes , L. Yang , T. Yapici , A. Yushkov , E. Zas , D. Zavrtanik , M. Zavrtanik , A. Zepeda , B. Zimmermann , M. Ziolkowski , F. Zuccarello , Telescope Array Collaboration , : , R. U. Abbasi , M. Abe , T. Abu-Zayyad , M. Allen , R. Azuma , E. Barcikowski , J. W. Belz , D. R. Bergman , S. A. Blake , R. Cady , M. J. Chae , B. G. Cheon , J. Chiba , M. Chikawa , W. R. Cho , T. Fujii , M. Fukushima , T. Goto , W. Hanlon , Y. Hayashi , N. Hayashida , K. Hibino , K. Honda , D. Ikeda , N. Inoue , T. Ishii , R. Ishimori , H. Ito , D. Ivanov , C. C. H. Jui , K. Kadota , F. Kakimoto , O. Kalashev , K. Kasahara , H. Kawai , S. Kawakami , S. Kawana , K. Kawata , E. Kido , H. B. Kim , J. H. Kim , J. H. Kim , S. Kitamura , Y. Kitamura , V. Kuzmin , Y. J. Kwon , J. Lan , S. I. Lim , J. P. Lundquist , K. Machida , K. Martens , T. Matsuda , T. Matsuyama , J. N. Matthews , M. Minamino , Y. Mukai , I. Myers , K. Nagasawa , S. Nagataki , T. Nakamura , T. Nonaka , A. Nozato , S. Ogio , J. Ogura , M. Ohnishi , H. Ohoka , K. Oki , T. Okuda , M. Ono , A. Oshima , S. Ozawa , I. H. Park , M. S. Pshirkov , D. C. Rodriguez , G. Rubtsov , D. Ryu , H. Sagawa , N. Sakurai , L. M. Scott , P. D. Shah , F. Shibata , T. Shibata , H. Shimodaira , B. K. Shin , H. S. Shin , J. D. Smith , P. Sokolsky , R. W. Springer , B. T. Stokes , S. R. Stratton , T. A. Stroman , T. Suzawa , M. Takamura , M. Takeda , R. Takeishi , A. Taketa , M. Takita , Y. Tameda , H. Tanaka , K. Tanaka , M. Tanaka , S. B. Thomas , G. B. Thomson , P. Tinyakov , I. Tkachev , H. Tokuno , T. Tomida , S. Troitsky , Y. Tsunesada , K. Tsutsumi , Y. Uchihori , S. Udo , F. Urban , G. Vasiloff , T. Wong , R. Yamane , H. Yamaoka , K. Yamazaki , J. Yang , K. Yashiro , Y. Yoneda , S. Yoshida , H. Yoshii , R. Zollinger , Z. Zundel

This volume contains the proceedings of ICE'18, the 11th Interaction and Concurrency Experience, which was held in Madrid, Spain on the 20th and 21st of June 2018 as a satellite event of DisCoTec'18. The ICE workshop series features a…

Logic in Computer Science · Computer Science 2018-10-05 Massimo Bartoletti , Sophia Knight