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

This is the summary of the 'International Workshop on eta--Nucleus Physics' held in Juelich, May 8--12, 2006. Each talk is represented by an extended abstract. At the same time the document provides a progress report of the corresponding…

This short report raises a correctness issue in the schedulability test presented in Kato et al., "Gang EDF Scheduling of Parallel Task Systems", 30th IEEE Real-Time Systems Symposium, 2009, pp. 459-468.

This contribution to the published Proceedings records the opening talk I presented on the first morning of the 2005 International Linear Collider Workshop in Snowmass, CO, August 14 - 27, 2005. It includes a summary of the motivation for…

These notes grew out of lectures given at the LMS-EPSRC Short Course on Asymptotic Methods in Infinite Group Theory, University of Oxford, 9-14 September 2007, organised by Dan Segal.

This volume contains the proceedings of F-IDE 2016, the third international workshop on Formal Integrated Development Environment, which was held as an FM 2016 satellite event, on November 8, 2016, in Limassol (Cyprus). High levels of…

This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007 and 2013. Topics covered in these notes include the untyped lambda…

This document contains a description of several of my papers, including remarks on history and connection with subsequent work. It also contains some new results and conjectures.

In this paper the history of the founding and of the development of the Amaldi Conferences is described with special reference to the following aspects and questions: 1. The Origin 2. The Vision of a European CISAC (Committee on…

This is the full text of the summary talk: copies of transparancies of all talks with Introduction and Summary would be mailed to participants from RIKEN/BNL center

These are informal lecture notes for a three-hour minicourse on Kac-Moody groups, given at the workshop "Kac-Moody geometry" in July 2023 in Kiel. They provide a concise overview of the book "An introduction to Kac-Moody groups over…

The talks presented at the conference are summarized from an angle of a particle theorist. After presenting a personal impression on the conference, particular emphasis is placed on the spin structure of nucleons and symmetry breaking test.

Presentation for a talk "Two betting strategies that predict all compressible sequences" given at Seventh International Conference on Computability, Complexity and Randomness (CCR 2012)…

This volume contains the proceedings of F-IDE 2019, the fifth international workshop on Formal Integrated Development Environment, which was held on October 7, 2019 in Porto, Portugal, as part of FM'19, the 3rd World Congress on Formal…

We present a summary of the conference "The Cosmic Agitator: Magnetic Fields in the Galaxy" held in Lexington KY in 2008 Mar 26-29. The presentation draws primarily from material in the slides prepared for the Conference Summary by one of…

Recent results obtained within ECFA/DESY and ECFA Study by the Higgs and gamma gamma /e gamma physics working groups are presented.

An overview is presented of the experimental talks given at the XXXVIIth Rencontres de Moriond QCD session.

Some general comments are made on the evolution of this series of workshops and on some features of this particular Workshop without attempting to summarize all the talks presented.

This volume contains the proceedings of the 2nd WorkShop on Formal Methods in the Development of Software (WS-FMDS 2012). The workshop was held in Paris, France on August 30th, 2012 as a satellite event to the 18th International Symposium…

I give a brief, non-technical, historical perspective on numerical analysis and optimization. I also touch on emerging trends and future challenges. This content is based on the short presentation that I made at the opening ceremony of…

Lecture Notes. Minicourse given at the workshop "Activated Random Walks, DLA, and related topics" at IM\'eRA-Marseille, March 2015.