PLEASE POST --> SAS 2008 at the Technical University of Valencia
We are happy to announce that SAS 2008, the Static Analysis Symposium,
will take place at the Technical University of Valencia:
Submission of abstract: January 12, 2008
Submission of full paper: January 19, 2008
Notification: March 7, 2008
Camera-ready version: April 5, 2008
Conference: July 16-18, 2008
Please see: http://www.dsic.upv.es/~sas2008/
Maria Alpuente, German Vidal (PC co-chairs)
---------------------------------------------------------------------------
Call for papers
Static Analysis Symposium - SAS 2008
16-18 July 2008, Valencia, Spain
(co-located with LOPSTR 2008)
url http://www.dsic.upv.es/~sas2008
email [EMAIL PROTECTED]
Static Analysis is increasingly recognized as a fundamental tool for high
performance implementations and verification of programming languages and
systems. The series of Static Analysis Symposia has served as the primary venue
for presentation of theoretical, practical, and application advances in the
area.
The technical programme for SAS 2008 will consist of invited lectures and
presentations of refereed papers. Contributions are welcome on all aspects of
static analysis, including, but not limited to:
abstract domains
abstract interpretation
abstract testing
compiler optimizations
control flow analysis
data flow analysis
model checking
program specialization
security analysis
theoretical analysis frameworks
type based analysis
verification systems
Submissions can address any programming paradigm, including concurrent,
constraint, functional, imperative, logic, and object-oriented programming.
Survey papers, that present some aspect of the above topics from a new
perspective, and application papers, that describe experience with industrial
applications, are also welcome. Papers must describe original work, be written
and presented in English, and must not substantially overlap with papers that
have been published, or that are simultaneously submitted to a journal or a
conference with refereed proceedings.
Submitted papers should be at most 15 pages formatted in LNCS style (excluding
bibliography and well-marked appendices not intended for publication). PC
members are not required to read the appendices, and thus papers should be
intelligible without them. The conference proceedings is planned to be
published by Springer-Verlag in the Lecture Notes in Computer Science series.
Invited Speakers
Roberto Giacobazzi (Universita' degli Studi di Verona, Italy)
Ben Liblit (University of Wisconsin-Madison, USA)
PC co-chairs
Maria Alpuente (Technical University of Valencia, Spain)
German Vidal (Technical University of Valencia, Spain)
PC members
Elvira Albert (Complutense University of Madrid, Spain)
Roberto Bagnara (University of Parma, Italy)
Maurice Bruynooghe (Katholieke Universiteit Leuven, Belgium)
Radhia Cousot (CNRS & Ecole Polytechnique, France)
Javier Esparza (Technical University of Munchen, Germany)
Sandro Etalle (University of Twente, The Netherlands)
Moreno Falaschi (University of Siena, Italy)
Stephen Fink (IBM T.J. Watson Research Center, USA)
John Gallagher (Roskilde University, Denmark)
Maria del Mar Gallardo (University of Malaga, Spain)
Chris Hankin (Imperial College, UK)
Manuel Hermenegildo (Technical University of Madrid, Spain)
Julia Lawall (University of Copenhagen, Denmark)
Alexey Loginov (IBM T.J. Watson Research Center, USA)
Hanne Riis Nielson (Technical University of Denmark, Denmark)
David Schmidt (Kansas State University, USA)
Harald Sondergaard (University of Melbourne, Australia)
Tachio Terauchi (Tohoku University, Japan)
Ji Wang (National Laboratory for Parallel and Distributed Processing, China)
Local chair
Alicia Villanueva (Technical University of Valencia, Spain)
Important dates
Submission of abstract: January 12, 2008
Submission of full paper: January 19, 2008
Notification: March 7, 2008
Camera-ready version: April 5, 2008
Conference: July 16-18, 2008
---------------------------------------------------------------------------
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
