WSA'93: Call for System Demonstrations 
Author Message
 WSA'93: Call for System Demonstrations

--
                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

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



Fri, 12 Jan 1996 21:21:37 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. WSA'93: Call for System Demonstrations

2. WSA'93: Call for System Demonstrations

3. WSA'93: Call for System Demonstrations

4. WSA'93: Call for System Demonstrations

5. CFP: 3rd Workshop on Static Analysis WSA'93

6. PDK'91 -- PRELIMINARY PROGRAM and CALL FOR SYSTEM DEMONSTRATIONS

7. PDK'91 -- PRELIMINARY PROGRAM and CALL FOR SYSTEM DEMONSTRATIONS

8. CFP: OOPSLA'93 workshop on debugging, profiling, and understanding OO systems

9. Ada at Systems'93 in Munich

10. ICLP'93 WORKSHOP: Concurrent, Distributed and Parallel Implementations of Logic Programming Systems

11. CFP: OOPSLA'93 workshop on debugging, profiling, and understanding OO systems

12. CALL FOR PARTICIPATION: OOPSLA '93 workshop on Processes and Metrics

 

 
Powered by phpBB® Forum Software