[TYPES/announce] 22nd Brazilian Symposium On Formal Methods (SBMF)

[Philip Wadler]

CALL FOR PAPERS
22nd Brazilian Symposium On Formal Methods (SBMF)
Sponsored by by the Brazilian Computer Society (SBC)
To be published a special issue of Science of Computer Programming (SCP)
São Paulo, Brazil
25 to 29 of November 2019

IMPORTANT DATES

Paper Submission Deadline: **Tuesday 16 July 2019** (firm)
Paper Acceptance Notification: Tuesday 27 August 2019
Paper Camera-ready Version: Tuesday 10 September 2019
Paper Revision for SCP: Tuesday 17 December 2019
Paper Acceptance Notification for SCP: Tuesday 21 January 2020
Paper Camera-ready Version for SCP: Tuesday 18 February 2020

All deadlines are AOE: Anywhere On Earth (UTC -12).  For instance, the
Paper Submission Deadline is 9am Wednesday 17 July 2019 in São Paulo
(UTC -3).

INTRODUCTION

SBMF 2019 is the twenty-second of a series of events devoted to the
development, dissemination, and use of formal methods for the
construction of high-quality computational systems. It is now a
well-established event, with an international reputation.

This year all submitted papers will be considered for fast-track
publication in a special issue of Science of Computer Programming.

In 2019, SBMF will take place in São Paulo.  São Paulo is Brazil’s
largest city and the world’s twelfth largest. This makes it a city of
prominence in research and development in both academic and industrial
fields. Moreover, it offers great possibilities for cultural, artistic
and gastronomic tourism.


SPECIAL ISSUE OF SCIENCE OF COMPUTER PROGRAMMING

This year there will be two rounds of refereeing, one before the
conference and one after.  All papers accepted to the conference will
be published in ArXiv prior to the conference. Those papers that meet
the criteria for publication in Science of Computer Programming will
be invited to submit a revision to be considered for publication in
SCP, taking into account the comments on the first round of refereeing
and feedback from presentation at the conference.  The first and
second rounds of refereeing will adhere to the schedule above.  The
format of submission differs from previous years, to match that used
by SCP; see below.


SCOPE AND TOPICS

The aim of SBMF is to provide a venue for the presentation and
discussion of high-quality work in formal methods. The topics include
(not limited to):

* techniques and methodologies, such as method integration; software
  and hardware co-design; model-driven engineering; formal aspects of
  popular methodologies; formal design; development methodologies with
  formal foundations; software evolution based on formal methods;

* specification and modeling languages, such as well-founded
  specification and design languages; formal aspects of popular
  languages; logic and semantics for programming and specification
  languages; code generation; formal methods of programming paradigms
  (such as objects, aspects, and component), formal methods for
  real-time, hybrid, and safety-critical systems, formal models of
  service-oriented, cloud-based, and cyber-physical systems;

* theoretical foundations, such as domain theory; type systems and
  category theory; computational complexity of methods and models;
  computational models; term rewriting; models of concurrency,
  security and mobility;

* verification and validation, such as abstraction, modularization and
  refinement techniques; program and test synthesis; correctness by
  construction; model checking; theorem proving; static analysis;
  formal techniques for software testing; software certification;
  formal techniques for software inspection;

* Experience reports regarding teaching formal methods; applications,
  such as experience reports on the use of formal methods; industrial
  case studies; tool support.

PAPER SUBMISSION

Papers should present unpublished and original work that has a clear
contribution to the state of the art on the theory and practice of
formal methods. They should not be simultaneously submitted elsewhere.

Papers will be judged by at least three reviewers on the basis of
originality, relevance, technical soundness and presentation quality,
and should contain sound theoretical or practical results. Industry
papers should emphasize practical application of formal methods or
report on open challenges.

Papers will be published before the conference in
ArXiv, and revised papers that meet the criteria will be published
after the conference in Science of Computer Programming.

Please prepare your paper using the instructions available at

  https://www.elsevier.com/authors/author-schemas/latex-instructions

Following the SCP instructions, we do not limit the number of
pages. The first goal is to get quality papers. Complete articles are
expected, providing all details that a reader needs if she/he intends
to cover a subject. Usually, around 30 pages per article are
sufficient.

Every accepted paper MUST have at least one author registered in the
symposium by the time the camera-ready copy is submitted; the
registered author is also expected to attend the symposium and present
the paper.

Papers can be submitted via the following link:
  [[[SCP submission link to be supplied]]]


PROGRAM CHAIRS

  Adolfo Duran, Universidade Federal da Bahia
  Philip Wadler, University of Edinburgh


ABOUT SÃO PAULO

Situated in Southeastern Brazil, the city of São Paulo lies about 220
miles (350 km) southwest of Rio de Janeiro and about 30 miles (50 km)
inland from its Atlantic Ocean port of Santos. The city’s name derives
from its having been founded by Jesuit missionaries on 25 January
1554, the anniversary of the conversion of St. Paul.

São Paulo, the state capital, is the world's 12th largest city, and
its metropolitan area has 20 million inhabitants. It holds the largest
stock exchange in Latin America and the largest concentration of
multinational companies in the Southern Hemisphere. Besides being the
most important economic center of Brazil, it is also the capital of
culture in Latin America.

Made out of many nationalities, faiths, and cultures, São Paulo is
truly cosmopolitan. The economic diversity and the multiple ethnic
origins of its population generate a vibrant culture. It accommodates
the largest Arab, Italian, and Japanese diasporas in the world. São
Paulo is also home to the largest Jewish population in Brazil, with
about 75,000 Jews.  São Paulo’s cultural scene offers excellent
programs with the best orchestras, opera companies, ballets,
exhibitions and shows.  Visitors to São Paulo find at their disposal
110 museums, 160 theaters, 300 movie theaters and 93 parks and green
areas. The ethnic and cultural diversity of São Paulo’s population is
also reflected in specialized restaurants offering the most varied
Brazilian and international cuisine.

The University of São Paulo (USP) ranks as the best Latin American
university in the World University Ranking 2017--2018, published by
Times Higher Education (THE), and ranks 118th in QS World University
Rankings (www.topuniversities.com), an annual list of the 4,500 best
institutions of higher education in the world.  SBMF 2019 will be held
at the campus of the University of São Paulo at its Institute of
Mathematics and Statistics (IME-USP).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190506/e685c824/attachment-0001.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190506/e685c824/attachment-0001.ksh>