Related papers: The Poster Session of SSS 2005
This is an overview of our series of papers on the modular generalized Springer correspondence. It is an expansion of a lecture given by the second author in the Fifth Conference of the Tsinghua Sanya International Mathematics Forum, Sanya,…
In this expository paper, which covers material presented at the NATO Advanced Study Institute "Nonlinear Analysis, Differential Equations, and Control" (Montreal, Jul/Aug 1998), we deal with several questions related to stability and…
In this paper we present two major results: First, we introduce the first self-stabilizing version of a supervised overlay network by presenting a self-stabilizing supervised skip ring. Secondly, we show how to use the self-stabilizing…
We summarize the main results of the spin physics Working Group Session of DIS 2007, the 15th International Workshop on ``Deep-Inelastic Scattering and Related Subjects''.
In this talk I give a brief update on the recent progress in the SO(5) theory of high T_c superconductivity (Science, 275: 1089,1997). Reviewed topics include SO(5) ladders, the unification of BCS and SDW quasi-particles in the SO(5) theory…
This article summarizes motivations, organization, and activities of the Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE5.1) held in Manchester, UK in September 2017. The WSSSPE series promotes sustainable…
This talk was given at DIS'05 (Madison, April 27-May 2, 2005). It is a brief review of ups and downs of high density QCD during the past year.
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…
This set of five lectures provides an introduction to regularity structures and their use for the study of singular stochastic partial differential equations. Two appendices provide some additional informations that enter in the main text…
This contains the Proceedings of the 5th International Workshop on Thermal Field Theories and Their Applications (TFT98) which took place on 10-14 August 1998 in Regensburg, Germany. The contents are in html and postscript format. The html…
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…
This draft is a working document, having a summary of nighty-four (94) papers with additional sections on Traceability of Software Requirements (Section 4), Formal Methods and Its Tools (Section 5), Unifying Theories of Programming (UTP)…
Poster-presentation of the paper "Message Passing Fluids: molecules as processes in parallel computational fluids" held at "EURO PVMMPI 2003" Congress; the paper is on the proceedings "Recent Advances in Parallel Virtual Machine and Message…
This technical report discusses the submission and peer-review process used by the Second Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE2) and the results of that process. It is intended to record both the…
This volume contains the proceedings of the Verification of Scientific Software (VSS 2025) workshop, held on 4 May 2025 at McMaster University, Canada, as part of ETAPS 2025. VSS brings together researchers in software verification and…
Self-stabilization is a general paradigm to provide forward recovery capabilities to distributed systems and networks. Intuitively, a protocol is self-stabilizing if it is able to recover without external intervention from any catastrophic…
17th International Conference on Control Systems and Computer Science (CSCS 17), Bucharest, Romania, May 26-29, 2009. Vol. 1, pp. 401-406, ISSN: 2066-4451.
LSCS is a satellite workshop of the international conference on principles and practice of Constraint Programming (CP), since 2004. It is devoted to local search techniques in constraint satisfaction, and focuses on all aspects of local…
This volume contains the proceedings of the Tenth International Workshop on Fixed Points in Computer Science (FICS 2015) which took place on September 11th and 12th, 2015 in Berlin, Germany, as a satellite event of the conference Computer…
This report records and discusses the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). The report includes a description of the keynote presentation of the workshop, the mission and vision statements…