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

Lecture notes delivered in Barcellona in the fall of 2003

This is a report on the PLDI 2020 conference, for which I was General Chair, which was held virtually for the first time as a result of the COVID-19 pandemic. The report contains: my personal reflections on the positive and negative aspects…

These are the lecture notes for the introductory graduate course I taught at Yale during Spring 2007. I mostly followed [GS], [BGV], [AB], [Par2], and there are no original results in these notes.

This paper is based on a course given by the author at the University of Rome ``La Sapienza'' in the Academic year 2000/2001. The intended aim of the course was to rapidly introduce, although not in an exhaustive way, the non-expert PhD…

This volume contains the proceedings of the 1st International Workshop on Applicable Formal Methods (AppFM 2021), 23 November 2021, held online as part of the 24th International Symposium on Formal Methods (FM). The aim of the AppFM…

I present a brief theory overview of the CHARM-2015 conference.

This article reflects on our experiences providing family-support services to a large, interdisciplinary ACM conference (CHI2018) including, the policy decisions, the challenges, and the successes. The article incorporates empirical data…

The European Committee for Future Accelerators (ECFA) Early-Career Researcher (ECR) panel, which represents the interests of the ECR community to ECFA, presents in this document its initiatives and activities in the year 2023. This report…

I summarize the highlights of the conference. First I provide a brief history of the beach symposia series our massive star community has been organizing. Then I use most of my allocated space discussing what I believe are the main answered…

This talk is dedicated to various aspects of Mirror Symmetry. It summarizes some of the mathematical developments that took place since M. Kontsevich's report at the Z\"urich ICM and provides an extensive, although not exhaustive,…

We begin herewith the editing of physics notes taken in the course of Journal Club seminars at INFN-LNF in 1996. The activity consists of informal talks about work in progress and/or review of (more or less) recent physics results of…

The 3rd International Workshop on Overlay Architectures for FPGAs (OLAF 2017) was held on 22 Feb, 2017 as a co-located workshop at the 25th ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA 2017). This year, the…

This summary talk reviews the LHC 2003 Symposium, focusing on expectations as we prepare to leap over the current energy frontier into new territory. We may learn from what happened in the two most recent examples of leaping into new energy…

This volume contains the proceedings of F-IDE 2021, the sixth international workshop on Formal Integrated Development Environment, which was held online on May 24-25, 2021, as part of NFM'21, the 13th NASA Formal Methods Symposium. High…

The paper is withdrawn by the author. This was an embryon of the book which has now been published with World Scientific under the title "Lectures on Quantum Chromodynamics". See http://www.wspc.com.sg/books/physics/4443.html, where the…

This volume contains the proceedings of the 2nd French Singaporean Workshop on Formal Methods and Applications (FSFMA'14). The workshop was held in Singapore on May 13th, 2014, as a satellite event of the 19th International Symposium on…

Diffraction studies at HERA are introduced, with reference to other communications to this Conference. Motivations and specific features of the experimental approaches are stressed.

Fast Abstracts are short presentations of work in progress or opinion pieces and aim to serve as a rapid and flexible mechanism to (i) Report on current work that may or may not be complete; (ii) Introduce new ideas to the community; (iii)…

This EPTCS volume contains the papers from the Seventh International Workshop on Formal Methods for Autonomous Systems (FMAS 2025), which was held between the 17th and 19th of November 2025. The goal of the FMAS workshop series is to bring…

This paper presents a summary of the theoretical presentations to the international workshop "Diffraction 2006". The range of topics covered during the workshop was quite broad and this summary is therefore somewhat selective covering…