[Please distribute to your colleagues, apologies for multiple copies]
ChWFM 2009 - Second International Workshop on Formal Methods
November 9-13, Santiago de Chile
Held in conjunction with XXVIII International Conference of the Chilean
Computer Science Society (http://jcc2009.usach.cl), it will be hosted by
the Universidad de Santiago de Chile.
The Workshop on Formal Methods aims to bring together members of the
Latin American scientific community (extending to the world community)
that research on formal methods, to incentive and to promote the
interchange of knowledge, spreading of scientific work, discussion of
proposals, and the collaboration between researchers
and students.
The broad topics of interest of this workshop are:
* Tools for formal methods: tool support and software engineering.
* Theoretical foundations: specification and modelling, refining, static
analysis, model-checking, verification.
* Applications of formal methods: in industry, case studies.
* Teaching of formal methods: pregraduate and postgraduate courses.
* Role of formal methods: formal methods in hardware and system design.
*Paper Submission
----------------------
We invite to submit technical papers presenting original research on
practical and theoretical aspects of formal methods, articles have to be
formatted by the following rules:
Type of file: PDF
Length: maximum 10 pages, including abstract of at most 130 words
Format: IEEE-CS 8,5” x 11” - letter USA - two columns.
All submitted papers will be peer-reviewed by members of the program
committee. Submitted papers will be judged on the basis of significance,
relevance, correctness, originality, and clarity. Submitted papers must
be unpublished and not submitted for publication elsewhere. Articles
have to be submitted to http://myreview.usach.cl/WFM . All authors of
accepted contributions will be asked to present their work during the
workshop. Selected papers will be published in the post-conference
proceedings by IEEE Computer Society.
Important Dates
--------------------
* Deadline: July 24, 2009
* Notification of acceptance or rejection: October 2, 2009
* Final Version (camera-ready): October 16, 2009
Program Committee
---------------------------
Egidio Astesiano, Università di Genova, Italy
Gustavo Betarte, Universidad de la República, Uruguay
Marco Bozzano, Fondazione Bruno Kessler, Italy
Linda Brodo, Università di Sassari, Italy
Rubén Carvajal Schiaffino, Universidad de Santiago de Chile (Chair)
Ian Clark, University of Newcastle, UK
Giorgio Delzanno, Università di Genova, Italy
Rosa Muñoz Calanchie, Universidad de Santiago de Chile (Chair)
Gerardo Schneider, University of Oslo, Norway
--
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Dr. Ruben Carvajal-Schiaffino
Departamento de Matematica y Ciencia de la Computación (DMCC)
Universidad de Santiago de Chile
Av. Bernardo O'Higgins 3363. Santiago de Chile
Phone: +56 2 718 2011 Fax: +56 2 681 3125
Email: [email protected] http://rcarvajal.usach.cl
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
