Here are the details from Alex Plotnick:
From: Alex Plotnick
Subject: Boston Lisp Meeting 2013-06-12T18:00
I'm pleased to announce that Jonathan Smith will present his work on '$-Calculisp' at the next Boston Lisp meeting. The meeting will take place on Wednesday, 12 June at 6:00 PM, in the Star Conference room at MIT's Stata Center (MIT 32-D463; <http://whereis.mit.edu/?go=32>).
$-Calculus (pronounced cost calculus), is a descriptive fourth generation language designed for modeling parallel algorithms, artificial intelligence applications, and bounded super-Turing computation. $-Calculisp is a domain specific language modeled on $-Calculus and implemented in Common Lisp. $-Calculisp is implemented using a variety of techniques based on Common Lisp's unique macro and object system facilities. Rather than being an interpreter, it is a macro compiler, expanding $-Calculisp code into efficiently compiled Common Lisp code. It is intended to be a robust extension to the Common Lisp language, as such, it allows for integration of regular common lisp functions alongside $-Calculisp code.
Jonathan Smith is a software engineer at NovaSparks, where he currently works on their HPCC lisp to VHDL compiler infrastructure. Previously, he worked at Westinghouse Electric Company, where he supported their ShuffleWorks product line. Shuffleworks is an expert system, (written in Lisp) for coordinating nuclear fuel movement within power plants.