Openning Session

 Date: Monday (Sep 26, 2011)

 Time: 11:00 - 11:15

 Technical Session 1    (SBMF: TS 1)

 Date: Monday (Sep 26, 2011)

 Time: 11:15 - 12:45

"SPARKSkein: A Formal and Fast Reference Implementation of Skein"
Roderick Chapman (Altran Praxis Limited, UK); Eric Botcazou (AdaCore, France); Angela Wallenburg (Altran Praxis Limited, UK)

"B to CSP migration: towards a formal and automated model-driven engineering of hardware/software co-designs"
Marcel Vinicius Medeiros Oliveira, David Deharbe, Luís Cruz (UFRN)

"Pistache: implementing pi-Calculus in Scala"
Pedro Matiello, Ana De Melo (USP)

 Technical Session 2    (SBMF: TS 2)

 Date: Monday (Sep 26, 2011)

 Time: 14:30 - 16:00

"Full Abstraction at Package Boundaries of Object-Oriented Languages"
Yannick Welsch, Arnd Poetzsch-Heffter (University of Kaiserslautern, Germany)

"Modular Embedding of the Object Constraint Language into a Programming Language"
Fabian Büttner, Martin Gogolla (University of Bremen, Germany)

"Behavioural Preservation in Fault Tolerant Patterns"
Diego Machado Dias, Juliano Manabu Iyoda (UFPE)

 Technical Session 3    (SBMF: TS 3)

 Date: Tuesday (Sep 27, 2011)

 Time: 11:00 - 12:30

 Short Papers

"From Event-B Models to Code: Sensing, Actuating, and the Environment"
Andrew Edmunds, Abdolbaghi Rezazadeh, Michael Butler (University of Southampton, UK)

"EB2J : Code Generation from Event-B to Java"
Neeraj Singh (LORIA, France); Dominique Mery (Université Henri Poincaré, France)

"An Event-B Plug-in for Creating Deadlock-Freeness Theorems"
Faqing Yang, Jean-Pierre Jacquot (LORIA, France)

 Technical Session 4    (SBMF: TS 4)

 Date: Tuesday (Sep 27, 2011)

 Time: 11:00 - 12:50

 Short Papers

"JLotos: A Java IDE to Support Formal Development using LOTOS"
Diego Oliveira (UFRN); Claudia Ribeiro, Waldney Andrade (UERN)

"Integrating Software Testing, Model Checking Through Model Extraction"
Lucio Mauro Duarte (UFRGS)

"Joker: An Animation Framework for Formal Specifications"
Diego Oliveira, Marcel Vinicius Medeiros Oliveira (UFRN)

"Towards formal verification of PLC programs"
Haniel Barbosa, David Déharbe (UFRN)

 Technical Session 5    (SBMF: TS 5)

ata: Tuesday (Sep 27, 2011)

 Time: 14:30 - 16:00

 Short Papers

"Extending CRefine to Support Tactics of Refinement"
Madiel Conserva, Marcel Vinicius Medeiros Oliveira (UFRN)

"Analytical Comparison of Refinement Checkers"
Gustavo Carvalho, Tarciana Dias, Alexandre Mota, Augusto Sampaio (UFPE)

"Laws of Programming with References"
Giovanny Lucero (UFS); Augusto Sampaio (UFPE)

 Technical Session 6    (SBMF: TS 6)

 Date: Tuesday (Sep 27, 2011)

 Time: 14:30 - 16:00

 Short Papers

"Supporting NoC projects with a Formal QoS-aware Model"
Dayanne K. F. R. Escale, Karla Ramos, Claudia Ribeiro (UERN)

"From UML to SIMULINK: a Graph Grammar Specification"
Luciana Foss, Simone Costa, Nícolas N. Bisi, Lisane Brisolara (UFPel); Flávio Wagner (UFRGS)

"Towards a Quantum Monadic Arrow Lambda-calculus"
Juliana Vizzotto (UFSM)

 Technical Session 7    (SBMF: TS 7)

 Date: Wednesday (Sep 28, 2011)

 Time: 11:00 - 13:00

"Sound and Complete Abstract Graph Transformation"
Dominik Steenken, Heike Wehrheim, Daniel Wonisch (University of Paderborn, Germany)

"On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts"
Braga, Menezes, Comicio, Santos, Landim (UFF)

"Model Transformation and Induced Instance Migration: A Universal Framework"
Harald König, Michael Löwe, Christoph Schulz (FHDW Hannover, Germany)

"Algebra of Monotonic Boolean Transformers"
Viorel Preoteasa (Abo Akademi University, Finland)

 Technical Session 8    (SBMF: TS 8)

 Date: Wednesday (Sep 28, 2011)

 Time: 14:30 - 16:00

"A Formal Treatment of Agents, Goals and Operations using Alternating-Time Temporal Logic"
Christophe Chareton, Julien Brunel, David Chemouil (ONERA-DTIM, France)

"Simulation and Verification of Synchronous Set Relations in Rewriting Logic"
Camilo Rocha (University of Illinois at Urbana-Champaign, USA); César Muñoz (Nasa Langley Research Center, USA)

"A Formal Approach to Fixing Bugs"
Sara Kalvala, Richard Warburton (University of Warwick, UK)

 Closing Session

 Date: Wednesday (Sep 28, 2011)

 Time: 16:00 - 16:10