Workshop on Formal Methods and Manufacturing

Zaragoza, Spain -  Monday, September 6, 1999



On the occasion of the 25-th anniversary of the School of Engineering of the University of Zaragoza, in the week from September 6 to September 10, a number of meetings will be organized in Zaragoza:

  • PNPM'99, the 8-th International Workshop on Petri Nets and Performance Models (Sept. 8-10)
  • PAPM'99, the 7-th International Workshop on Process Algebras and Performance Models (Sept. 8-10)
  • NSMC'99, the 4-th International Workshop on Numerical Solutions of Markov Chains (Sept. 8-10)
  • WFMT'99, the Workshop on Formal Methods and Telecommunications (Sept. 7)
  • WFMM'99, the Workshop on Formal Methods and Manufacturing (Sept 6)
  • The Workshop on Formal Methods and Manufacturing aims at discussing the state of the art in the use of formal techniques all along the life cycle of a manufacturing system, from its design to its operation. Different research areas have contributed to the manufacturing domain: computer science, discrete event systems, hybrid systems, operations research and optimization; contributions are sought in all these areas.  Problems of particular interests are:
  • modelling and simulation
  • formal specifications and verification
  • performance analysis
  • control synthesis
  • on-line scheduling
  • Submissions

    Prospective authors must send an extended abstract (5 pages minimum) of their papers to one of the co-organizers listed below. Electronic submission of uuencoded gzipped postscript files or plain text files is preferred.

    The workshop Proceedings will be published by the University of Zaragoza.


      Submission of manuscripts 
      March 15, 1999 
      Notification of acceptance 
      May   1, 1999
      Submission of camera-ready manuscript 
      June  10, 1999
      Conference date
      September 6, 1999 

    Workshop homepage:


    Jean-Claude Gentina
    Ecole Centrale de Lille, DUSVA BP 48
    59651 Villeneuve d'Ascq Cedex
    phone: +33 3203-35301
    fax: +33 3203-35396

    Alessandro Giua
    Dip. di Ingegneria Elettrica ed Elettronica
    Universita' di Cagliari
    Piazza d'Armi
    09129 Cagliari
    phone: + 39 070-675-5892
    fax: + 39 070-675-5900