WSA93 -- Call For Demos (Int. Workshop on Static Analysis, Padova, Sept. 93)

Article View: comp.lang.misc

Article #6952

#6952

From: Congres wsa [Rauzy]
Date: Fri, 23 Jul 1993 16:05

35 lines
2702 bytes

		WSA'93: Call for System Demonstrations

The Third International Workshop on Static Analysis is held in Padova,
Italy, from 22-24 September 1993. The WSA'93 workshop is the third,
after Jtaspefl and WSA'92, which took place in Bordeaux (France).

This Workshop is devoted to theoretical and practical aspects of
static analysis. The intended audience includes researchers in the
field of static analysis, abstract interpretation, partial evaluation,
program transformation in logic, equational, functional, imperative,
object-oriented and constraint programming, both for sequential and
concurrent languages.

This year's edition will also host a daily session for system
demostration. Exhibitions of interest include, but are not restricted
to, optimization tools, compilers, programming environments. 
Interested contributors are invited to contact:

		Michele Bugliesi
		Dipartimento di Matematica Pura ed Applicata\\
		Via Belzoni 7
		I-35131 Padova (Italy)
		Phone: +39-49-831982 
		Fax: +39-49-8758596
		e-mail: michele@goedel.unipd.it

for the necessary arrangements. Available at the Workshop, there 
will be have a Solborn S4000 (Sun-Sparc1 Klone), 
running  OS/MP 4.1.A.1 (SunOS 4.1.1) with 16Mb Ram. 


-- 
Workshop on Static Analysis     :  e-mail: wsa93@artemide.dei.unipd.it  
22-24 Sep 93 - Padova (Italy)   :

Technical Details

Message-ID: <1993Jul23.160528.19750@greco-prog.fr>

Path: arc1-ca.pugleaf.net!gmd.de!Germany.EU.net!mcsun!julienas!geocub!labri!wsa92

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 107f24,ca3f48dd95cd0cb6,start
X-Google-Attributes: gid107f24,public
X-Google-Thread: f891f,ca3f48dd95cd0cb6,start
X-Google-Attributes: gidf891f,public
X-Google-Thread: f4fd2,ca3f48dd95cd0cb6,start
X-Google-Attributes: gidf4fd2,public
X-Google-Thread: f907c,ca3f48dd95cd0cb6,start
X-Google-Attributes: gidf907c,public
X-Google-Thread: 103d24,ca3f48dd95cd0cb6,start
X-Google-Attributes: gid103d24,public
X-Google-Thread: fec63,ca3f48dd95cd0cb6,start
X-Google-Attributes: gidfec63,public
X-Google-Thread: 10461e,ca3f48dd95cd0cb6,start
X-Google-Attributes: gid10461e,public
X-Google-Thread: f8362,ca3f48dd95cd0cb6,start
X-Google-Attributes: gidf8362,public
X-Google-ArrivalTime: 1993-07-23 15:25:18 PST
Newsgroups: comp.lang.misc,comp.theory,comp.lang.prolog,comp.lang.functional,comp.ai,comp.lang.lisp,comp.lang.scheme,eunet.general,eunet.misc
Path: arc1-ca.pugleaf.net!gmd.de!Germany.EU.net!mcsun!julienas!geocub!labri!wsa92
From: wsa92@labri.u-bordeaux.fr (Congres wsa [Rauzy])
Subject: WSA93  -- Call For Demos (Int. Workshop on Static Analysis, Padova, Sept. 93)
Message-ID: <1993Jul23.160528.19750@greco-prog.fr>
Sender: usenet@greco-prog.fr (le facteur fnet)
Organization: Laboratoire Bordelais de Recherche en Informatique
Date: Fri, 23 Jul 1993 16:05:28 GMT
Lines: 35