Summer Formal 2011: First Summer School on Formal Techniques

Are you a graduate student interested in summer school and formal techniques?

Then this opportunity is for you!

May 23-27, 2011

Menlo College, Atherton, California USA

Formal verification techniques such as model checking, satisfiability,
and static analysis have matured rapidly in recent years.  These
techniques are widely applicable in computing as well as in engineering,
biology, and mathematics.  This school will focus on the principles and
practice of formal verification, with a strong emphasis on the hands-on
use of verification technology.  It primarily targets graduate students
who are interested in using or developing verification technology in
their own research.

We have NSF support for the travel and food/accommodation for students from
US universities, but welcome applications from graduate students at non-US
universities as well.

The lecturers at the school include

* Leonardo de Moura (Microsoft) and Bruno Dutertre (SRI International):
Satisfiability Modulo Theories
* Jason Baumgartner (IBM):
Hardware Verification: Model Checking and Equivalence Checking
* David Monniaux (VERIMAG):
Static Analysis
* Ken McMillan (Microsoft):
Abstraction, Interpolation, and Composition
* Neha Rungta and Peter Mehlitz (NASA Ames):
Software Verification with Java PathFinder
* Natarajan Shankar (SRI):
Interactive Theorem Proving

More information on the school can be found at
Students are invited to apply for admission to the school by visiting this
web site.  We especially welcome applications from women and
under-represented minorities.  Applications must be received by Mar 31, 2011.

Tom Ball, Lenore Zuck, and Natarajan Shankar
Summer Formal Steering Committee

Talk at UTEP: Computer-Aided Tissue Engineering

Dr. Liebschner from Baylor College of Medicine will be visiting UTEP on Friday, March 4, 2011.
He’ll present a seminar entitled “Computer-Aided Tissue Engineering: From Tissue Analysis to Intra-Operative Organ Fabrication” at 11am in BUSN 309.
Refreshments will be served!
Please make an effort to attend.

Dr. Michael Liebschner, PhD
Baylor College of Medicine, Michael E. DeBakey VA Medical Center, Bio-Innovations Laboratory, Houston, TX
Computer-Aided Tissue Engineering: From Tissue Analysis to Intra-Operative Organ Fabrication

Orthopaedic surgeries comprise more than 20% of all invasive treatments in the U.S. The number one orthopaedic treatment has been open reduction and internal fixation of a fracture, which is the 11th most common overall type of surgery. Biomaterials used for bone tissue engineering are relatively sparse because of limited manufacturing techniques available to produce highly porous, mechanically robust scaffolds. The emergence of interactive computing environments has led to the development of Computer-Aided Tissue Engineering (CATE) for biological replacements of bone where the complex architecture is replaced with an assembly of smaller sub-volumes of simplified building blocks, which have characteristics that are discretely known and able to be manufactured. In this way, the creation of a scaffold consists of the optimization problem of selecting and matching primitive shapes, which match the local properties within the sub-volume they are meant to replace. Arrangement and assembly of these building blocks will allow to fill the defect site. We have developed a technology process that allows ultra rapid assembly of organs and large tissue segments to promote accelerated functional recovery in-vivo. This technology has the potential to overcome the human organ shortage for transplantation, to nullify the organ black market, and to build complex in-vitro tissue models promoting diagnostic and drug discovery. Engineered biological tissues are customizable and immune-compatible and can therefore potentially make a significant difference in the lives of people with failing organs. The objectives of this presentation are to provide an overview of the field of Computer-Aided Tissue Engineering, become familiar with the opportunities for patient specific biofabrication of implants and scaffolds, and introduce the audience to the concept of intra-operative organ and tissue biofabrication.

See you there!

Friday, March 04 @ 11:00 AM
309 Business Administration Building

Create a website or blog at

Up ↑