Introductory text covering all the most important aspects of serial composition, including discussion of melody-writing, twelve-note harmony, polyphonic writing, forms, orchestrations, etc.

Originally published: New York: Longman, c1979.

This landmark anthology collects for the first time the key historical documents that helped give definition and purpose to the conceptual art movement. Compared to other avant-garde movements that emerged in the 1960s, conceptual art has received relatively little serious attention by art historians and critics of the past twenty-five years—in part because of the difficult, intellectual nature of the art. This lack of attention is particularly striking given the tremendous influence of conceptual art on the art of the last fifteen years, on critical discussion surrounding postmodernism, and on the use of theory by artists, curators, critics, and historians. This landmark anthology collects for the first time the key historical documents that helped give definition and purpose to the movement. It also contains more recent memoirs by participants, as well as critical histories of the period by some of today's leading artists and art historians. Many of the essays and artists' statements have been translated into English specifically for this volume. A good portion of the exchange between artists, critics, and theorists took place in difficult-to-find limited-edition catalogs, small journals, and private correspondence. These influential documents are gathered here for the first time, along with a number of previously unpublished essays and interviews. Contributors Alexander Alberro, Art & Language, Terry Atkinson, Michael Baldwin, Robert Barry, Gregory Battcock, Mel Bochner, Sigmund Bode, Georges Boudaille, Marcel Broodthaers, Benjamin Buchloh, Daniel Buren, Victor Burgin, Ian Burn, Jack Burnham, Luis Camnitzer, John Chandler, Sarah Charlesworth, Michel Claura, Jean Clay, Michael Corris, Eduardo Costa, Thomas Crow, Hanne Darboven, Raúl Escari, Piero Gilardi, Dan Graham, Maria Teresa Gramuglio, Hans Haacke, Charles Harrison, Roberto Jacoby, Mary Kelly, Joseph Kosuth, Max Kozloff, Christine Kozlov, Sol LeWitt, Lucy Lippard, Lee Lozano, Kynaston McShine, Cildo Meireles, Catherine Millet, Olivier Mosset, John Murphy, Hélio Oiticica, Michel Parmentier, Adrian Piper, Yvonne Rainer, Mari Carmen Ramirez, Nicolas Rosa, Harold Rosenberg, Martha Rosler, Allan Sekula, Jeanne Siegel, Seth Siegelaub, Terry Smith, Robert Smithson, Athena Tacha Spear, Blake Stimson, Niele Toroni, Mierle Ukeles, Jeff Wall, Rolf Wedewer, Ian Wilson

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.