Four papers by SIFT researchers have been accepted to various workshops sponsored by the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16).

Robert Goldman presented two papers -- joint work with Mike Boldt and David Musliner -- at the International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS).  These papers concerned our work on verifying systems modeled as probabilistic automata.  The work was done as part of the "Quiksilver" project, funded by the Office of Naval Research, on which SIFT was a subcontractor to Carnegie-Mellon University (specifically Prof. Edmund Clarke's group).

Dr. Friedman hosted the 28th International Workshop on Qualitative Reasoning in Minneapolis, MN, drawing an international group of researchers to present advances in spatial reasoning, qualitative simulation, and knowledge representation.  The workshop website ( lists the full proceedings.

Title of the paper: "Towards an Index of Mental Wellbeing in Language The relationship between time orientation, self-focus and mood during prolonged bed-rest through automated analysis of daily journals”

Authors: Schmer-Galunder, S., Wu, P., Rye, J., Ott, T & Miller, C.

Click for details on STOTICS 2015 conference.

SIFT researchers Peggy Wu and Sonja Schmer-Galunder will attend the WebSummit 2015 in Dublin in November, an organization that connects technology communities via journalism and event organization, has published an interview with Peggy Wu discussing SIFT's ANSIBLE project. The article emphasizes how ANISBLE combats social isolation for astronauts by connecting them with friends and family through a shared virtual space.

Click to read.

PC Magazine has published an interview with Dr. Jacki Morie of All These Worlds, LLC, a collaborator in building virtual environments for NASA astronauts via the ANSIBLE project. After touring the world rendered within ANSIBLE, the interviewer discusses how ANSIBLE can combat the adverse effects born from extended periods in isolated and confined environments, as astronauts in space flight are prone to experience.

Principal Researcher, Dan Thomsen, will be speaking at San Diego Comic Con on Saturday, July 11th. Mr. Thomsen is the principal investigator for SIFT's program to help veterans suffering from combat stress by creating comics. If you are attending SDCC, stop by to learn how SIFT technology helps beginners create comics and change attitudes about effective therapy.

Dr. David Musliner attended the International Conference on Unmanned Aircraft Systems (ICUAS) to present a summary of our recent NASA-sponsored study identifying gaps and challenges associated with certifying adaptive systems. The study suggests a roadmap for future certification approaches, including considering of a radical new licensing-automation concept.

Dr. David Musliner attended the International Conference on Digital Society to present our new cyber defense approach that automatically rewrites potentially vulnerable software binaries into "chronomorphic" binaries that change their in-memory instructions and layout repeatedly, at runtime.  This new technique is practically invulnerable to code reuse attacks such as Return Oriented Programming (ROP), and even defeats online reconnaissance methods such as Blind ROP.