home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / misc / 2862 < prev    next >
Encoding:
Internet Message Format  |  1992-09-01  |  9.8 KB
  1. Xref: sparky comp.lang.misc:2862 comp.theory:1852 comp.lang.prolog:1633 comp.lang.functional:1055 comp.ai:3294
  2. Path: sparky!uunet!mcsun!corton!geocub!wsa92
  3. From: wsa92@greco-prog.fr (Congres wsa [rauzy])
  4. Newsgroups: comp.lang.misc,comp.theory,comp.lang.prolog,comp.lang.functional,comp.ai
  5. Subject: WSA92 Workshop on Static Analysis, Bordeaux, Sept 92
  6. Message-ID: <1992Sep1.122855.5955@greco-prog.fr>
  7. Date: 1 Sep 92 12:28:55 GMT
  8. Organization: GRECO Programmation du CNRS - Bordeaux,France
  9. Lines: 323
  10.  
  11. Please register quickly, so we can make the hotel reservations for you...
  12. SVP inscrivez-vous rapidement pour que nous puissions reserver dans
  13. les hotels...
  14. Merci - Thank you.
  15.  
  16. ====================================================================
  17.  
  18.                              WSA'92
  19.  
  20.                     Workshop on Static Analysis
  21.                    LaBRI - Universite de Bordeaux I
  22.                  FRANCE
  23.                         23-25 September 92
  24.   
  25.  
  26.                         Preliminary Program
  27.                                and
  28.                          Registration Form
  29.  
  30.  
  31. =====================================================================
  32.  
  33. --------------------- Wednesday September 23 ---------------------
  34.  
  35. 09:00 Opening Session
  36.  
  37. 09:30 Invited Talk
  38.       Constructing hierarchies of semantics by abstract interpretation
  39.       P. Cousot
  40.       Ecole Normale Superieure, Paris, France
  41.  
  42. 10:30 Coffee Break
  43.  
  44. 11:00 Thunks (continued)
  45.       O. Danvy, D. Hatcliff
  46.       Kansas State University, USA
  47.  
  48. 11:30 Transformation of Gamma Programs
  49.       C. Hankin, D. Le Metayer, D. Sands
  50.       Imperial College of Science, London UK
  51.  
  52. 12:00 Value Transforming Style
  53.       C. Queinnec
  54.       INRIA Rocquencourt and Ecole Polytechnique, France
  55.  
  56.  
  57. 12:30 Lunch
  58.  
  59. 14:00 Automatic Generation of Valid Linear Measures for CLP(Q) Programs
  60.       F. Mesnard, M. Morillon
  61.       Universite de la Reunion, France
  62.  
  63. 14:30 Efficient Analysis of Reactive Properties of
  64.       Concurrent Constraint Logic Programs
  65.       M. Codish, M. Falaschi, K. Mariott, Winsborough
  66.       Katholieke Universiteit Leuven, Belgium
  67.  
  68. 15:00 Static Analysis of CLP programs over numeric domains
  69.       R. Bagnara, R. Giacobazzi, G. Levi
  70.       Universita di Pisa, Italy
  71.  
  72. 15:30 Abstract Interpretation of Prolog Programs by means of
  73.       Mu-calculus over finite domains
  74.       M.M. Corsini, K. Musumbu, A. Rauzy
  75.       CNRS-Universite Bordeaux I, France
  76.  
  77. 16:00 Coffee Break
  78.  
  79. 16:30 Minimal Function graphs are not instrumented
  80.       A. Mycroft, M. Rosendhal
  81.       Cambridge University, UK
  82.  
  83. 17:00 Sharing Analysis of Lazy First-Order Functional Programs
  84.       G.W. Hamilton
  85.       University of Stirling, UK
  86.  
  87. 17:30 Approximations d'Evaluateurs Fonctionnels
  88.       B.P. Serpette
  89.       INRIA Rocquencourt, France
  90.  
  91. 18:00 Order-of-Demand Analysis for Lazy Languages
  92.       Y. Park, University of Windsor, Canada
  93.       B. Goldberg, University of New-York, USA
  94.  
  95. 18:30 Abstract Interpretation of Prolog Programs with Cut and Built-ins
  96.       G. File, A. Cortesi, S.Rossi
  97.       University of Padova, Italy
  98.  
  99. 19:00 Cheese and Wine
  100.  
  101. --------------------- Thursday September 24 ---------------------
  102.  
  103. 08:30 Partial Evaluation in an Industrial Context:
  104.       Compiling for Endomorphic Machines
  105.       E. Saint-James
  106.       BULL, France
  107.  
  108. 09:00 Partial Evaluation applied to Symbolic Pattern Matching 
  109.       with Intelligent Backtrack
  110.       C. Queinnec, P. Geffroy
  111.       INRIA-Rocquencourt and Ecole Polytechnique, France
  112.  
  113. 09:30 Invited Talk
  114.       Effectiveness of Combined Sharing and Freeness Analysis using
  115.       Abstract Interpretation
  116.       M. Hermenegildo
  117.       Universidad Politecnica de Madrid, Spain
  118.  
  119. 10:30 Coffee Break
  120.  
  121. 11:00 Efficient Closure Analysis with Reachability
  122.       A.E. Ayers
  123.       Laboratory for Computer Science, MIT, USA
  124.  
  125. 11:30 Program Transformation in nonmonotonic reasoning system
  126.       Tadashi Araragi
  127.       NTT Communication Science Laboratories, Japan 
  128.  
  129. 12:00 Axiomatising Uniform Properties of Recursive Data Structures
  130.       P. Jensen
  131.       Imperial College, London, UK
  132.  
  133.  
  134. 12:30 Lunch
  135.  
  136. 14:00 Invited Talk
  137.       Abstract Interpretations of Prolog Programs with Cut and Builtins
  138.       G. File
  139.       University of Padova (Italia)
  140.  
  141. 15:00 Speeding up parallelism detection for attribute grammars
  142.       M. Kuiper
  143.       Utrecht University, The Netherlands
  144.  
  145. 15:30 Weighted Systems of Equations Revisited
  146.       P. Devienne, P. Lebegue, J.C. Routier
  147.       Universite de Lille I, France
  148.  
  149. 16:00 Coffee Break
  150.  
  151. 16:30 Analysis of Concurrent Transactions in a Functional Database
  152.       Programming System
  153.       G. Amato, F. Giannotti, G. Mainetto
  154.       CNUCE, Pisa, Italia
  155.  
  156. 17:00 Inferer rapidement la geometrie des collections
  157.       J-L. Giavitto, J-P. Sansonnet, O. Michel
  158.       Universite ParisXI-Orsay, France
  159.  
  160. 17:30 Using Abstract Interpretation for Gate splitting in lotos Specifications
  161.       F. Giannotti, D. Latella
  162.       CNUCE, Pisa, Italia
  163.  
  164. 18:00 An application of Abstract Intepretation to Floating Point Arithmetic
  165.       Y. Ameur, P. Cros, J-J. Falcon, A. Gomez
  166.       ONERA-CERT-DERI, Toulouse, France
  167.  
  168.  
  169. 20:00 Official Evening
  170.  
  171. --------------------- Friday September 25 ---------------------
  172.  
  173. 08:30 On Boolean Feature Types
  174.       P.Y. Gloess, W. Huang, Li, M.O. Hernandez
  175.       Universite Bordeaux I, France
  176.  
  177. 09:00 Relevant Logic and Strictness Analysis
  178.       C. Baker-Finch
  179.       University of Canberra, Australia
  180.  
  181. 09:30 Invited Talk
  182.       "On the Design of Generic  Abstract Interpretation Frameworks"
  183.       B. Le Charlier
  184.       University of Namur, (Belgium)
  185.  
  186. 10:30 Coffee Break
  187.  
  188. 11:00 Inference Systems for Binding Time Analysis
  189.       K. Solberg, H.R. Nielson, F.Nielson
  190.       Odense University, Denmark
  191.  
  192. 11:30 Decompilation is the efficient enumeration of types
  193.       P. Breuer, J. Bowen
  194.       Oxford University, UK
  195.  
  196. 12:00 Fractional Types
  197.       B. Monsuez
  198.       Ecole Normale Superieure, Paris, France
  199.  
  200.  
  201. 12:30 Lunch
  202.  
  203. 14:00 Invited Talk
  204.       "Uses of Regular Approximations"
  205.       J. Gallagher
  206.       University of Bristol (UK)
  207.  
  208.  
  209.  
  210. 15:00 Towards optimization of Full Prolog Programs guided
  211.       by abstract interpretation
  212.       A. Parrain, P. Devienne, P. Lebegue
  213.       Universite de Lille I, France
  214.  
  215. 15:30 An Abstract Interpretation Algorithm for residuating Logic Programs
  216.       M. Hanus
  217.       Max-Planck-Institut fur Informatik, Saarbrucken, Deushtland
  218.  
  219. 16:00 Coffee Break
  220.  
  221. 16:30 Determinacy induction by means of an abstract OLDT resolution
  222.       P. Lecoutre, P. Devienne, P. Lebegue
  223.       Universite Lille I, France
  224.  
  225. 17:00 Control-Flow Effects for Escape Analysis
  226.       Yan-Mei Tang, P. Jouvelot
  227.       Ecole des Mines de Paris, France
  228.  
  229. 17:30 A polyvariant binding time analysis handling partially known values
  230.       M. Rytz, M. Gengler
  231.       Ecole Polytechnique federale de Lausanne, Suisse
  232.  
  233. 18:00 Evaluation partielle dans les reseaux d'interaction
  234.       D. Bechet
  235.       Ecole Normale Superieure, Paris, France
  236.  
  237. 18:30 End of the workshop
  238. ============================================================================
  239.  
  240. INFORMATIONS/REGISTRATIONS
  241.  
  242.       Workshop on Static Analysis 92
  243.       (Antoine Rauzy)
  244.       LaBRI -  Laboratoire Bordelais de Recherche en Informatique
  245.       351, Cours de la Liberation
  246.       33405 TALENCE - Cedex
  247.       FRANCE
  248.       Tel: (33) 56 84 60 83
  249.       Fax: (33) 56 84 66 69
  250.       e-mail: wsa92@labri.greco-prog.fr
  251.  
  252.  
  253. ACCOMMODATION
  254.  
  255. Participants wishing to make reservations for hotel accommodations
  256. should complete the booking form and send it as soon as possible
  257. with deposit of one night to the order of : JTASPEFL.
  258.  
  259. Average rates per room and per night - Room basis only, taxes and service
  260. included (no breakfast included):
  261.   - Single Room (Bathroom, T.V., Phone)          260 FF
  262.   - Twin-bed Room (Bathroom, T.V., Phone)        320 FF
  263.  
  264.  
  265. REGISTRATION FEES
  266.  
  267.       a) Registration Fees : 200 FF
  268.          These fees cover :
  269.             - attendance at the Conference,
  270.             - copy of the Proceedings,
  271.             - an invitation to the "cheese and wine" evening, 
  272.             - coffee-breaks.
  273.       b) Lunches (3 days) : 200 FF
  274.       c) Official Evening (thursday) : 200 FF
  275.  
  276.  
  277. REGISTRATION PROCEDURE
  278.  
  279. Prospective attendees should complete the enclosed Registration Form
  280. and return it as soon as possible. Registration forms without payment
  281. cannot be taken into account.
  282.  
  283. All payment should be made in French Currency to "JTASPEFL"
  284.   -  by banker's draft  or Eurocheque
  285.   -  by Bank transfer to:
  286.          Banque Populaire du Sud-Ouest,
  287.          Agence  de Talence , Gironde
  288.          (Account n 10907  00001  02819514523    cle RIB 29)
  289. In any case, please state your name and reference of the Conference.
  290.  
  291. Cancellation Fees will be returned in full for any written cancellation
  292. received 8 days prior to the Conference. 
  293.  
  294.  
  295. DEMONSTRATIONS
  296.  
  297. Persons who are interested in the demonstration of a software are invited
  298. to forward a proposal (2 pages). This proposal should be a technical note
  299. with:
  300.   - a description of the software and its functions,
  301.   - an information on machines and operating systems where the software
  302.     is implemented,
  303.   - if necessary, the computer needed.
  304.  
  305. Deadline :  August 15 1992
  306.  
  307.  
  308. =========================================================================
  309. Inscription
  310. Name(s)/Surname(s) :
  311. Organisation       :
  312. Full Address       :
  313.  
  314.  
  315. e-mail :
  316. -------------------------------------------------------------------------
  317. Accomodation Form
  318. Please reserve :     single room(s),      double rooms
  319. Arrival date   :                  Leaving date :
  320. -------------------------------------------------------------------------
  321. Settlement
  322.   Registration Fees :  200 FF
  323.   Lunches           :  200 FF
  324.   Official Evening  :  200 FF
  325.   Hotel (one night) :      FF
  326.   --------------------------- 
  327.   Total                    FF x        =         FF
  328. =========================================================================
  329. -- 
  330. Workshop on Static Analysis     :  wsa92@geocub.greco-prog.fr
  331. 23-25 Sep 92 - Bordeaux (France):  phone [A. Rauzy]  56.84.60.83
  332. LABRI, Universite Bordeaux I    :  fax 56.84.66.69
  333. 33405 Talence  (FRANCE)         :     
  334.