Related papers: SC-Square: Overview to 2021

The algorithms employed by our communities are often underspecified, and thus have multiple implementation choices, which do not effect the correctness of the output, but do impact the efficiency or even tractability of its production. In…

Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these…

This is not in any way meant to be a complete survey on positive curvature. Rather it is a short essay on the fascinating changes in the landscape surrounding positive curvature. In particular, details and many results and references are…

Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for…

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 is an informal survey of progress in Weihrauch complexity (cf arXiv:1707.03202) in the period 2018-2020. Open questions are emphasised.

Written version of the theoretical summary lecture presented at the Strangeness in Quark Matter 2022 conference.

This is a written, expanded version of the summary talk given at the conclusion of the ICGC-2004 held at Cochin. Brief introductory remarks are included to provide a slightly wider context to the theme talks.

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 short paper discusses continually updated causal abstractions as a potential direction of future research. The key idea is to revise the existing level of causal abstraction to a different level of detail that is both consistent with…

This is a survey on the ongoing development of a descriptive theory of represented spaces, which is intended as an extension of both classical and effective descriptive set theory to deal with both sets and functions between represented…

The paper outlines the historical development of spin in physics from about 1920 to the present day. It aims to provide the student with an accurate chronology of important developments, both scientific and technical.

In the paper which inspired the SC-Square project, [E. Abraham, Building Bridges between Symbolic Computation and Satisfiability Checking, Proc. ISSAC '15, pp. 1-6, ACM, 2015] the author identified the use of sophisticated heuristics as a…

This short note is devoted to motivate and clarify the notion of sequential walk introduced by the authors in a previous work. We also give some applications of this concept.

The objective of this paper is to explain the principles of the design of a coarse space in a simplified way and by pictures. The focus is on ideas rather than on a more historically complete presentation. Also, space limitation does not…

I review recent theory progress reported at the 19th International Conference on Strangeness in Quark Matter (SQM), and discuss open questions to be addressed by the coming editions of SQM.

This survey aims to give an overview of several substantial developments of the last 50 years in the structure theory of regular semigroups and to shed light on their impact on other parts of semigroup theory.

In this closing talk of the DIS 2021 Workshop, I review some of the lessons we've learned about quantum chromodynamics, and reflect on what we may hope to learn in the coming years.

Search-Oriented Conversational AI (SCAI) is an established venue that regularly puts a spotlight upon the recent work advancing the field of conversational search. SCAI'21 was organised as an independent on-line event and featured a shared…

This talk summarises the discussions during the conference on the spin structure of the nucleon held at Erice; July 1995. The summary focuses on where we have come, where we are now, and the emerging questions that direct where we go next…