7,950 research outputs found
Simon Hantaï: round table discussions
No full textThe work of the Hungarian painter Simon Hantaï (1922-2008) has gained increasing recognition in the last few years, particularly in terms of major retrospectives at the Centre Pompidou in Paris and the Villa Medici in Rome as well as an important exhibition at the Paul Kasmin Gallery in New York. After Hantaï moved to France in 1949, the series of paintings he made from the 1960s on – where processes of folding were materially at the heart of his practice – became a major and continuing influence on successive generations of French artists. The evening’s event will comprise two round table discussions. The first will look at the recent reception of Simon Hantaï and concentrate on a discussion with the artist François Rouan and Isabelle Monod-Fontaine who was one of the curators of the recent retrospective at the Centre Pompidou. The second will look at Simon Hantaï’s ongoing influence for subsequent artists and thinkers.
Speakers: François Rouan, Isabelle Monod-Fontaine, Mick Finch, Philip Armstrong, Stuart Elliot, Andy Harper, Laura Lisbon and Daniel Sturgi
Isabelle & Gertrude
No full textTitre uniforme : Grétry, André-Ernest-Modeste (1741-1813). Compositeur. [Isabelle et Gertrude]Titre propre pris au départ d'une partie de 1er violon (feuillet contenant le duo "Isabelle qui m'appelle", n°14) ; autre mention ajoutée : "de Gretry". - "Isabelle et Gertrude", comédie mêlée d'ariettes en 1 acte (16 n°). - Livret de Charles-Simon Favart d'après Voltaire. - 1re représentation : Genève, décembre 1766. - Partie vocale : Isabelle (Ut 1, 3 f.). - Parties instrumentales : 1er violon (14 f.), 2e violon (14 f.), alto (14 f.), basse (12 f.), 1er hautbois (3 f.), 2e hautbois (3 f.), 1er cor (3 f.), 2e cor (3 f.). - Matériel incomplet. - Plusieurs ratures ; quelques annotations d'exécution ajoutée au crayon rougePrésentation musicale : [Parties]Incipit : Quel air pur ! quel air pur !Appartient à l’ensemble documentaire : RISM2Appartient à l’ensemble documentaire : RISMMssOpéras-comiques -- +* 1700......- 1799......+:18e siècle
GUAIRARD Simon Hippolyte Théodore
No full textHavelange Isabelle, Huguet Françoise, Lebedeff-Choppin Bernadette. GUAIRARD Simon Hippolyte Théodore. In: Havelange Isabelle, Huguet Françoise, Lebedeff-Choppin Bernadette. Les inspecteurs généraux de l'Instruction publique. Dictionnaire biographique 1802-1914. Paris : Institut national de recherche pédagogique, 1986. pp. 387-388. (Histoire biographique de l'enseignement, 11
Catherine Kaminsky et Simon Kruk. Le nouvel ordre international
No full textCordonnier Isabelle. Catherine Kaminsky et Simon Kruk. Le nouvel ordre international. In: Politique étrangère, n°2 - 1993 - 58ᵉannée. p. 480
A Certified Refactoring Engine
No full textThe paper surveys how software tools such as refactoring systems can be validated, and introduces a new mechanism, namely the extraction of a refactoring engine for a functional programming language from an Isabelle/HOL theory in which it is verified. This research is a first step in a programme to construct certified programming tools from verified theories. We also provide some empirical evidence of how refactoring can be of significant benefit in reshaping automatically-generated program code for use in larger systems
Simon Hantaï: Round table discussion
No full textEdited transcript of the round table discussion about the work of Simon Hantaï held at the French Institute, 3 June 2014 François Rouan, Isabelle Monod-Fontaine, Mick Finch, Philip Armstrong, Stuart Elliot, Andy Harper, Laura Lisbon and Daniel Sturgis.
The round table discussed the work of the Hungarian painter Simon Hantaï (1922-2008) has gained increasing recognition in the last few years, particularly in terms of major retrospectives at the Centre Pompidou in Paris and the Villa Medici in Rome as well as an important exhibition at the Paul Kasmin Gallery in New York. After Hantaï moved to France in 1949, the series of paintings he made from the 1960s on – where processes of folding were materially at the heart of his practice – became a major and continuing influence on successive generations of French artists
3D-Druck im Bildungssystem. Im Gespräch mit Enrico Lemma & Simon Hassemer
No full textIn fünf Folgen blickt die Podcast-Reihe „Auf Knopfdruck – 3D-Druck für die Gesellschaft von morgen“ in die Zukunft des 3D-Drucks und stellt die Frage, was heute schon auf „Auf Knopfdruck“ passiert und was vielleicht in naher Zukunft möglich sein wird. Dabei geht es immer auch darum, wie innovative Fertigungstechnologien in der Gesellschaft aufgenommen und genutzt werden.
In der dritten Folge von „Auf Knopfdruck“ geht es um den 3D-Druck in Schulen und an Universitäten. Wie wird 3D-Druck gelehrt? Wie wird (damit) gelernt? Wissenschaftsjournalistin Isabelle Rogge spricht mit Dr. Enrico Lemma (bis Anfang 2022 Karlsruher Institut für Technologie) und Dr. Simon Hassemer (Zentrum für Schulqualität und Lehrerbildung Baden-Württemberg) über spannende Projekte und ihre Erfahrungen mit dem Einsatz von 3D-Druck im Bildungssystem
Cut-elimination, substitution and normalisation
No full textDate of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term calculus, and with a particular strongly normalising and confluent system of cut-reduction rules, every reduction step has, as its natural deduction translation, a sequence of zero or more reduction steps (detour reductions, permutation reductions or simplifications). This complements and (we believe) clarifies earlier work by (e.g.) Zucker and Pottinger on a question raised in 1971 by Kreisel.Peer reviewe
GUAIRARD Simon Hippolyte Théodore
No full textHavelange Isabelle, Huguet Françoise, Lebedeff-Choppin Bernadette. GUAIRARD Simon Hippolyte Théodore. In: , . Les inspecteurs généraux de l'Instruction publique. Dictionnaire biographique 1802-1914. Paris : Institut national de recherche pédagogique, 1986. pp. 387-388. (Histoire biographique de l'enseignement, 11
Mechanical Verification of Refactorings
No full textIn this paper we describe the formal verification of refactorings for untyped and typed lambda-calculi. This verification is performed in the proof assistant Isabelle/HOL. Refactorings are program transformations applied to improve the design of source code. Well-structured source code is easier and cheaper to maintain, and this motivates the use of refactoring. These transformations have been implemented as programmer tools and, as with other metaprogramming tools, it is desirable that implementations of refactorings are correct. For a refactoring to be correct the refactored program must be identical in behaviour to the original program. Since refactorings are source-to-source transformations, concrete program information matters: for example, names (of variables, procedures, etc) and program layout should also be preserved by refactoring. This is a particular characteristic of refactorings since general program transformations operate over machine representations of programs, rather than readable source code. The paper describes the formalisation adopted, and the alternatives explored. It also reflects on some of the difficulties of performing such formalisations, the interaction between refactoring and phases such as type-checking and parsing, and the generation of correct implementations from mechanised proofs
- …
