SIGACT news

• To: types
• Subject: SIGACT news
• From: John C. Mitchell <jcm@cs.stanford.edu>
• Date: Mon, 10 Sep 90 11:31:00 EDT
• Sender: meyer@theory.lcs.mit.edu

Date: Fri, 07 Sep 90 15:19:27 -0700

SIGACT news has columns on
	Database Theory
	Cryptology
	Computational Geometry
	Complexity Theory
but no
	Logic and Programming Theory

Any volunteers?

• Prev: ISABELLE USERS EMAIL FORUM
• Next: PER's and operational semantics
• Index(es):
  • Main
  • Thread