MathGroup Archive 1993

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

Search the Archive


  • To: mathgroup at
  • Subject: Workshop
  • From: Douglas R. Troeger <dtroeger at>
  • 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


			    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

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.

	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
	Doug Troeger: dtroeger at
	Henry Walker: walker at

  • Prev by Date: Mathematica World
  • Next by Date: **nb2tex
  • Previous by thread: Mathematica World
  • Next by thread: **nb2tex