An analysis of innocent interaction

We present two abstract machines for innocent interaction. The first, a rather complicated machine, operates directly on innocent strategies. The second, a far simpler machine, requires a “compilation” of the innocent strategies into “cellular” strategies before use. Given two innocent strategies, we get the same final result if we make them interact using the first machine or if we first cellularize them then use the other machine

Homogeneous Structures: Model Theory meets Universal Algebra (online meeting)

The workshop "Homogeneous Structures: Model Theory meets Universal Algebra'' was centred around transferring recently obtained advances in universal algebra from the finite to the infinite. As it turns out, the notion of homogeneity together with other model-theoretic concepts like $\omega$-categoricity and the Ramsey property play an indispensable role in this endeavour

CSP dichotomy for ω-categorical monadically stable structures

The constraint satisfaction problem (CSP) over a structure A with a finite relational signature, denoted by CSP(A), is the problem of deciding whether a given finite structure B with the same signature as A has a homomorphism to A. Using concepts and techniques from universal algebra, Bulatov and Zhuk proved independently that if A is finite, then the CSP over A is always in P or NP-complete. Following this result, it is a natural question to ask when and how this dichotomy can be generalized for infinite structures. The infinite-domain CSP dichotomy conjecture (originally formulated by Bodirsky and Pinsker [BPP14]) states that the same complexity dichotomy holds for first-order reducts of finitely bounded homogeneous structures. This conjecture has been solved for many special classes of structures. In this thesis we are developing new techniques involving canonical polymorphisms to attack this conjecture. Using these techniques we prove a new CSP dichotomy result, namely we show that the CSP over every finitely related ω-categorical monadically stable structure is in P or NP-complete

Selected Papers from XVI MaNaPro and XI ECMNP

The oceans harbor the majority of the Earth´s biodiversity. Marine organisms/microorganisms provide a diverse array of natural products, which are important sources of biologically active agents with unique chemical structures and a broad range of medical and biotechnological applications. The XVI MaNaPro and XI ECMNP conferences aim to present advances and future perspectives on marine natural product research to the scientific community by gathering scientists who work in marine chemistry and related scientific fields from all over the world and at different seniority levels. This Special Issue was organized on the occasion of the 2nd joint XVI MaNaPro and XI ECMNP meeting (http://wmnp2019.ipleiria.pt/) held in Peniche, Portugal, in 2019. It comprises 12 original research articles that exemplify research performed in the scope of the conference topic

Contemporary Materialism: Its Ontology and Epistemology

Materialism has been the subject of extensive and rich controversies since Robert Boyle introduced the term for the first time in the 17th century. But what is materialism and what can it offer today? The term is usually defined as the worldview according to which everything real is material. Nevertheless, there is no philosophical consensus about whether the meaning of matter can be enlarged beyond the physical. As a consequence, materialism is often defined in stark exclusive and reductionist terms: whatever exists is either physical or ontologically reducible to it. This conception, if consistent, mutilates reality, excluding the ontological significance of political, economic, sociocultural, anthropological and psychological realities. Starting from a new history of materialism, the present book focuses on the central ontological and epistemological debates aroused by today’s leading materialist approaches, including some little known to an anglophone readership. The key concepts of matter, system, emergence, space and time, life, mind, and software are checked over and updated. Controversial issues such as the nature of mathematics and the place of reductionism are also discussed from different materialist approaches. As a result, materialism emerges as a powerful, indispensable scientifically-supported worldview with a surprising wealth of nuances and possibilities