Welcome to the home of

Bal-Swing-Boogie Productions!

This is the place to be if you want to learn more about Lindy Hop and Balboa in the San Diego area. Bal-Swing-Boogie Productions offers services in the areas of whole class & private instruction, private & public performances, and organizing special events. This is also the home of the "Corner Boogie", a high energy Friday night phish tickets swing dance venue!

Bal-Swing-Boogie Productions' mission is to preserve the history of Lindy Hop and Balboa, to provide quality instruction that protects the integrity of the dances, and to encourage the innovation of Lindy Hop and Balboa. As a collaborative team, Nathan Sartain and Tertia Miyashiro practice what they preach and dance with the same energetic style as they teach. It is very obvious to all that their knowledge, creative skills, and enthusiasm come straight from their passion for Lindy Hop and Balboa! michael buble tickets

Boogie is an intermediate verification language, intended as a layer on which to build program verifiers for other languages. Several program verifiers have been built in this way, including one for the object-oriented .NET language Spec#, the HAVOC and vcc verifiers for C, the Dafny language and verifier, and the concurrent language Chalice. A previous version of the language was called BoogiePL; the new version of the language is Boogie 2.