Submission Deadline Extended to July 25, 2008
+============ ChWFM 2008 ====================+
First International Workshop on Formal Methods
November 10-15, Punta Arenas Chile
http://wfm.usach.cl
+=============================================+
Held in conjunction with XXVII International Conference of
the Chilean Computer Science Society, it will be hosted
by the Universidad de Magallanes.
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: pregruaduate 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
Size of paper: 8 1/2" x 11"
Length: maximum 10 pages, including abstract of at most
130 words
Margins: upper 3.5 cm., lower 2 cm., left and right: 2.5
cm.
Format: text justified to the right and left, non numbered
pages
Font: Times 10 for the text and 12 for titles and sections
Front page must contain:
* Title of the work
* Name of authors
* Affiliation and directions
* Work abstract and keywords
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 by email to wfm [at]
fermat.usach.cl
All authors of accepted contributions will be asked to
present their work during the workshop. The papers will be
published in the conference proceedings by IEEE Computer
Society.
Important Dates
---------------
* Deadline Extended: July 25, 2008
* Notification of acceptance or rejection: August 15, 2008
* Final Version (camera-ready): September 1, 2008
General Chairs
--------------
Rubén Carvajal Schiaffino, Universidad de Santiago de
Chile
Rosa Muñoz Calanchie, Universidad de Santiago de Chile
Program Committee
-----------------
Egidio Astesiano, Università di Genova, Italy
Marco Bozzano, Fondazione Bruno Kessler, Italy
Linda Brodo, Università di Sassari, Italy
Ian Clark, University of Newcastle, UK
Giorgio Delzanno, Università di Genova, Italy
John Fitzgerald, University of Newcastle, UK
Wolfgang Reisig, Humboldt-Universität zu Berlin, Germany
Fei Xia, University of Newcastle, UK
----
[[ 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] ]]
