Workshop
- To: mathgroup at yoda.physics.unc.edu
- Subject: Workshop
- From: Douglas R. Troeger <dtroeger at css3c9.engr.ccny.cuny.edu>
- Date: Wed, 1 Dec 93 13:08:55 EST
Appended please find an announcement for a FORMAL METHODS TEACHING
WORKSHOP, to be held at Hamilton College in the Summer of 1994. We
would be most grateful if you would post this announcement to
the mathematica group.
In a separate message, I will send a LaTex version of the announcement.
Thanks for your help,
D. Troeger
City College
-------------------------------------------------------------------------------
TEACHING FORMAL METHODS
CURRICULUM DEVELOPMENT WORKSHOP
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 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 at 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 February 20, 1994 by the program
chair. This is a firm deadline, late submissions will not be
considered. Participants will be notified of acceptance by March
20,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: February 20, 1994
Participation Notification: March 20, 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 at cs.colgate.edu
Doug Troeger: dtroeger at csfaculty.engr.ccny.cuny.edu
Henry Walker: walker at ac.grin.edu