![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
From: Jim Davies <jim.davies@comlab.ox.ac.uk> Subject: [SEWORLD] Call for Participation: SBMF 2010 Date: Tue, 28 Sep 2010 23:43:15 +0100 To: seworld@sigsoft.org CALL FOR PARTICIPATION 13th Brazilian Symposium on Formal Methods (SBMF 2010) November 8th - 12th Natal BRAZIL (co-located with ICTSS 2010 and SAST 2010) The SBMF series is well established, with an excellent international reputation, and is the principal venue for formal methods research in Brazil. SBMF 2010 will be held in Natal, the capital and largest city of Rio Grande do Norte in Northeastern Brazil - reachable via direct flights from Portugal, and from all the major Brazilian hubs. Conference registration is now open: reduced fees apply up to and including 7th October. You can register on-line at http://sbmf2010.dimap.ufrn.br/ This year's programme will include keynotes from Constance Heitmeyer, David Naumann, and Bill Roscoe. There are also two satellite workshops: on B and event B languages and tools, and on the use of the Boogie 2 tool in the verification of Spec# programs. For further information, see the website, or contact sbmf2010@gmail.com Local organisation: Marcel Oliveira, Thais Batista, David Deharbe, Diego Oliveira (UFRN, Brazil) Chairs: Jim Davies (University of Oxford, UK), Leila Silva (UFS, Brazil)
From: leila@ufs.br To: ecoop-info@ecoop.org Date: Fri, 7 May 2010 18:28:51 -0300 Subject: [ecoop-info] Call for Papers - BRAZILIAN SYMPOSIUM ON FORMAL METHODS (SBMF 2010) SBMF 2010 13th BRAZILIAN SYMPOSIUM ON FORMAL METHODS Natal, Rio Grande do Norte, Brazil November 8-12, 2010 http://sbmf2010.dimap.ufrn.br/ SBMF 2010 is the thirteenth of a series of events devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems. It is now a well-established event, with a very good national and international reputation. SBMF is the main event on formal methods in Brazil, qualified as one of the high quality national events by Brazilian research agencies. Besides technical sessions, the symposium presents invited speakers from the international community. The proceedings will be published in LNCS series of Springer. The symposium also includes two satellite events and a workshop on theses and dissertations (WTD) in formal methods. The WTD is a student forum for bringing together graduate students that research on topics related to formal methods. The aim of this meeting is to present and discuss the proposed contribution, preliminary results and possible directions for their research. In 2010, the SBMF will be held in the touristic town of Natal, in Rio Grande do Norte, Brazil. The event will be organized by the Informatics and Applied Mathematics Department of the Federal University of Rio Grande do Norte (UFRN). Invited Speakers (confirmed) Bill Roscoe (University of Oxford, UK) David Naumann (Stevens Institute of Technology, USA) Satellite events Workshop on B Dissemination Using Boogie 2 in the Verification of Spec# Programs Topics of interest The aim of this event is to provide an opportunity for researchers with a broad range of interests in formal methods to discuss recent developments in this field. The topics include, but are not limited to, the following: Well-founded specification and design languages; Formal aspects of popular languages and methodologies; Logics and semantics of programming and specification languages; Reusable domain theories; Type systems and category theory in computer science; Computational complexity of methods and models; Computational models; Rewriting systems; Formal methods integration; Formal methods for software/hardware development; Formal methods applied to model-driven engineering; Code generation; Formal design methods; Specification and modeling; Abstraction, modularization and refinement techniques; Program and test synthesis; Techniques for correctness by construction; Formal methods and models for objects, aspects and component systems; Formal methods and models for real-time, hybrid and critical systems; Formal methods and models for service-oriented systems; Models of concurrency, security and mobility; Model checking; Theorem proving; Static analysis; Formal techniques for software testing; Software certification; Formal techniques for software inspection. Teaching of, for and with formal methods; Experience reports on the use of formal methods; Industrial case studies; Tools supporting the formal development of computational systems; Development methodologies with formal foundations; Software evolution based on formal methods. Papers with a strong emphasis on Formal Methods, whether practical or theoretical, are invited for submission. Relevant Dates 10/06/2010: Paper submission deadline 07/08/2010: Acceptance notification 21/08/2010: Camera-ready version due Instructions to prospective authors The following types of submissions are expected: Technical papers: Unpublished and original work that have clear contributions to the state of the art on the theory and practice of formal methods. Papers will be judged on the basis of originality, relevance, technical soundness and presentation quality. Papers must be written in English and not exceed 16 pages in the LNCS format (see http://www.springer.com/lncs). WTD papers: Master and PhD students are invited to submit papers that give a report on the research they are developing. The papers must correspond to individual work but may be co-authored by the advisor. Papers must be no longer than 8 pages, including all figures, tables and references. Every accepted paper MUST have at least one author registered to the symposium by the time the camera-ready paper is submitted; the author is also expected to attend the symposium and present the paper. Papers originally submitted in English MUST be presented in English. Papers can be submitted via the following link: http://www.easychair.org/conferences/?conf=sbmf2010 Co-chairs and contact Leila Silva (Federal University of Sergipe) Jim Davies (University of Oxford) sbmf2010@gmail.com
From: leila@ufs.br To: ecoop-info@ecoop.org Date: Wed, 11 Nov 2009 19:53:24 -0300 Subject: [ecoop-info] SBMF 2010 - First Call for Papers [ 97 lines deleted; see updated version above -- dc ]
From: leila@ufs.br To: ecoop-info@ecoop.org Date: Thu, 5 Nov 2009 15:06:19 -0300 Subject: [ecoop-info] SBMF 2010 - Last Call for Satellite Events SBMF 2010 13th BRAZILIAN SYMPOSIUM ON FORMAL METHODS Natal, Rio Grande do Norte, Brazil November 8-12, 2010 CALL FOR SATELLITE EVENTS The SBMF series of meetings has established an excellent international reputation as a venue for the presentation of the latest in formal techniques. It has a strong regional focus and identity, as the national meeting for formal methods research and practice, with the highest quality rating from the Brazilian research agencies. It attracts speakers and participants from around the world, from both academia and industry. Its proceedings are published in Springer's LNCS. SBMF 2010 is the thirteenth meeting in the series, and the second to be held in Natal, a major tourist destination with excellent facilities and communications. Proposals for the organisation of satellite events are now invited. The proposed events should fall broadly within the established scope of SBMF: that is, they should address the design or application of formal, soundly-based techniques for the development of high-quality systems. They may focus upon particular aspects of theory or practice, upon a particular method or application domain, or they may be based around a theme of particular relevance to an SBMF audience. Researchers or practitioners wishing to organise a satellite event are invited to submit proposals in PDF or Postscript format by email to the SBMF 2010 chair - sbmf2010@gmail.com - on or before the 14th of November 2009. Proposers will be notified of the decision of the steering committee on or before the 30th of November. Proposals A proposal should be no more than 4 pages in length, and should include a short CV of the event chair or lead organiser. It should explain: the name of the event (and any acronym); names and contact details of the organisers; the topic or theme, and its relevance to SBMF; event format, including its duration; expected number of participants; local support requirements. If papers are to be invited, the proposal should explain the schedule for submission and notification, the means of evaluation, and any plans for publication. If there is a programme or organisation committee, the proposal should list the names of those involved. In assessing each proposal, the steering committee will consider relevance to an SBMF audience as well as the likely quality of the event itself. Arrangements All participants, including chairs and organisers, will be required to register also for the main SBMF conference. An additional fee will be charged for participation at a satellite event, set by the general chair of SBMF. The organisers of SBMF will be responsible for providing local, logistical support: meeting rooms, presentation facilities, refreshments, and internet access. The organisers of the satellite event will be responsible for: event publicity; handling of submissions; production of proceedings; financial support for invited speakers, authors, or organisers; special transportation facilities, if required by workshop participants. Event organisers should be ready to provide material for inclusion in the main SBMF website, and to produce an extended abstract for inclusion in the main SBMF proceedings.
From: leila@ufs.br To: ecoop-info@ecoop.org Date: Thu, 17 Sep 2009 10:11:29 -0300 Subject: [ecoop-info] SBMF- Brazilian Symposium on Formal Methods - First Call for Satelite Events [ 66 lines deleted; see updated version above -- dc ]
To the Ada-Belgium home page.
Last update: 2010/10/26.
Dirk Craeynest