[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
NEW Submission Deadline: **Tuesday 30 July 2019** CALL FOR PAPERS 22nd Brazilian Symposium On Formal Methods - SBMF 2019 ( www.ime.usp.br/~sbmf2019) 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 30 July 2019** Paper Acceptance Notification: Tuesday 10 September 2019 Paper Camera-ready Version: Tuesday 24 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/ 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: https://ees.elsevier.com/scico/default.asp Authors must select the following Article Type: VSI: SBMF 2019 If you do not already have one, please create an account in Elsevier Editorial System (EES). If you are already registered in EES as an Author, Reviewer, or Editor, please use your current username and password. KEYNOTE SPEAKERS Prof. Andreas Zeller, CISPA Helmholtz Center for Information Security, Germany Prof. Gustavo Carvalho, Universidade Federal de Pernambuco, Brazil PROGRAM CHAIRS Adolfo Duran, Universidade Federal da Bahia, Brazil Philip Wadler, University of Edinburgh, UK PROGRAM COMMITTEE Alexandre Mota, Universidade Federal de Pernambuco, Brazil Alysson Filgueira Milanez, Instituto Federal da Paraíba, Brazil Ana Melo, Universidade de São Paulo, Brazil Augusto Sampaio, Universidade Federal de Pernambuco, Brazil Brijesh Dongol, The University of Surrey, UK Gustavo Carvalho, Universidade Federal de Pernambuco, Brazil Jaco van de Pol, Aarhus University, Denmark José Luiz Fiadeiro, Royal Holloway University of London, UK Juliano Iyoda, Universidade Federal de Pernambuco, Brazil Leila Ribeiro, Universidade Federal do Rio Grande do Sul, Brazil Leo Freitas, Newcastle University, UK Luis Soares Barbosa, Universidade do Minho, Portugal Mahsa Varshosaz, IT University of Copenhagen, Denmark Manfred Broy, Technische Universität München, Germany Marcel Oliveira, Universidade Federal do Rio Grande do Norte, Brazil Márcio Cornélio, Universidade Federal de Pernambuco, Brazil Maurice ter Beek, Istituto di Scienza e Tecnologie dell'Informazione, Italy Neda Saeedloei, Southern Illinois University Carbondale, USA Nils Timm, University of Pretoria, South Africa Rachid Echahed, Centre National de la Recherche Scientifique, France Sidney Nogueira, Universidade Federal Rural de Pernambuco, Brazil Simone Hanazumi, Hewlett-Packard, Brazil Thierry Lecomte, CLEARSY Systems Engineering, France Tiago Massoni, Universidade Federal de Campina Grande, Brazil Volker Stolz, Western Norway University of Applied Sciences, Norway 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).
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.