Related papers: Personal report of the 3rd ECMDA-FA'07 conference

Focus, a framework for formal specification and development of interactive systems, was introduced approx. 25 years ago. Since then this approach was broadly used in academic and industrial studies, as well as provided a basis for a number…

Submitted by the authors for the June 27-29 Princeton Conference. Questions should be directed to: [email protected]

The Second Biennal African Conference on Fundamental and Applied Physics (ACP) took place in March 2022. The scientific program included three summary reports on the African Strategy for Fundamental and Applied Physics (ASFAP). Here, the…

These lecture notes were prepared for a special topics course in the Department of Statistics at the University of Washington, Seattle. They comprise the first eight chapters of a book currently in progress.

Experimental summary talk given at International Conference on Ultrarelativistic Nucleus-Nucleus Collisions (QM2001), Stony Brook, New York, 15-20 Jan 2001.

In 2006, the course "Modeling of Organizations" is taught for the third time. This third time will be the second time we will use the new lecture notes "Work Systems Modelling" from the DA VINCI series. These lecture notes, however, will be…

This is a lightly edited version of the talk given on September 30, 2020 to inaugurate the international seminar series {\it All Things EFT}. It reviews some of the early history of effective field theories, and concludes with a discussion…

Here, we attempt to summarize the activities of Track 3 of the 17th International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT 2016).

The European Committee for Future Accelerators (ECFA) Early-Career Researchers (ECR) Panel was invited by the ECFA Detector R&D Roadmap conveners to collect feedback from the European ECR community. A working group within the ECFA ECR panel…

The European Committee for Future Accelerators (ECFA) Early Career Researcher's (ECR) panel, which represents the interests of the ECR community to ECFA, officially began its activities in January 2021. In the first two years, the panel has…

Lecture notes from a minicourse given at the ICTP in May 2002.

This volume contains the accepted papers at the third Workshop on Membrane Computing and Biologically Inspired Process Calculi, held in Bologna on 5th September 2009. The papers are devoted to both membrane computing and biologically…

EFTCAMB/EFTCosmoMC are publicly available patches to the CAMB/CosmoMC codes implementing the effective field theory approach to single scalar field dark energy and modified gravity models. With the present numerical notes we provide a guide…

Presents a history of the evolution of the author's ideas on program-size complexity and its applications to metamathematics over the course of more than four decades. Includes suggestions for further work.

I present a summary of the last in the series of HERA-LHC workshops, CERN, 26-30th May 2008.

These notes are an expanded version of an introductory lecture on contact geometry given at the 2001 Georgia Topology Conference. They are intended to present some of the "topological" aspects of three dimensional contact geometry.

These are the handouts of an undergraduate minicourse at the Universit\`a di Bari, in the context of the 2017 INdAM Intensive Period "Contemporary Research in elliptic PDEs and related topics". Without any intention to serve as a throughout…

Conference paper assignment, i.e., the task of assigning paper submissions to reviewers, presents multi-faceted issues for recommender systems research. Besides the traditional goal of predicting `who likes what?', a conference management…

These are the proceedings of the 10th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on March 23, 2013 in Rome (Italy) as a satellite event to the European…

A concise overview of the interesting recent developments in kaon phyiscs discussed at KAON 2007 is presented.