[Please distribute to your colleagues, apologies for multiple copies]
+============== ChWFM 2008 ==========+
| First International Workshop on Formal Methods |
| November 10-15, Punta Arenas Chile |
|
|
| http://fermat.usach.cl/~wfm |
+===================================+
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: July 15, 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
--
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Dr. Ruben Carvajal-Schiaffino
DMCC - Universidad de Santiago de Chile
Av. B. O'Higgins 3363. Santiago de Chile
Phone: +56 2 7182011 Fax: +56 2 681 3125
Email: [EMAIL PROTECTED] http://fermat.usach.cl/~rcarvajal
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
----
[[ 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] ]]
