marriott@marriott.watson.ibm.com (for R. Giacobazzi) (03/26/91)
Workshop on Semantics Based Analysis of Logic Programs
Paris (France)
June,24 1991
The ICLP'91 will be held in Paris (France) from June 24 to June 28, 1991.
Thus, we would like to bring together the leading researchers in the area of
"Semantics Based Analysis of Logic Programs", in June 24, just
before the ICLP, at INRIA in the suburbs of Paris, near Versailles.
--------------------------------------------------------------------------
We would like to invite all the participants, who intend to make a
presentation, to submit an extended abstract (about 5 pages) by May 15,1991,
as a contribution to the discussion, the title of their talk and their mail
address, to
Roberto Giacobazzi
Dipartimento di Informatica, Universita di Pisa
Corso Italia, 40, I-56125 Pisa, Italy
fax: +39-50-510226
e-mail: giaco@dipisa.di.unipi.it
(mail to R. Giacobazzi)
A selection will take place only if required by time allocation problems.
The abstracts will be distributed to the participants.
Talks should be limited to 20/30 minutes to leave time for questions
and discussions.
Presentations and discussions are invited on any topic in the area of
semantics based analysis of logic programs, including but not limited to
* semantics definition for abstract interpretation,
* frameworks for Abstract interpretation,
* applications of Abstract Interpretation,
* Abstract Interpretation for parallel implementations,
* analysis of concurrent programs,
* analysis of constraint logic programs,
* control flow analysis.
If you have any questions on the workshop, please feel free to contact us.