Dear Colleagues, I wanted to bring to your attention the second announcement of a CS workshop on the teaching of formal methods in an undergraduate setting. My apologies that the original announcement did not appear here. If you are interested or have any questions, drop me a note. --- Philip Mulry Dept of Computer Science Colgate University Hamilton N.Y. 13346 phil@cs.colgate.edu ********************************************************************** TEACHING FORMAL METHODS CURRICULUM DEVELOPMENT WORKSHOP SECOND ANNOUNCEMENT Hamilton College Clinton, N.Y. July 30 - Aug 5, 1994 sponsored by The National Science Foundation THE PURPOSE OF THE WORKSHOP is to develop modules and materials for teaching formal methods in an undergraduate setting. Participants will be asked to submit a module or position paper which they have developed. While the particular form and length of the module is left unspecified, modules should contain both expository material and exercises or labs. TOPICS for the modules may include(but are not limited to) -- Propositional/ Predicate Calculus , with applications to assertions/pre- and post-conditions -- Loops and Invariants -- Category Theory -- Algorithm Design -- Hardware Specification/Design/Verification -- Parallel Constructs (eg. CSP, Hoare semantics) -- Operational Semantics -- Formal Methods with OOP -- Applications of Mathematica THE WORKSHOP itself will be devoted to the presentation, discussion and revision of participant modules. We also anticipate inviting several keynote speakers. After the workshop, participants will be asked to submit full revised versions of their modules for incorporation into a collection for dissemination to computer science educators. Three of the principal investigators for the project, Philip Mulry (Colgate University), Doug Troeger(CUNY) and Henry Walker(Grinnell College), will be responsible for editing the collection of materials with a view towards publication in the near future. We plan to have a followup workshop in the summer of 1995, in conjunction with the working group in Object Oriented Computing, to evaluate the results to date and further disseminate the materials developed. Participants will be encouraged to use draft versions of the modules in their teaching for evaluation. AN NSF GRANT will partially cover travel, room and board costs for the workshop. Participants will receive a stipend of $150 for their participation in the workshop and an additional $150 after submission of their revised module. THERE MAY BE LIMITED FUNDS to support attendance by individuals who want to become involved with the project but do not have a module to submit at this time. Please write to inquire. TO APPLY: Send an abstract of your module or position paper and a brief resume including your experience with formal methods to: Philip Mulry Formal Methods Workshop Computer Science Department Colgate University 13 Oak Drive Hamilton, New York 13346 email:fmworkshop@cs.colgate.edu ABSTRACTS should be no more than 5 pages in length, be clearly written, and provide sufficient detail to allow the program committee to assess the merits of the module. The preferred mode of submission is via email. The preferred abstract format is latex. Submission of abstracts should be received by March 20, 1994 by the program chair. This is a firm deadline, late submissions will not be considered. Participants will be notified of acceptance by April 1, 1994. Accepted modules (in a specified format) will be due July 1, 1994. A final revised module will be due November 1, 1994. DATES: Abstract Submission Deadline: March 20, 1994 Participation Notification: April 1, 1994 Draft Module Due: July 1, 1994 Conference: July 30 - August 5, 1994 Revised Module Due: November 1, 1994 FOR FURTHER INFORMATION, contact the Workshop Co-chairs: Philip Mulry: phil@cs.colgate.edu Doug Troeger: dtroeger@csfaculty.engr.ccny.cuny.edu Henry Walker: walker@ac.grin.edu