MathGroup Archive 1993

[Date Index] [Thread Index] [Author Index]

Search the Archive

Workship announcement (LaTeX)

  • To: mathgroup at
  • Subject: Workship announcement (LaTeX)
  • From: Douglas R. Troeger <dtroeger at>
  • Date: Wed, 1 Dec 93 13:09:41 EST


Hamilton College \\
Clinton, N.Y.\\
July 30 - Aug 5, 1994\\
{\it sponsored by \\
The National Science Foundation\/}
{\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. \\

{\bf TOPICS}  for the modules may include (but are not limited to)
\item  Propositional/Predicate Calculus with applications to assertions/pre- and
 \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

{\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.\\
{\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.\\
{\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. \\
{\bf TO APPLY:}   Send an  abstract of your module or position paper and a brief
 resume including your experience with
formal methods to:
	        {\bf Philip Mulry \\
		Formal Methods Workshop \\
     		Computer Science Department \\

     		Colgate University \\
     		13 Oak Drive\\
     		Hamilton, New York 13346 \\

		email:fmworkshop at}
{\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,
{\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 \\
{\bf FOR FURTHER INFORMATION,}  contact the Workshop Co-chairs:\\
Philip Mulry: phil at\\
Doug Troeger: dtroeger at\\
Henry Walker: walker at\\



  • Prev by Date: solve
  • Next by Date: Mathematica World
  • Previous by thread: solve
  • Next by thread: Mathematica World