Latin American Workshop on Formal Methods LAFM 2013
workshop affiliated to CONCUR 2013
http://www.concur-conferences.org/concur2013/ws.php
Buenos Aires, Argentina, August 26th, 2013
Call for Papers
Formal approaches to software development are techniques that aim at developing
quality software by employing notations, analysis processes, etc., based on
mathematical grounds. Although traditionally they aim at increasing software
correctness, formal techniques have been applied to various other aspects of
software quality. Moreover, while originally formal methods employed complex
"heavyweight" mechanisms for analysis (often manual or semi automated), there
has been a progress towards embracing "lightweight", many times fully
automated, analysis techniques, that broaden the adoption of formal methods in
various software engineering contexts.
The objective of the Latin American Workshop on Formal Methods is bringing
together researchers working in formal methods, and related areas such as
automated analysis. In particular, we seek to provide a venue for Latin
American researchers working in these areas, to promote their interaction and
collaboration.
The workshop will be held as an associated even of CONCUR 2013, the 24th
International Conference on Concurrency Theory. It will be held in Buenos
Aires, Argentina’s capital and largest city, and one of the most interesting
cultural places in South America.
Important dates:
Paper Submission Deadline: June 15, 2013 June 30,2013
Acceptance/Rejection Notification: July 30, 2013
Camera-ready Version: August 16, 2013
Submissions
We invite researchers to submit technical papers presenting original research
on practical and theoretical aspects of formal methods and related areas.
Topics of interest include, but are not limited to, the following:
Formal Specification and modeling;
Abstraction, modularization and refinement techniques;
Program synthesis;
Program construction from specifications;
Formal Models of concurrency, security and mobility;
Model checking;
Theorem proving;
Formal approaches to software analysis
Static analysis;
Formal techniques for software testing;
Experience reports on the use of formal methods;
Industrial case studies;
Tools for formal software development;
Formal methods for software/hardware development.
We accept submissions of regular research and industrial experience papers,
that should not exceed 15 pages, and short tool papers, which should not exceed
6 pages. Authors may also submit abstracts of recent or ongoing research, which
should not exceed 2 pages. Papers and ongoing research abstracts must be
submitted electronically in PDF format via EasyChair, must conform to the EPTCS
style (http://style.eptcs.org/).
Papers will be subject to peer-reviewing by at least 3 program committee
members or additional reviewers, and will be carefully evaluated based on
clarity, originality, significance and technical soundness. The presentation of
submitted ongoing research abstracts will be selected on the basis of their
originality, significance and general interest.
Accepted papers will be published in Electronic Proceedings in Theoretical
Computer Science (EPTCS). After the workshop, authors of selected abstracts may
be invited to submit full papers for the refereed EPTCS proceedings.
Authors of accepted papers and abstracts must attend and present their work at
the workshop.
Invited Speaker
Marcelo F. Frias, Instituto Tecnológico de Buenos Aires and CONICET, Argentina
Workshop Chairs
Nazareno Aguirre (UNRC and CONICET, Argentina)
Leila Ribeiro (UFRGS, Brazil)
Programme Committee
Damián Barsotti (UNC, Argentina)
Alexandre Bergel (Universidad de Chile, Chile)
Gustavo Betarte (Universidad de la República, Uruguay)
Pablo Castro (UNRC and CONICET, Argentina)
Pedro D'Argenio (UNC and CONICET, Argentina)
Adenilso da Silva Simao (USP/São Carlos)
David Déharbe (UFRN, Brazil)
Rohit Gheyi (UFCG, Brazil)
Juliano Iyoda (UFPE, Brazil)
Ana Cristina de Melo (USP, Brazil)
Juan Pablo Galeotti (Saarland University, Germany)
Diego Garbervetsky (UBA and CONICET, Argentina)
Patrícia Machado (UFCG, Brazil)
Anamaria Martins Moreira (UFRN, Brazil)
Álvaro Moreira (UFRGS, Brazil)
Arnaldo Moura (UNICAMP, Brazil)
Martin Nordio (ETH Zurich, Switzerland)
Alejandro Russo (Chalmers University of Technology, Sweden)
Leila Silva (UFS, Brazil)
Santiago Zanella Beguelín (Microsoft Research Cambridge, United Kingdom)
----
[[ 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] ]]
