Workship announcement (LaTeX)
- To: mathgroup at yoda.physics.unc.edu
- Subject: Workship announcement (LaTeX)
- From: Douglas R. Troeger <dtroeger at css3c9.engr.ccny.cuny.edu>
- Date: Wed, 1 Dec 93 13:09:41 EST
\documentstyle{article} \setlength{\textwidth}{6.5in} \setlength{\textheight}{7.5in} \setlength{\oddsidemargin}{0in} \setlength{\topmargin}{0in} \setlength{\parskip}{.3in} \begin{document} \begin{center} {\bf\ TEACHING FORMAL METHODS} \\ {\bf\ CURRICULUM DEVELOPMENT WORKSHOP} \\ \bigskip Hamilton College \\ Clinton, N.Y.\\ July 30 - Aug 5, 1994\\ {\it sponsored by \\ The National Science Foundation\/} \end{center} \smallskip \begin{flushleft} {\bf 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 of the module is left unspecified, modules should contain both expository material and exercises or labs. \\ \noindent {\bf TOPICS} for the modules may include (but are not limited to) \begin{itemize} \item Propositional/Predicate Calculus with applications to assertions/pre- and post-conditions \item Loops and Invariants \item Category Theory \item Algorithm Design \item Hardware Specification/Design/Verification \item Parallel Constructs (eg. CSP, Hoare semantics) \\ \item Operational Semantics \item Formal Methods with OOP \item Applications of Mathematica \end{itemize} {\bf 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.\\ \bigskip {\bf 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 \$200 after submission of their revised module.\\ \bigskip {\bf 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. \\ \bigskip {\bf TO APPLY:} Send an abstract of your module or position paper and a brief resume including your experience with formal methods to: \end{flushleft} \begin{center} {\bf Philip Mulry \\ Formal Methods Workshop \\ Computer Science Department \\ Colgate University \\ 13 Oak Drive\\ Hamilton, New York 13346 \\ email:fmworkshop at cs.colgate.edu} \end{center} \smallskip \begin{flushleft} {\bf 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 module drafts (in a specified format) will be due July 1, 1994. A final revised module will be due November 1, 1994.\\ \bigskip {\bf 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 \\ \bigskip {\bf 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\\ \end{flushleft} \end{document}