From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/367 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: Call for contributions Date: Thu, 24 Apr 1997 15:30:16 -0300 (ADT) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241016917 25407 80.91.229.2 (29 Apr 2009 14:55:17 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:55:17 +0000 (UTC) To: categories Original-X-From: cat-dist Thu Apr 24 15:30:23 1997 Original-Received: by mailserv.mta.ca; id AA29542; Thu, 24 Apr 1997 15:30:16 -0300 Original-Lines: 86 Xref: news.gmane.org gmane.science.mathematics.categories:367 Archived-At: Date: Thu, 24 Apr 1997 10:32:32 +0200 From: Pino Rosolini [An HTML version of the Call for Contributions is available at http://www.disi.unige.it/conferences/new-trends97/ Apologies if you receive copies of the message.] Call for Contributions NEW TRENDS IN SEMANTICS Satellite Workshop to ICALP '97 July 4-5, 1997 Bologna, Italy The purpose of the workshop is to gather researchers in the field of semantics of programming languages and to investigate new developments. Special emphasis will be given to game semantics. Contributions are invited in the form of a short abstract on topics related to semantics of computations. We welcome contributions about novel applications to semantics from areas such as type theory, category theory, domain theory, logic, as well as others. Invited speakers are Samson Abramsky, LFCS, Edinburgh Vincent Danos, Paris VII Andre` Joyal, Univ. de Quebec, Montreal Davide Sangiorgi, INRIA, Sophia-Antipolis The next announcements will be distributed electronically only to those who will have so requested. Please, send the appended form to ntis97@athena.disi.unige.it. Submission: Fill in the form appended below with information about title and abstract, and send it, preferably by e-mail, to ntis97@athena.disi.unige.it by May 22, 1997. A provisional programme will be drawn and distributed on May 25, before the deadline for early registration at ICALP, trying to include as many talks as time permits. The programme will then be finalized by May 30 -- we intend to allow for late submissions if slots in the programme remain available after May 25. Organizing committee: Andrea Asperti (Bologna) asperti@cs.unibo.it Eugenio Moggi (Genova) moggi@disi.unige.it Giuseppe Rosolini (Genova) rosolini@disi.unige.it Information about the workshop or about accomodation in Bologna can be found at the URL above. For further information, please contact G. Rosolini or Renza Morino R. Morino G. Rosolini tel: +39 (0)10 3536965 tel: +39 (0)10 3536630 fax: +39 (0)10 3536960 fax: +39 (0)10 3536699 email: morino@dima.unige.it email: rosolini@disi.unige.it address: DIMA, Univ. di Genova, via Dodecaneso 35, 16146 Genova, Italy ---------MAIL ASAP TO ntis@athena.disi.unige.it-------------- Name: Address: email: URL (if available): I would like to receive future announcements about the workshop. I would like to give a talk entitled: which should last (15/25/40 minutes, please specify). Abstract: