We present a modification of the relativistic phase shift method of determining the radio emission geometry from pulsar magnetospheres proposed by Gangadhara & Gupta (2001). Our modification provides a method of determining radio emission altitudes which does not depend on the viewing geometry and does not require polarization measurements. We suggest application of the method to the outer edge...

Non-interleaving semantics of concurrent systems is often expressed using posets, where causally related events are ordered and concurrent events are unordered. Each causal poset describes a unique concurrent history which is a set of executions, expressed as sequences or step sequences, consistent with it. Moreover, such a poset captures all precedence-based invariant relationships between the...

We report on the first completely simultaneous observation of a gamma-ray burst (GRB) using an array of Imaging Atmospheric Cherenkov Telescopes which is sensitive to photons in the very-highenergy (VHE) γ-ray range (& 100 GeV). On 2006 June 2, the Swift Burst Alert Telescope (BAT) registered an unusually soft γ-ray burst (GRB 060602B). The burst position was under observation using the High En...

Province, Mayor of Toruń, and His Magnificence Rector of Nicolaus Copernicus University in Toruń. The program of the symposium was exceptionally rich. It included 49 plenary and panel lectures as well as 22 oral announcements mostly presented by young scientists. Moreover, during the four subject sessions, there were 258 poster presentations. An integral part of the conference were workshops an...

Although Gödel proved the first incompleteness theorem by intuitionistically respectable means, Gödel’s formula, true although undecidable, seems to offer a counter-example to the general constructivist or anti-realist claim that truth may not transcend recognizability in principle. It is argued here that our understanding of the formula consists in a knowledge of its truth-conditions, that it ...