Related papers: The Colloquium on Decoupling Civil Timekeeping fro…

These are the revised versions of the papers presented at CICLOPS 2011, a workshop colocated with ICLP 2011.

Proceedings of the AAAI Fall Symposium on Artificial Intelligence in Government and Public Sector, Arlington, Virginia, USA, October 18-20, 2018

This document summarizes the discussions which took place during the PITT-PACC Workshop entitled "Non-Standard Cosmological Epochs and Expansion Histories," held in Pittsburgh, Pennsylvania, Sept. 5-7, 2024. Much like the non-standard…

These are extended notes for my lectures at the workshop ``Reconstructing the Gravitational Hologram'' held at Galileo-Galilei Institute, Florence, in June 2022.

Introductory talk at the Session on Correlations and Fluctuations of the XXVII International Symposium on Multiparticle Dynamics held in Delphi, Greece, from 6th till 11th of September 1998.

This volume of EPTCS contains the proceedings of the Seventh Workshop on Proof Exchange for Theorem Proving (PxTP 2021), held on 11 July 2021 as part of the CADE-28 online conference in Pittsburgh, USA. The PxTP workshop series brings…

In the concluding session of the Joint International Conference titled Econophys-2017 and Asia Pacific Econophysics Conference (APEC)-2017, held in Jawaharlal Nehru University and Delhi University during November 15-18, 2017, a brief…

This volume contains the proceedings of the Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010) which took place on July 15 in Edinburgh, UK. This workshop was held as a satellite workshop of the International…

The future of Coordinated Universal Time has been a topic of energetic discussions for more than a dozen years. Different communities view the issue in different ways. Diametrically opposed visions exist for the range of appropriate…

Topics of the Colloquium: a) Interplanetary scintillation b) Interstellar scintillation c) Modeling and physical origin of the interplanetary and the interstellar plasma turbulence d) Scintillation as a tool for investigation of radio…

Our recent paper (arXiv:1701.04298 [quant-ph]) discussed the occurrence of a coupling of centre of mass and internal degrees of freedom for complex quantum systems in non-inertial frames. There, we pointed out that an external force…

This is the Proceedings of the First CHI Workshop on CHIdeology: Disentangling the fragmented politics, values, and imaginaries of Human-Computer Interaction through ideologies, held on Wednesday, 15 April, in Barcelona, Spain, at the ACM…

The purpose of the New York Workshop on Computer, Earth and Space Sciences is to bring together the New York area's finest Astronomers, Statisticians, Computer Scientists, Space and Earth Scientists to explore potential synergies between…

This volume contains the proceedings of the Sixth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011). The workshop took place in Saarbruecken, Germany, on April 2nd, 2011, as part of the fourteenth edition of the…

One way to warn of forthcoming critical transitions in Earth system components is using observations to detect declining system stability. It has also been suggested to extrapolate such stability changes into the future and predict tipping…

The Computing Community Consortium (CCC), along with the White House Office of Science and Technology Policy (OSTP), and the Association for the Advancement of Artificial Intelligence (AAAI), co-sponsored a public workshop on Artificial…

Talk at the 25th Johns Hopkins Workshop "2001: A Relativistic Spacetime Odyssey", Firenze September 2001.

This article is an extended version of a talk given in Oxford in June 2021 as part of an online meeting `Ninety minutes of CCC' to mark the 90th birthday of Sir Roger Penrose. I assemble some questions that I have been asked or have asked…

This volume is the proceedings of the 2nd workshop on Cognitive Architectures for Social Human-Robot Interaction, held at the ACM/IEEE HRI 2016 conference, which took place on Monday 7th March 2016, in Christchurch, New Zealand. Organised…

We present the main results of the 9th meeting of the International Astronomical Consortium for High Energy Calibration (IACHEC), held in Warrenton (Virginia) in May 2014. Over 50 scientists directly involved in the calibration of…