home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / parallel / 2128 < prev    next >
Encoding:
Text File  |  1992-09-15  |  3.8 KB  |  94 lines
  1. Newsgroups: comp.parallel
  2. Path: sparky!uunet!gatech!hubcap!fpst
  3. From: mariam@csd.uch.gr (Mamalaki Maria)
  4. Subject: CAV 93: CALL FOR PAPERS
  5. Message-ID: <1992Sep15.125842.19450@hubcap.clemson.edu>
  6. Apparently-To: comp-parallel@mcsun.EU.net
  7. Sender: fpst@hubcap.clemson.edu (Steve Stevenson)
  8. Organization: Computer Science Department, University of Crete HELLAS
  9. Date: Tue, 15 Sep 1992 06:30:42 GMT
  10. Approved: parallel@hubcap.clemson.edu
  11. Lines: 81
  12.  
  13.  
  14.                 ***** CALL FOR PAPERS *****
  15.  
  16.             Conference on Computer-Aided Verification
  17.  
  18.                 Heraklion, Crete, GREECE
  19.                  June 28 - July 1 1993
  20.  
  21.  
  22. This conference is the fourth in a series dedicated to bringing together
  23. researchers and practitioners interested in the development and use of
  24. methods, tools and theories for the computer aided verification of 
  25. concurrent systems. The goal of the conference is to compare various 
  26. verification methods, and practical tools that can be used to assist 
  27. the applications designer. Emphasis will be placed on new research 
  28. results and applications of existing results to real verification problems.
  29. Special sessions for tutorials and demonstration of verification tools 
  30. are planned. A balanced participation of researchers and practitionners 
  31. is expected.  Papers are solicited on the following topics:
  32.  
  33.  * Verification and validation tools for hardware and software systems,
  34.    including protocols, distributed systems, real time control systems and
  35.    digital circuits and systems
  36.  
  37.   * Verification and validation methods based on model checking, theorem 
  38.    proving, automata based methods
  39.  
  40.   * Verification theories and their applicability
  41.  
  42.   * Complexity and efficiency issues in automatic verification
  43.  
  44. This list is by no means exhaustive and papers in related areas that fit
  45. with the intentions of the conference will be also considered. 
  46. An author may submit a paper by mailing electronically a self contained 
  47. latex or postscript version to the address cav@csd.uch.gr 
  48. (strongly encouraged for speeding up the reviewing process) AND by sending 
  49. five (5) copies of the preliminary version to the Program Chairman.
  50. The length is limited to twelve (12) double spaced typed
  51. pages. It should provide sufficient detail so that the program committee 
  52. can access the merits of the contribution. The deadline for the submission
  53. is January 15, 1993. Authors will be notified of acceptance by March 19,
  54. 1993. The accepted papers will be published in the conference proceedings.
  55.  
  56. Program Chairman:    Costas Courcoubetis
  57.             University of Crete, Department of Computer Science and
  58.             Institute of Computer Science, FORTH
  59.             P.O. Box 1385, GR-71110, Heraklion, Crete, GREECE
  60.             e-mail: courcou@csi.forth.gr
  61.  
  62. Steering Committee:    
  63.  
  64.     E.M. Clarke, Carnegie Mellon University, USA
  65.     R.P. Kurshan, AT&T Bell Labs, USA
  66.     A. Pnueli, Weizmann Institute, Israel
  67.     J. Sifakis, LGI-IMAG, France
  68.  
  69. Program Committee:
  70.  
  71.     R. Alur, Stanford University and AT&T, USA
  72.     R. Brayton, University of Cal. at Berkeley, USA
  73.     E. Brinksma, University of Twente, Netherlands
  74.     R. Cleaveland, North Carolina State University, USA          
  75.     W. Damm, Techn. Informatik, Oldenburg University, Germany
  76.     R. de Simone, INRIA, France
  77.     D. Dill, Stanford University, USA
  78.     A. Emerson, University of Texas at Austin, USA
  79.     O. Grunberg, Technion, Israel
  80.     N. Halbwachs, LGI-IMAG, France                        
  81.     H. Hiraishi, Kyoto Sangyo University, Japan
  82.     G. Holzmann, AT&T Bell Labs, USA
  83.     K. Larsen, Aalborg University Center, Denmark
  84.     P. Loewenstein, Mitsubishi Electronics of America, USA
  85.     L. Paulson, Cambridge University, United Kingdom
  86.     D. Probst, Concordia University, Canada
  87.     A. Sangiovanni Vincentelli, University of Cal. at Berkeley, USA
  88.     B. Steffen, Technical University, Aachen, Germany
  89.     C. Stirling, University of Edinburgh, United Kingdom
  90.     P. Wolper, Universite de Liege, Belgium
  91.     T. Yoneda, Tokyo Institute of Technology, Japan
  92.      
  93.  
  94.