DOCSLIB.ORG

ITEC Program Book

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
ITEC Program Book ITEC 2019 Program Addendum Voxman Building Notes - The Voxman School of Music’s facilities will be open every day from 7am – 10pm for the duration of the conference - The registration desk will be available on the 2000 level in the Pearl West Lobby from 8am-8pm for the duration of the conference - Instrument storage will be available in the Stark Opera Theater (0151) from Tuesday through Saturday, 8am-8pm and for 30 minutes after the end of the evening concerts o Exception: instrument storage will close at 4:30pm on Thursday to allow volunteers time to prepare for and attend the Banquet - No instruments or cases are allowed in the Concert Hall or Recital Hall audience during performances - No food or drink (except water) in any classroom or performance space - Lessons with students under 18 years of age require a parent or guardian in the room Schedule Corrections Monday, May 27 Correction 9:00am – Recital Hall (2301) – Competition: Mock Band - Tuba Incorrectly listed as taking place in Stark Opera Theater (pg. 17, pg. 27) Correction 9:00am – Stark Opera Theater (0151) – Competition: Electronics Incorrectly listed as starting at 5:00pm (pg. 27) Correction 3:00pm – Recital Hall (2301) – Competition: Young Artist Euphonium Final Round Incorrectly listed as Artist Euphonium Final Round (pg. 27) Correction 3:30pm – Concert Hall (2101) – Competition: Ensemble Final Round Incorrectly listed as starting at 3:00pm (pg. 17, omitted on pg. 27) Tuesday, May 28 Cancellation 9:00am – James Dixon Room (0002) – Presentation: Samuel Adler – David Saltzman (pg. 18, 32) Correction 2:00pm – James Dixon Room (0002) – Presentation: Young at Heart – Velvet Brown and Roger Bobo (pg. 37) Incorrectly listed as taking place in the Recital Hall Correction 3:15pm – Concert Hall (2101) – Recital: Chris Buckley and Hiram Diaz Incorrectly listed as the USMB Chamber Ensemble (pg. 19) Correction 4:30pm – James Dixon Room (0002) – Panel Discussion: Opportunities in Music Incorrectly listed as a 120-minute session – this is a 50-minute session Correction 4:30pm – Choral Rehearsal Room (0005) – Artist All-Star Ensemble Rehearsal Incorrectly listed as a performance – this ensemble’s performance will take place on Thursday at 2:00pm in the Concert Hall Correction 6:15pm – Pearl West Lobby (2000) – College Ensemble: University of Northern Iowa Incorrectly listed as 7:00pm in the Concert Hall (pg. 19) and 7:00pm in the Pearl West Lobby (pg. 42) Omission 7:00pm – Concert Hall (2101) – College Ensemble: University of Tennessee Combined Ensembles (pg. 19, 42) Wednesday, May 29 Omission 8:00am – Choral Rehearsal Room (0005) – Warm Up Class: David Earll and Chris Vivio Bringing the Breathing Gym & Brass Gym to Your Daily Routine (pg. 19, 44) Cancellation 9:45am – James Dixon Room (0002) – Presentation: Mental Health in Studios – Jarrett McCourt (pg. 19, 44) Correction 10:15am – Choral Rehearsal Room (0005) – Masterclass: Eirik Gjerdevik Incorrectly listed as taking place in the Concert Hall (pg. 45) Correction 11:30am – Recital Hall (2301) – Recital: Bethany Wiese and Erik Lundquist Incorrectly listed as 12:00-2:00pm (pg. 20, 46-47) Corrected 2:00pm – James Dixon Room (0002) – Presentation: Arnold Jacobs (Mike Grose) Incorrectly listed as taking place in the Organ Hall (pg. 49) Cancellation 3:15pm – Concert Hall (2101) – Recital: Australian Tuba Quartet *Tim Buzbee will still be performing at 3:15pm* (pg. 20) Thursday, May 30 Correction 9:45am – Concert Hall (2101) – College Ensemble: Hokusho University (Keisetsu Chiba) Incorrectly listed as taking place in the in the Organ Hall (pg. 21) Omission 5:00pm – Coralville Marriott – Lifetime Members Reception (by invitation only) Friday, May 31 Omission 8:00am – Choral Rehearsal Room (0005) – Warm Up Class: Oystein Baadsvik (pg. 22, 60) Cancellation 7:00pm – Concert Hall (2101) – College Ensemble: UFRN Tuba-Euphonium Ensemble (pg. 23) Saturday, June 1 Omission 8:00am – Choral Rehearsal Room (0005) – Warm Up Class: Gene Pokorny (pg. 23, 72) Correction 12:30pm – Organ Hall – College Ensemble – Arkansas Tech University Incorrectly listed as Arkansas University Cancellation 3:15pm – Choral Rehearsal Room (0005) – Masterclass: Matt Tropman (pg. 24, 78) Correction 5:45pm – Pearl West Lobby (2000) – College Ensemble: University of Missouri – Kansas City Incorrectly listed as University of North Carolina: Greensboro (pg. 79) Correction After Hours Event – Coralville Marriott – Freddie Mendoza and Altin Sencalar Incorrectly listed as taking place at The Mill (pg. 24, 81) Omitted Artist Biographies Dr. Robert Benton, a frequent performer at music conferences worldwide, is currently Assistant Professor of Low Brass and Music Theory at the University of Nebraska at Kearney. Prior to joining the faculty at UNK, Dr. Benton taught at the University of Windsor (Canada), Adrian College, Eastern Michigan University, and held other teaching positions at Oakland University and the University of Michigan. As a performer, he has experience as a soloist and ensemble member across the United States and Canada, Europe, and Asia. He has performed with the Dunshan Symphonic Wind Orchestra (Beijing), the Brass Band of Battle Creek, and the Detroit Symphony Orchestra. His debut CD, Mirrors, was recently featured and praised on NPR. Since 2009, he has commissioned or premiered over a dozen new works for low brass in a variety of media, ranging from unaccompanied works to chamber concerti. He has published two etude books; both are transcriptions of vocalise repertoire from Rossini and from the early 20th century Paris Conservatory He earned his DMA from the University of Michigan (Euphonium and Tuba performance), his MM from Michigan State University (Low Brass Specialist), and his BM from Oakland University (Euphonium performance). Dr. Benton is a Besson performing artist. Alexander Lapins is Assistant Professor of Tuba and Euphonium at the University of Tennessee School of Music and is tubist of the UT Faculty Brass Quintet and Quintasonic Brass. A diverse artist, he is the only tubist to have won fellowships at both the Tanglewood Music Center and the Henry Mancini Institute. He has been a featured soloist with a variety of bands and orchestras, and has performed with the New Mexico Philharmonic Orchestra, Indianapolis Symphony Orchestra, Chicago Symphony Orchestra, Cincinnati Symphony Orchestra, Cincinnati Opera Orchestra, Charleston Symphony Orchestra, Charlotte Symphony Orchestra, Flagstaff Symphony Orchestra, Roanoke Symphony Orchestra, Disney Collegiate All-Star Band, the Guy Lombardo Orchestra, the New Sousa Band and Harvey Phillips’ Tubacompany. As a session musician Dr. Lapins can be heard on hundreds of recordings for a wide variety of productions and publications. He earned degrees from James Madison University, the University of Michigan and Indiana University. His principal teachers include Daniel Perantoni, Fritz Kaenzig, Kevin Stees, Tony Kniffen and Mike Bunn. Alexander Lapins is a Miraphone Artist and an Eastman Artist. Roger Bobo (b. June 8, 1938) is an American tuba virtuoso and brass pedagogue. He retired from active tuba performance in 2001 in order to devote his time to conducting and teaching. He gave what is reputed to be the first solo tuba recital in the history of Carnegie Hall. His solo and ensemble discography is extensive. He is the author of "Mastering the Tuba" published by Editions Bim (CH). While living in the USA, he was the resident conductor of the Topanga Philharmonic Orchestra. He has been a guest conductor with numerous orchestras and chamber ensembles in North America, Europe and Asia. Roger Bobo currently resides in Oaxaca, Mexico - teaching and conducting. Rochester Philharmonic Orchestra, 1956–1962 (Erich Leinsdorf, cond.) Royal Concertgebouw Orchestra, Amsterdam, 1962–1964 (Bernard Haitink, cond.) Los Angeles Philharmonic, 1964–1989 (Zubin Mehta, Carlo Maria Giulini, André Previn cond.) Velvet Brown enjoys a professional career as an international soloist, chamber ensemble performer, recording artist, conductor, and orchestral player. She has made regular solo appearances throughout Europe, Japan, Canada and the United States. Ms. Brown is the principal tubist of the New Hampshire Music Festival Orchestra. She has served as principal tuba with the River City Brass band, guest principal with the Lahti Philharmonic in Finland and as substitute or additional tubist with the Detroit Symphony, Saint Louis Symphony, San Francisco Women’s Philharmonic Orchestra, and the Fort Wayne Philharmonic. In 2004, Brown joined Howard Johnson’s “Gravity” Tuba Jazz Ensemble as lead tuba. Professor Brown has served as guest conductor for festivals in the United States as well as abroad in Europe, Japan, and Canada. She is a founding and current member of Stiletto Brass Quintet, Monarch Brass and Nedra Johnson’s “Fat Bottom Girls”. Brown is also a founding board member of the International Women’s Brass Conference. Ms. Brown is a Distinguished Professor at the Pennsylvania State University and Artist Faculty at the Peabody Institute at Johns Hopkins University. Mark Carlson is an Associate Professor of Music at Mount St. Mary’s University in Emmitsburg, Maryland where he teaches courses in music history and directs the university’s instrumental ensembles. He has earned a Doctor of Musical Arts and Master of Music in Music Performance from the University of Wisconsin-Madison, an Advanced Degree in Music Performance from the Oulun Seudun Ammattikorkeakoulu in Finland, and a Bachelor of Music from Northwestern University in
Load more

Recommended publications
  • Seeing (For) Miles: Jazz, Race, and Objects of Performance
    W&M ScholarWorks Dissertations, Theses, and Masters Projects Theses, Dissertations, & Master Projects 2014 Seeing (for) Miles: Jazz, Race, and Objects of Performance Benjamin Park anderson College of William & Mary - Arts & Sciences Follow this and additional works at: https://scholarworks.wm.edu/etd Part of the African American Studies Commons, and the American Studies Commons Recommended Citation anderson, Benjamin Park, "Seeing (for) Miles: Jazz, Race, and Objects of Performance" (2014). Dissertations, Theses, and Masters Projects. Paper 1539623644. https://dx.doi.org/doi:10.21220/s2-t267-zy28 This Dissertation is brought to you for free and open access by the Theses, Dissertations, & Master Projects at W&M ScholarWorks. It has been accepted for inclusion in Dissertations, Theses, and Masters Projects by an authorized administrator of W&M ScholarWorks. For more information, please contact [email protected]. Seeing (for) Miles: Jazz, Race, and Objects of Performance Benjamin Park Anderson Richmond, Virginia Master of Arts, College of William and Mary, 2005 Bachelor of Arts, Virginia Commonwealth University, 2001 A Dissertation presented to the Graduate Faculty of the College of William and Mary in Candidacy for the Degree of Doctor of Philosophy American Studies Program College of William and Mary May 2014 APPROVAL PAGE This Dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy Benjamin Park Anderson Approved by T7 Associate Professor ur Knight, American Studies Program The College
    [Show full text]
  • June WTTW & WFMT Member Magazine
    Air Check Dear Member, The Guide As we approach the end of another busy fiscal year, I would like to take this opportunity to express my The Member Magazine for WTTW and WFMT heartfelt thanks to all of you, our loyal members of WTTW and WFMT, for making possible all of the quality Renée Crown Public Media Center content we produce and present, across all of our media platforms. If you happen to get an email, letter, 5400 North Saint Louis Avenue or phone call with our fiscal year end appeal, I’ll hope you’ll consider supporting this special initiative at Chicago, Illinois 60625 a very important time. Your continuing support is much appreciated. Main Switchboard This month on WTTW11 and wttw.com, you will find much that will inspire, (773) 583-5000 entertain, and educate. In case you missed our live stream on May 20, you Member and Viewer Services can watch as ten of the area’s most outstanding high school educators (and (773) 509-1111 x 6 one school principal) receive this year’s Golden Apple Awards for Excellence WFMT Radio Networks (773) 279-2000 in Teaching. Enjoy a wide variety of great music content, including a Great Chicago Production Center Performances tribute to folk legend Joan Baez for her 75th birthday; a fond (773) 583-5000 look back at The Kingston Trio with the current members of the group; a 1990 concert from the four icons who make up the country supergroup The Websites wttw.com Highwaymen; a rousing and nostalgic show by local Chicago bands of the wfmt.com 1960s and ’70s, Cornerstones of Rock, taped at WTTW’s Grainger Studio; and a unique and fun performance by The Piano Guys at Red Rocks: A Soundstage President & CEO Special Event.
    [Show full text]
  • Contemporary Music in American Symphony Orchestras: a Guide for Arts Administrators
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by University of Oregon Scholars' Bank Contemporary Music in American Symphony Orchestras: A Guide for Arts Administrators by Julia R. Katz A MASTER’S PROJECT Presented to the Arts and Administration Program of the University of Oregon in partial fulfillment of the requirements for the Degree of Master’s of Science in Arts Administration June 2007 Contemporary Music in American Symphony Orchestras: A Guide for Arts Administrators Approved: Dr. Patricia Dewey Arts and Administration University of Oregon Date: ii ABSTRACT This graduate research project serves as a guide for arts administrators programming contemporary symphonic music (music composed by a living composer) in American symphony orchestras. The researcher (1) demonstrates there is a need for contemporary symphonic music to be a part of the standard repertoire in American symphony orchestras, (2) provides resources for arts administrators seeking to incorporate (more) contemporary symphonic music into their programming, and (3) provides tools for arts administrators to bring in new audiences to experience contemporary symphonic music. The document contains a chapter on resources available federally and to Oregon, Washington and California, professional viewpoints about the importance of contemporary music in American symphony orchestras, and recommendations for arts administrators based on literature and field research. KEYWORDS •American symphony orchestra •Contemporary Music in America •American Music and the American Symphony Orchestra •Musical & Aesthetic Taste/Public Appreciation •Contemporary music audience/audience development •Current Trends in Program Repertoire •Grants and contemporary music •Foundations and contemporary music •Contemporary music resources • Contemporary music criticism iii CURRICULUM VITA NAME OF AUTHOR: Julia R.
    [Show full text]
  • The Natural Learning Process and Its Implications for Trombone Pedagogy
    THE NATURAL LEARNING PROCESS AND ITS IMPLICATIONS FOR TROMBONE PEDAGOGY Shane Robert Reider, B.M. Thesis Prepared for the Degree of MASTER OF ARTS UNIVERSITY OF NORTH TEXAS May 2012 APPROVED: Lynn Eustis, Major Professor and Director of Graduate Studies in Music Nathan Kruse, Committee Member Warren Henry, Committee Member and Associate Dean for Academic Affairs in Music James Scott, Dean of the College of Music James D. Meernik, Acting Dean of the Toulouse Graduate School Reider, Shane Robert, The Natural Learning Process and Its Implications for Trombone Pedagogy. Master of Arts (Music), May 2012, 28 pp., references, 18 titles. This thesis considers the natural learning process as defined by Timothy Gallwey and Daniel Kohut. This learning theory is examined and applied to trombone pedagogy while also considering physiological attributes to trombone performance. A brief synopsis of the history and lineage of the trombone is considered in order to understand the current setting of the trombone medium. Copyright 2012 by Shane Robert Reider ii TABLE OF CONTENTS Page CHAPTER 1 INTRODUCTION ........................................................................................ 1 CHAPTER 2 BACKGROUND ......................................................................................... 3 History of the Trombone ....................................................................................... 4 CHAPTER 3 THE NATURAL LEARNING PROCESS..................................................... 9 NLP in Trombone Applied Teaching ..................................................................
    [Show full text]
  • The New York City Jazz Record
    BEST OF 2020 BEST OF 2020 BEST OF 2020 BEST OF 2020 BEST OF 2020 BEST OF 2020 THE NEW YORK CITY JAZZ RECORD BEST OF 2020 BEST OF 2020 BEST OF 2020 BEST OF 2020 BEST OF 2020 BEST OF 2020 MUSICIANS OF THE YEAR ALBUMS OF THE YEAR MISCELLANEOUS CATEGORIES OF THE YEAR LAKECIA BENJAMIN (saxophone) JUHANI AALTONEN, JONAS KULLHAMMAR, JUHANI AALTONEN, JONAS KULLHAMMAR, TIM BERNE (saxophone) CHRISTIAN MEAAS SVENDSEN, CHRISTIAN MEAAS SVENDSEN, SOLO RECORDINGS BOXED SETS UNEARTHED GEMS ILMARI HEIKINHEIMO— ILMARI HEIKINHEIMO— MATS GUSTAFSSON (saxophone) CHRIS CORSANO—Mezzaluna (Catalytic Sound) PAUL DESMOND—The Complete 1975 Toronto Recordings ART BLAKEY & THE JAZZ MESSENGERS— The Father, the Sons & The Junnu (Moserobie) The Father, the Sons & The Junnu (Moserobie) (Mosaic) Just Coolin’ (Blue Note) JAMES BRANDON LEWIS (saxophone) SIGURD HOLE—Lys / Mørke ( Light / Darkness ) (s/r) DANIEL BINGERT—Berit in Space (Moserobie) PETER EVANS—Into the Silence (More is More-Old Heaven) HERMIONE JOHNSON—Tremble (Relative Pitch) CHARLES LLOYD—8: Kindred Spirits (Live From the Lobero) ELLA FITZGERALD—The Lost Berlin Tapes (Verve) CHARLES LLOYD (saxophone) (Blue Note) LUCA T. MAI—Heavenly Guide (Trost) LONDON JAZZ COMPOSERS ORCHESTRA— COLLOCUTOR—Continuation (On The Corner) FIRE! ORCHESTRA—Actions (Rune Grammofon) MODERN JAZZ QUINTET KARLSRUHE/ That Time (Not Two) MATTHEW SHIPP—The Piano Equation (Tao Forms) FOUR MEN ONLY—Complete Recordings (NoBusiness) CHARLES MINGUS—@ Bremen 1964 & 1975 (Sunnyside) ANDREA KELLER—Journey Home (s/r) DAVID KRAKAUER/KATHLEEN TAGG— UP-AND-COMERS OF THE YEAR CHARLIE PARKER—The Mercury & Clef 10-Inch LP ALAN WAKEMAN—The Octet Broadcasts (1969 and 1979) Breath & Hammer (Table Pounding) Collection (Verve) EMMET COHEN (piano) JON-ERIK KELLSO—Sweet Fruits Salty Roots (Jazzology) LATIN RELEASES (Gearbox) CHARLES LLOYD VARIOUS ARTISTS—Not Two..
    [Show full text]
  • Listen to Dezron Douglas & Brandee Younger Cover the Stylistics' “You Make Me Feel Brand New” from New Album
    December 1, 2020 For Immediate Release Listen to Dezron Douglas & Brandee Younger Cover The Stylistics’ “You Make Me Feel Brand New” From New Album, Force Majeure, Out This Friday on International Anthem ​ ​ (Photo by Deneka Peniston) "Compiled from a soul-affirming livestream series that they shared from their Harlem apartment, [Force Majeure is] a portrait of resilience, solidarity and reassurance.” — WBGO ​ ​ ​ “Modal jazz classics by Pharoah Sanders and the Coltranes rub shoulders with heavenly, harmonically rich readings of soul standards such as You Make Me Feel Brand New by the Stylistics and Clifton Davis’s Never Can Say Goodbye, with Younger lurching from modal flourishes to the more chromatic, bop-influenced improvisations of Dorothy Ashby.” — The ​ Guardian (“Contemporary Album of the Month,” 4 stars) “Building on their weekly livestream and recorded in their living room with a single microphone, Force Majeure finds the duo swimming freely between the great canon of jazz compositions and familiar, contemporary popular songs.” — Bandcamp (“Album of the Day”) ​ Bassist Dezron Douglas and harpist Brandee Younger will release their debut album as a ​ ​ ​ ​ duo, Force Majeure, this Friday on International Anthem. Today, they present new single, ​ ​ ​ ​ “You Make Me Feel Brand New,” a cover of The Stylistics’ classic, written by Thom Bell and ​ ​ ​ Linda Creed. It follows previous singles, the pair’s “warm and inviting” (Stereogum) cover of ​ ​ Pharoah Sanders & Leon Thomas’ “The Creator Has A Master Plan,” and “Sing,” which was ​ ​ originally written by Joe Raposo for Sesame Street. ​ ​ Douglas & Younger’s rendition of “You Make Me Feel Brand New” opens with light, magnetic flutters from Younger’s harp and strolling plucks on Douglas’ bass.
    [Show full text]
  • Primary Music Previously Played
    THE AUSTRALIAN SCHOOL BAND & ORCHESTRA FESTIVAL MUSIC PREVIOUSLY PLAYED HELD ANNUALLY THROUGH JULY, AUGUST & SEPTEMBER A non-competitive, inspirational and educational event Primary School Concert and Big Bands WARNING: Music Directors are advised that this is a guide only. You should consult the Festival conditions of entry for more specific information as to the level of music required in each event. These information on these lists was entered by participating bands and may contain errors. Some of the music listed here may be regarded as too easy or too difficult for the section in which it is listed. Playing music which is not suitable for the section you have entered may result in you being awarded a lower rating or potentially ineligible for an award. For any further advice, please feel free to contact the General Manager of the Festival at [email protected], visit our website at www.asbof.org.au or contact one of the ASBOF Advisory Panel Members. www.asbof.org.au www.asbof.org.au I [email protected] I PO Box 833 Kensington 1465 I M 0417 664 472 Lithgow Music Previously Played Title Composer Arranger Aust A L'Eglise Gabriel Pierne Kenneth Henderson A Night On Bald Mountain Modest Moussorgsky John Higgins Above the World Rob GRICE Abracadabra Frank Tichelli Accolade William Himes William Himes Aerostar Eric Osterling Air for Band Frank Erickson Ancient Dialogue Patrick J. Burns Ancient Voices Michael Sweeney Ancient Voices Angelic Celebrations Randall D. Standridge Astron (A New Horizon) David Shaffer Aussie Hoedown Ralph Hultgren
    [Show full text]
  • In This Issue
    FALL 2019 IN THIS ISSUE JONATHAN BISS CELEBRATING BEETHOVEN: PART I November 5 DANISH STRING QUARTET November 7 PILOBOLUS COME TO YOUR SENSES November 14–16 GABRIEL KAHANE November 23 MFA IN Fall 2019 | Volume 16, No. 2 ARTS LEADERSHIP FEATURE In This Issue Feature 3 ‘Indecent,’ or What it Means to Create Queer Jewish Theatre in Seattle Dialogue 9 Meet the Host of Tiny Tots Concert Series 13 We’re Celebrating 50 Years Empowering a new wave of Arts, Culture and Community of socially responsible Intermission Brain arts professionals Transmission 12 Test yourself with our Online and in-person trivia quiz! information sessions Upcoming Events seattleu.edu/artsleaderhip/graduate 15 Fall 2019 PAUL HEPPNER President Encore Stages is an Encore arts MIKE HATHAWAY Senior Vice President program that features stories Encore Ad 8-27-19.indd 1 8/27/19 1:42 PM KAJSA PUCKETT Vice President, about our local arts community Sales & Marketing alongside information about GENAY GENEREUX Accounting & performances. Encore Stages is Office Manager a publication of Encore Media Production Group. We also publish specialty SUSAN PETERSON Vice President, Production publications, including the SIFF JENNIFER SUGDEN Assistant Production Guide and Catalog, Official Seattle Manager ANA ALVIRA, STEVIE VANBRONKHORST Pride Guide, and the Seafair Production Artists and Graphic Designers Commemorative Magazine. Learn more at encorespotlight.com. Sales MARILYN KALLINS, TERRI REED Encore Stages features the San Francisco/Bay Area Account Executives BRIEANNA HANSEN, AMELIA HEPPNER, following organizations: ANN MANNING Seattle Area Account Executives CAROL YIP Sales Coordinator Marketing SHAUN SWICK Senior Designer & Digital Lead CIARA CAYA Marketing Coordinator Encore Media Group 425 North 85th Street • Seattle, WA 98103 800.308.2898 • 206.443.0445 [email protected] encoremediagroup.com Encore Arts Programs and Encore Stages are published monthly by Encore Media Group to serve musical and theatrical events in the Puget Sound and San Francisco Bay Areas.
    [Show full text]
  • Automated and Modular Refinement Reasoning for Concurrent Programs
    Automated and modular refinement reasoning for concurrent programs Chris Hawblitzel Erez Petrank Shaz Qadeer Serdar Tasiran Microsoft Technion Microsoft Ko¸cUniversity Abstract notable successes using the refinement approach in- clude the work of Abrial et al. [2] and the proof of full We present civl, a language and verifier for concur- functional correctness of the seL4 microkernel [37]. rent programs based on automated and modular re- This paper presents the first general and automated finement reasoning. civl supports reasoning about proof system for refinement verification of shared- a concurrent program at many levels of abstraction. memory multithreaded software. Atomic actions in a high-level description are refined We present our verification approach in the context to fine-grain and optimized lower-level implementa- of civl, an idealized concurrent programming lan- tions. A novel combination of automata theoretic guage. In civl, a program is described as a collection and logic-based checks is used to verify refinement. of procedures whose implementation can use the stan- Modular specifications and proof annotations, such dard features such as assignment, conditionals, loops, as location invariants and procedure pre- and post- procedure calls, and thread creation. Each procedure conditions, are specified separately, independently at accesses shared global variables only through invoca- each level in terms of the variables visible at that tions of atomic actions. A subset of the atomic ac- level. We have implemented as an extension to civl tions may be refined by new procedures and a new the language and verifier. We have used boogie civl program is obtained by replacing the invocation of an to refine a realistic concurrent garbage collection al- atomic action by a call to the corresponding proce- gorithm from a simple high-level specification down dure refining the action.
    [Show full text]
  • MUSC 2019.12.12 Honorbandprog
    THE SCHOOL OF MUSIC, THEATRE, AND DANCE PRESENTS 2019 DECEMBER 12–14 COLORADO STATE UNIVERSITY Are you interested in joining the largest, loudest, and most visible student organization on the CSU campus? Our students forge enduring skills and lifelong friendships through their dedication and hard work in service of Colorado State University. JOIN THE MARCHING BAND! • 240 MEMBERS REPRESENT ALL MAJORS • SCHOLARSHIPS FOR EVERY STUDENT AUDITION DEADLINE: JULY 13, 2020* *Color guard and drumline auditions (in-person) June 6, 2020 INFORMATION AND AUDITION SUBMISSION: MUSIC.COLOSTATE.EDU/BANDS/JOIN bands.colostate.edu #csumusic THURSDAY EVENING, DECEMBER 12, 2019 AT 7:30 P.M. COLORADO STATE UNIVERSITY SYMPHONIC BAND PRESENTS: HERstory T. ANDRÉ FEAGIN, conductor SHERIDAN MONROE LOYD, graduate student conductor Early Light (1999) / CAROLYN BREMER Albanian Dance (2005) / SHELLY HANSON Sheridan Monroe Loyd, graduate student conductor Terpsichorean Dances (2009) / JODIE BLACKSHAW One Life Beautiful (2010) / JULIE GIROUX Wind Symphony No. 1 (1996) / NANCY GALBRAITH I. Allegro II. Andante III. Vivace Jingle Them Bells (2011) / JULIE GIROUX NOTES ON THE PROGRAM Early Light (1999) CAROLYN BREMER Born: 1975, Santa Monica, California Died: 2018, Long Beach, California Duration: 6 minutes Early Light was written for the Oklahoma City Philharmonic and received its premiere in July 1995. The material is largely derived from “The Star-Spangled Banner.” One need not attribute an excess of patriotic fervor in the composer as a source for this optimistic homage to our national anthem; Carolyn Bremer, a passionate baseball fan since childhood, drew upon her feelings of happy anticipation at hearing the anthem played before ball games when writing her piece.
    [Show full text]
  • A Selection of Contemporary Fanfares for Multiple Trumpets Demonstrating Evolutionary Processes in the Fanfare Form
    MODERN FORMS OF AN ANCIENT ART: A SELECTION OF CONTEMPORARY FANFARES FOR MULTIPLE TRUMPETS DEMONSTRATING EVOLUTIONARY PROCESSES IN THE FANFARE FORM Paul J. Florek, B.M., M.M. Dissertation Prepared for the Degree of DOCTOR OF MUSICAL ARTS UNIVERSITY OF NORTH TEXAS May 2015 APPROVED: Keith Johnson, Major Professor Eugene Corporon, Committee Member John Holt, Committee Member and Chair of the Department of Instrumental Studies Benjamin Brand, Director of Graduate Studies in Music James C. Scott, Dean of the College of Music Costas Tsatsoulis, Interim Dean of the Toulouse Graduate School Florek, Paul J. Modern Forms of an Ancient Art: A Selection of Contemporary Fanfares for Multiple Trumpets Demonstrating Evolutionary Processes in the Fanfare Form. Doctor of Musical Arts (Performance), May 2015, 73 pp., 1 table, 26 figures, references, 96 titles. The pieces discussed throughout this dissertation provide evidence of the evolution of the fanfare and the ability of the fanfare, as a form, to accept modern compositional techniques. While Britten’s Fanfare for St. Edmundsbury maintains the harmonic series, it does so by choice rather than by the necessity in earlier music played by the baroque trumpet. Stravinsky’s Fanfare from Agon applies set theory, modal harmonies, and open chords to blend modern techniques with medieval sounds. Satie’s Sonnerie makes use of counterpoint and a rather unusual, new characteristic for fanfares, soft dynamics. Ginastera’s Fanfare for Four Trumpets in C utilizes atonality and jazz harmonies while Stravinsky’s Fanfare for a New Theatre strictly coheres to twelve-tone serialism. McTee’s Fanfare for Trumpets applies half-step dissonance and ostinato patterns while Tower’s Fanfare for the Uncommon Woman demonstrates a multi-section work with chromaticism and tritones.
    [Show full text]
  • The Impact of Arnold Jacobs's Teaching on Canadian Tuba
    Song and Wind in Canada: The Impact of Arnold Jacobs’s Teaching on Canadian Tuba Pedagogues by Jonathan David Rowsell A thesis submitted in conformity with the requirements for the degree of Doctor of Musical Arts Faculty of Music University of Toronto © Copyright by Jonathan David Rowsell 2018 Song and Wind in Canada: The Impact of Arnold Jacobs’s Teaching on Canadian Tuba Pedagogues. Jonathan David Rowsell Doctor of Musical Arts Faculty of Music University of Toronto 2018 Abstract The purpose of this study is to investigate the impact of Arnold Jacobs on the pedagogical approaches of prominent tuba teachers in Canada. Nine tuba teachers from different Canadian universities participated in this study. Each participant was interviewed digitally using Skype or FaceTime and asked nine questions designed to understand their personal pedagogical approach and how it relates to Arnold Jacobs. These questions cover important pedagogical ideas including sound concept, breathing, articulation, and embouchure. Arnold Jacobs is considered to be one of the most influential brass pedagogues in history. His method of teaching, referred to as Song and Wind, is a pedagogical concept frequently implemented in contemporary applied tuba teaching. The interview findings of this study demonstrate that the Arnold Jacobs legacy is very present in Canadian tuba pedagogy. The approaches to articulation and sound concept demonstrated by the interview subjects are consistently Jacobs inspired. The approaches to breathing and embouchure, however, are much more varied. Although these elements are not as tightly embedded in the Jacobs pedagogical ii approach, the results of the study demonstrate that the majority of the interview subjects are fully aware of the ways in which their current approaches have been adapted.
    [Show full text]