[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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.gas...@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 --- CONFIDENTIALITY NOTICE 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.