SAS'01 Call For Participation

radhia <>
Thu Apr 19 00:02:42 CEST 2001


                               PROGRAMME   
                      AND CALL FOR PARTICIPATION

                               SAS'01
             Eigth International Static Analysis Symposium
                  La Sorbonne, Paris, 16-18 July, 2001

                       http://www.ens.fr/sas01/
     

                       
Registration information is available at the bottom of this announcement.
Electronic registration is also available on the SAS'01 website.

The hotels reservations are to be done by --22 April 2001--.

                              PROGRAMME


MONDAY JULY  16

8:00-9:00   Registration

9:00-10:00  Invited Talk  
  
    Program Analysis for Multi-threaded Programs
    Martin C. Rinard (Massachusetts Institute of Technology)

10:00-10:30  Break

10:30-12:00  Program transformation
  
    Communication and Parallelism Introduction and Elimination 
    by Static Formal Transformations
    Miquel Bertran, Francesco Babot and August Climent Miquel Nicolau
  
    Using Slicing to Identify Duplication in Source Code
    Raghavan Komondoor and Susan Horwitz
  
    Soft Scheduling for Hardware
    Richard Sharp and Alan Mycroft


12:00-13:30 Lunch

13:30-15:00 Strictness and termination 
 
    Effective Strictness Analysis with HORN Constraints
    Kevin Glynn, Peter J. Stuckey, and Martin Sulzmann
  
    Applying Static Analysis Techniques for Inferring Termination
    Conditions of Logic Programs
    Fred Mesnard and Ulrich Neumerkel
  
    An Abstract Analysis of the Probabilistic Termination of Programs
    David Monniaux


15:00-15:30 Break

15:30-17:00 Semantics abstraction
  
    Watchpoint Semantics: A Tool for Compositional and Focussed 
    Static Analyses
    Fausto Spoto
  
            Logic and constraint programming
 
    Parameterizing a Groundness Analysis of Logic Programs
    Lunjin Lu
  
    Finite-Tree Analysis for Constraint Logic-Based Languages
    Roberto Bagnara, Roberta Gori, Patricia M. Hill 
    and Enea Zaffanella

20:00 Reception

TUESDAY, JULY  17

9:00-10:00  Invited Talk  
  
    Applications of Extended Static Checking
    K. Rustan M. Leino (Compaq SRC)

10:00-10:30  Break

10:30-12:00  Data structures
  
    Cleanness Checking of String Manipulations in C Programs 
    via Integer Analysis
    Nurit Dor, Michael Rodeh and Mooly Sagiv
  
    Solving Regular Tree Grammar Based Constraints
    Yanhong A. Liu, Ning Li and Scott D. Stoller
  
    Static analyses of floating-point operations
    Éric Goubault


12:00-13:30  Lunch

13:30-15:30  Pointer analysis 
 
    Estimating the Impact of Scalable Pointer Analysis 
    on Optimization
    Manuvir Das, Ben Liblit, Manuel Fahndrich and Jakob Rehof
  
    Efficient Computation of Parameterized Pointer Information 
    for Interprocedural Analyses
    Donglin Liang and Mary Jean Harrold
  
             Model Checking
    
    Parametric Optimization of Open Real-Time Systems
    Farn Wang and Hsu-Chun Yen

    Embedding Chaos
    Natalia Sidorova and Martin Steffen


15:30-16:00  Break

16:00-17:00  Abstract Model Checking
  
    Analyzing Fair Parametric Extended Automata
    A. Annichini, A. Bouajjani, Y. Lakhnech, and M. Sighireanu
  
    Incompleteness, Counterexamples and Refinements in 
    Abstract Model-Checking
    Roberto Giacobazzi and Elisa Quintarelli


20:00 Reception


WEDNESDAY, JULY  18

9:00-10:00  Invited Talk  
  
    Language-based Security: What's needed and Why
    Fred Schneider (Cornell University)

10:00-10:30  Break

10:30-12:00  Mobility
  
    A Behavioral Module System for the Pi-Calculus
    Sriram K. Rajamani and Jakob Rehof
  
    An Abstract Interpretation Framework for Analysing 
    Mobile Ambients
    Francesca Levi and Sergio Maffeis
  
    Abstract Interpretation-Based Static Analysis of 
    Mobile Ambients
    Jérôme Feret


12:00-13:30  Lunch

13:30-15:00  Invited Session on Security
 
    ...
    David Wagner (University of california, Berkeley)
  
    A type and Effect Analysis of Security Protocols
    (joint work with Alan jeffrey)
    Andrew Gordon (Microsoft Research, Cambridge)


15:00-15:30 Break

15:30-17:00  Invited Session on Security (Cont'd)
  
    Abstracting Cryptographic Protocols by Prolog Rules
    Bruno Blanchet (Inria Rocquencourt)
  
    Security-Typed languages  
    Andrew Myers (Cornell University)


------------------------- REGISTRATION FORM ---------------------

Send your registration form with payment to:
SAS'01 c/o Evelyne Rayssac
LIX
Ecole Polytechnique
91128 Palaiseau cedex
France
  
Phone:   +33 1 69 33 45 95
Fax:   +33 1 69 33 30 14
email: 

Electronic registration is also available at URL:
http://www.ens.fr/sas01/

Name:............................................................

Affiliation:.....................................................

Address:.........................................................

        .........................................................

        .........................................................

Phone:...........................................................

Fax:.............................................................

E-mail:..........................................................

Dietary requirements:............................................

Do you need an Internet connection for a laptop from your hotel?:

        .........................................................

Payment:  enclosed check ___ 
          enclosed order form (for french institutions only) ___ 
          bank tranfer (enclose a copy of the transfer order) ___       

Registration fees:  (in Euros or French Francs) 
      by June, 15 2001: 
                  500 ¤ ___  or  3,300 FF___   
                  365 ¤ ___  or  2,400 FF___ (Full-time Student)
      after June, 15 2001:
                  550 ¤ ___  or  3,600 FF___ 
                  415 ¤ ___  or  2,700 FF___ (Full-time Student) 

Registration includes the proceedings, reception, lunches and 
coffee breaks.  

---------------------------- PAYMENT -----------------------------

Choose one of the three following options for the payment of the 
registration fees. Make sure that the bank and change costs are at 
your charge.

 - Bank transfer to:
       Bank: Tresorerie Generale des Hauts-de-Seine 
             167, avenue Joliot Curie 
             92013 Nanterre Cedex, France
       (State your name and the reference: SAS'01)

       Domiciliation: RGFIN PARIS NANTERRE
       Account Number: 40071-9200-00003000310-90
       Account Name: CNRS IDF OUEST-NORD
       
       (A copy of the transfer order is to be sent with the
       registration form)
 
 - Make checks payable to: 
       Agent comptable secondaire CNRS IDF Ouest & Nord
       (to be sent with the registration form)

 - Purchase Order Form (for french institutions only) to:
        LIX-CNRS
       (to be sent with the registration form)
     

------------------------ HOTEL RESERVATION ----------------------

Hotel and travel information, including detailed information on 
room reservations at any of a number of hotels near the
Ecole Normale Supe'rieure, is available at the URL
               http://www.ens.fr/sas01/
We have arranged rooms for conference attendees
at the hotels listed below.
 
To make a reservation, send a fax to the hotel mentioning your
credit card number and the reference "SAS'01, La Sorbonne". 

Please note that all of the reservations are to be done 
by ---22 April 2001---.

(**) Hotel Pierre Nicole
39 rue Pierre Nicole 
Paris 75005
Phone: +33 (0)1 43 54 76 86
Fax: +33 (0)1 43 54 22 45
Single: 390F, Double: 440F, Breakfast: 40F


(***) Observatoire du Luxembourg
107, Boulevard Saint-Michel
Paris 75005
Phone: +33 (0)1 46 34 10 12
Fax: +33 (0)1 46 33 73 86
Single: 600F, Double: 700F, Breakfast: included 
http://Paris.HotelGuide.net/data/h100051.htm

(***) Hotel des Jardins de Luxembourg
5 Impasse Royal-Collard 
Paris 75005
Phone: +33 (0)1 40 46 08 88
Fax: +33 (0)1 40 46 02 28
Single or Double: 825F, Breakfast: 55F
http://Paris.HotelGuide.net/data/h100049.htm

(***) Hotel Luxembourg 

4, rue de Vaugirard
75006 Paris
Phone: +33 (0)1 43 25 35 90
Fax: +33 (0)1 43 25 17 18
Single: 800F / Double: 910F, Breakfast: included
http://www.hotel-luxembourg.com/index.html

(***) Hotel du Pantheon
Place du Pantheon
75005 Paris
Phone: +33 (0)1 43 54 32 95 
Fax: +33 (0)1 43 26 64 65
Single or Double: 1100F, Triple: 1300F, Breakfast: 55F
http://www.france-hotel-guide.com/h75005pantheon.htm

Students rooms at the ENS-Cachan Campus
(For students registrating at SAS'01 & CAV'01)
61 av. du Pdt Wilson
94235 Cachan
RER-B: Bagneux (45min)
Single: 120F 
(contact person: )
http://www.lsv.ens-cachan.fr/cav01/

-----------------------------------------------------------------





More information about the erlang-questions mailing list