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

Proceedings of ISMD08

This article summarizes - from a personal perspective - some of the main themes that have emerged at this conference and in this field generally in the past few years.

I review some of the important and exciting recent advances that were presented at the 2007 conference on Extragalactic Jets in Girdwood, Alaska, using as a framework the scientific challenges presented by R. Blandford at the beginning of…

This thesis (Habilitation \`a diriger des recherches) presents some of my research contributions since my Ph.D defense in 2008. I have had the chance to participate in the development of quantum programming languages since their early…

I summarize the theory talks presented at the International Symposium on Multiparticle Dynamics 2008.

Homepage of the workshop proceedings, with links to all individually archived papers

Version 3 of FORM is introduced. It contains many new features that are inspired by current developments in the methodology of computations in quantum field theory. A number of these features is discussed in combination with examples. In…

This report records and discusses the Third Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE3). The report includes a description of the keynote presentation of the workshop, which served as an overview of…

Comments on the results presented at the Conference "Frontiers Beyond the Standard Model," FTPI, Oct. 2012. This summary traces a historical perspective. v2: A reference corrected and a footnote added; v3: a few grammar mistakes and typos…

The Working Formal Methods Symposium (FROM) is a series of workshops that aim to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or by…

Short review article on quantum computation accepted for Supplement III, Encyclopaedia of Mathematics (publication expected Summer 2001). See also http://www.wkap.nl/series.htm/ENM

This is neither a summary talk (too much for too short a talk) nor a conclusion (a gigantic work is in progress and we are not at the end of a particular phase), rather an overview of the field as reflected at this Conference.

This document describes the ICFP 2020 virtual conference, including the planning process and the criteria that informed its design, plus feedback from the post-conference survey. It is intended to provide a record of the event and give…

This is a short paper summarising a presentation of the evolution of the Fermilab program for the next five to ten years. Emphasis is given to the Fermilab accelerator complex, but external collaboration is emphasised.

Autonomous systems are highly complex and present unique challenges for the application of formal methods. Autonomous systems act without human intervention, and are often embedded in a robotic system, so that they can interact with the…

This conclusion to the meeting attempts to summarise what we have learnt during the conference (mainly from the review talks) about new observations from Hinode and about theories stimulated by them. Suggestions for future study are also…

I share my opinions on how to get the most out of conferences. I have some advice on giving talks, but most of the essay is devoted to the much larger share of the conference not spent giving talks: attending talks and socializing.

This EPTCS volume contains the papers from the Sixth International Workshop on Formal Methods for Autonomous Systems (FMAS 2024), which was held between the 11th and 13th of November 2024. FMAS 2024 was co-located with 19th International…

I give a summary of Section E of the seventh edition of the Conference ''Quark confinement and the hadron spectrum". Papers were presented on different subjects, from spectroscopy, including pentaquarks and hadron structure, to the quest…

This is the first volume of Electronic Proceedings in Theoretical Computer Science (EPTCS), a free international refereed open access venue for the rapid electronic publication of the proceedings of workshops and conferences, and of…