Date: 24 Sep 2007 15:59:51 -0500
From: Matt Kaufmann
Subject: This week in ACL2

Hi --

At this week's ACL2 seminar, Jacob Kornerup and I will talk about a
project towards integrating ACL2 with LabVIEW (abstract is below).
The seminar is at the usual time and place: Wednesday 4:00-5:45 pm in
ACES 3.116.

This week's seminar topic is the integration of ACL2 with LabVIEW, a
graphical programming language from National Instruments (NI).
Building on infrastructure created by Grant Passmore (recent UT
graduate and NI intern), in collaboration with Jacob Kornerup (UT
Ph.D.) and Jeff Kodosky of NI, Matt Kaufmann worked with the others
this summer to create an initial methodology for suitable automation
for verification of for-loops and while-loops.

Jacob will start by presenting relevant background on LabVIEW in
general and this project in particular.  Matt will then show ACL2
events that provide appropriate automation for for-loops and
while-loops.

-- Matt