Schedule Thursday 09:30 Welcome coffee. 10:00 S. Thomassé. Introduction. 10:30 J. Fox. A disproof of Scott’s conjecture. 11:30 Lunch break. 14:00 P. Ossona de Mendez. Low tree-depth decompositions and homomorphism bounds. 15:00 Open problems session. Friday 9:00 P. Seymour. Structure theory for tournaments. 10:00 J. Fox. Graph regularity lemmas. 11:00 A. Scott. T.B.A. 12:00 Lunch break. 14:00 V...

This paper describes a series of novel statistical meta-tests for comparing experimental runs for significant difference, for conditions where experiments are carried out using Binomial or multinomial contingency statistics (χ, z, log-likelihood tests, etc.). The new tests permit us to evaluate whether experiments have failed to replicate on new data; whether a particular data source or subcorp...

The χ-Spaces framework [CCM02b] provides a set of tools to support every step of the security protocol’s life-cycle. The framework includes a simple, yet powerful programming language which is an implementation of the Security Protocol Language (SPL) [CW01]. SPL is a formal calculus designed to model security protocols and prove interesting properties about them. In this paper we take an authen...

We introduce χ-Spaces, a domain specific programming language tailored to the development of security protocols. χ-Spaces has a rigorous formal semantics which allows us to reason about the actual implementation of security protocols. In this manner we fill-in the gap between the formal specification of a protocol and its actual implementation.

Suppose X is a compact Kähler manifold of dimension n and E is a holomorphic vector bundle. For every p ≤ dim C X we have a sheaf Ω p (E) whose sections are holomorphic (p, 0)-forms with coefficients in E. We set and we define the holomorphic Euler characteristics χ p (X, E) := q≥0 (−1) q h p,q (X, E). It is convenient to introduce the generating function of these numbers χ y (X, E) := p≥0 y p ...

We study the finite groups G with a faithful irreducible character whose square is a linear combination of algebraically conjugate irreducible characters of G. In conclusion, we offer another proof of one theorem of Isaacs-Zisser. There are a few papers treating the finite groups possessing an irreducible character whose powers are linear combinations of appropriate irreducible characters, for ...