LICS'95 2nd Call for Participation

• To: types@dcs.gla.ac.uk
• Subject: LICS'95 2nd Call for Participation
• From: felty@research.att.com (Amy Felty)
• Date: Thu, 11 May 95 00:28 EDT
• Approved: types@dcs.gla.ac.uk

[Since it is relevant and SHORT, I am distributing this conference
announcement to types.  -- Philip Wadler, moderator, Types Forum.]




		     Tenth Annual IEEE Symposium on
			Logic in Computer Science

			    June 26-29, 1995
			  San Diego, California

The conference program and registration forms (*) can be obtained by
visiting the LICS'95 home page at http://math.ucsd.edu/lics95/, or by
anonymous ftp from research.att.com, directory /dist/lics.

	      *** Preregistration deadline is May 26 ***

For early registration, payment must be received by May 26, 1995.  The
deadline for reserving on-campus housing is also May 26; reservations
received later than this are subject to availability.

-----------

(*) Although it is not mentioned on the registration form, vegetarian
and kosher banquet meals are available if requested at the time the
reservation is made.

• Prev: papers available
• Next: THEMES IN THE SEMANTICS OF COMPUTATION
• Index(es):
  • Main
  • Thread