: Aspects idéologiques des débats linguistiques en Provence et ailleurs

Numéro coordonné par J. Costa et M. Gasquet-CyrusInternational audienceCe volume de la revue Lengas traite de la compétition et des débats idéologiques au sein des mouvements de revitalisation linguistique, en Provence mais aussi en Pays Valencien, en Corse et au Costa Rica

On the Status of the Geodesic Principle in Newtonian and Relativistic Physics

A theorem due to Bob Geroch and Pong Soo Jang ["Motion of a Body in General Relativity." Journal of Mathematical Physics 16(1), (1975)] provides a sense in which the geodesic principle has the status of a theorem in General Relativity (GR). I have recently shown that a similar theorem holds in the context of geometrized Newtonian gravitation (Newton-Cartan theory) [Weatherall, J. O. "The Motion of a Body in Newtonian Theories." Journal of Mathematical Physics 52(3), (2011)]. Here I compare the interpretations of these two theorems. I argue that despite some apparent differences between the theorems, the status of the geodesic principle in geometrized Newtonian gravitation is, mutatis mutandis, strikingly similar to the relativistic case.Comment: 16 page

Book review: C. GASTGEBER - E. MITSIOU - J. PREISER-KAPELLER (ed.), The Register of the Patriarchate of Constantinople. An essential source for the history and Church of Late Byzantium. Wien 2013

Book Review: C. GASTGEBER - E. MITSIOU- J. PREISER-KAPELLER (ed.), The Register of the Patriarchate of Constantinople. An essential source for the history and Church of Late Byzantium. Proceedings of the international Symposium, Vienna, 5th-9th May 2009 (Österreichische Akademie der Wissenschaften. Philosophisch-Historische Klasse. Denkschriften, 457. Band. Veröffentlichungen zur Byzanzforschung, 32. Band), Wien 2013, 308 p. ISBN 978-3-7001-7434-9

Brouillet versus Blanchet

"Attention is here called to the fact that the anonymous booklet entitled Dix ans sur la cote du Pacifique (Quebec, 1873) was not written by the Rev. J.B.A. Brouillet to whom it has been frequently ascribed… Evidence would indicate that Banchet and not Brouillet was the 'missionaire Canadien' responsible for the book.

Foundations of Security Analysis and Design VII

none3sìopenA. Aldini; J. Lopez; F. Martinelli (Editors)Aldini, Alessandro; J., Lopez; F., Martinell

A Hybrid Analysis for Security Protocols with State

Cryptographic protocols rely on message-passing to coordinate activity among principals. Each principal maintains local state in individual local sessions only as needed to complete that session. However, in some protocols a principal also uses state to coordinate its different local sessions. Sometimes the non-local, mutable state is used as a means, for example with smart cards or Trusted Platform Modules. Sometimes it is the purpose of running the protocol, for example in commercial transactions. Many richly developed tools and techniques, based on well-understood foundations, are available for design and analysis of pure message-passing protocols. But the presence of cross-session state poses difficulties for these techniques. In this paper we provide a framework for modeling stateful protocols. We define a hybrid analysis method. It leverages theorem-proving---in this instance, the PVS prover---for reasoning about computations over state. It combines that with an "enrich-by-need" approach---embodied by CPSA---that focuses on the message-passing part. As a case study we give a full analysis of the Envelope Protocol, due to Mark Ryan