SBMF' 2010 - 14th Brazilian Symposium on Formal Methods (SBMF'2010)

Website | Edit Freely

Category SBMF' 2010

Deadline: November 14, 2009 | Date: November 08, 2010

Venue/Country: Natal, Brazil

Updated: 2010-06-04 19:32:22 (GMT+9)

Call For Papers - CFP

14th 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 fourteenth 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 - sbmf2010gmail.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.