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 Acceptance/Rejection Notification: July 7, 2013 Camera-ready Version: August 6, 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. We also accept short tool papers, which should not exceed 6 pages. Papers must be submitted electronically in PDF format via EasyChair, must conform to the EPTCS style (http://style.eptcs.org/). Accepted papers will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS). 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. Authors of accepted papers 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] ]]
