[TYPES/announce] Summer School on Mechanized Logic for High Assurance Software

Walid Taha taha at rice.edu
Tue Apr 19 08:05:10 EDT 2011

[Only 10 more places are available.  Deadline is April 29th, 2011.]

Summer School on Mechanized Logic for High Assurance Software
May 30 - June 1, 2011, Halmstad University, Halmstad, Sweden

This three-day school is focused on innovative methods for
logic-based software engineering using verification and
property-based testing as key tools for building software with
mathematically expressed properties.

The workshop speakers and topics will be:

  * Rex Page, University of Oklahoma,
    “Teaching using Dracula/ACL2”

  * John Hughes, Chalmers University,
    “Property-based Testing using QuviQ QuickCheck”

  * Veronica Gaspes and Walid Taha, Halmstad Univeristy,
    “Property-based Development in Scala”

The workshop activities will include lectures and hands-on tutorial
sessions.  The afternoon of the final day will offer participants the
opportunity to develop work on their projects with the help of the
speakers and using the tools introduced in the workshop.

Registration ends April 29th, and the number of participants is
limited.  The registration fee of 450 SEK covers lunches and
coffee breaks.  Information to help you make arrangements for
lodging will be sent to you when you registration has been
confirmed. To apply to the summer school, please send an email
to Dr. Veronica Gaspes  <Veronica.Gaspes at hh.se> with
"Application to Logic Summer School" in the title.
Walid Taha, Eng., PhD.,  Adjunct Professor of Computer Science,
Rice University, Houston, TX 77025.
Tel:  +1 (832) 528 5948.  Fax:  +1 (832) 645 0239
Professor of Computer Science, School of Information Science,
Computer and Electrical Engineering, Halmstad University,
Halmstad, S-301 18 Sweden, Tel:  +46 35 16 76 19



The information in this email may be confidential and/or privileged. This
email is intended to be reviewed by only the individual or organization
named above. If you are not the intended recipient or an authorized
representative of the intended recipient, you are hereby notified that any
review, dissemination or copying of this email and its attachments, if any,
or the information contained herein is prohibited. If you have received this
email in error, please immediately notify the sender by return email and
delete this email from your system.

More information about the Types-announce mailing list