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}