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