Congresso Brasileiro de Software de 2012: Teoria e Prática
O Congresso Brasileiro de Software: Teoria e Prática (CBSoft) é o principal evento realizado anualmente pela Sociedade Brasileira de Computação, com a intenção de promover e incentivar a troca de experiências entre as comunidades científica, acadêmica e profissional sobre as mais recentes pesquisas, tendências e inovações – práticas e teóricas – na área de software.
Além dos Minicursos, Tutoriais e Workshops, a programação do CBSoft integra quatro eventos tradicionais organizados pela comunidade brasileira de desenvolvimento de software:
- XXVI Simpósio Brasileiro de Engenharia de Software (SBES 2012)
- XVI Simpósio Brasileiro de Linguagens de Programação (SBLP 2012)
- XV Simpósio Brasileiro de Métodos Formais (SBMF 2012)
- VI Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2012)
O CBSoft também hospedará um evento internacional:
- IX Conferência Latino-americana em Linguagens de Padrões de Programação (SugarLoafPlop).
Pela primeira vez o CBSoft está sendo organizado pelo Departamento de Informática e Matemática Aplicada (DIMAp) da Universidade Federal do Rio Grande do Norte (UFRN) e será realizado na cidade do Natal-RN.
A cidade do Natal, popularmente conhecida como “Cidade do Sol” possui diversos atrativos naturais e culturais. São 399 km de litoral, em torno de 300 dias de sol por ano, temperatura média anual de 28°C, águas mornas, povo hospitaleiro, brisa constante que sopra do oceano até a costa. Estar em Natal significa também respirar ar puro, compartilhar de uma vida ainda pacata para cidades capitais de estado. A propósito, quem vem a Natal respira também cultura, pois esta é a terra do maior folclorista brasileiro Câmara Cascudo. Natal é Natal todos os dias, pois nasceu no dia 25 de dezembro de 1599.
Venha a Natal participar do CBSoft 2012 e se entregue a essa magia!!!
Nélio Cacho
Coordenador Geral CBSoft 2012
Palestrantes
John Rushby received B.Sc. and Ph.D. degrees in computing science from the University of Newcastle upon Tyne in 1971 and 1977, respectively. He joined the Computer Science Laboratory of SRI International in 1983, and served as its director from 1986 to 1990; he currently manages its research program in formal methods and dependable systems and is also an SRI Fellow. This program is responsible for the PVS verification system, the SAL suite of model checkers, the Yices SMT solver, and several experimental tools for static analysis, hybrid systems, and probabilistic modeling. Prior to joining SRI, he held academic positions at the Universities of Manchester and Newcastle upon Tyne in England. (...)
John Rushby received B.Sc. and Ph.D. degrees in computing science from the University of Newcastle upon Tyne in 1971 and 1977, respectively. He joined the Computer Science Laboratory of SRI International in 1983, and served as its director from 1986 to 1990; he currently manages its research program in formal methods and dependable systems and is also an SRI Fellow. This program is responsible for the PVS verification system, the SAL suite of model checkers, the Yices SMT solver, and several experimental tools for static analysis, hybrid systems, and probabilistic modeling. Prior to joining SRI, he held academic positions at the Universities of Manchester and Newcastle upon Tyne in England. His research interests center on the use of automated formal methods for problems in the design and assurance of safe and secure systems. Dr. Rushby is a former associate editor for Communications of the ACM, IEEE Transactions on Software engineering, and Formal Aspects of Computing. He was a member of the recent National Research Council study that produced the report "Software for Dependable Systems: Sufficient Evidence?" and was the 2011 recipient of the IEEE Harlan D. Mills Award. His publications are available online at http://www.csl.sri.com/users/rushby/biblio.html
Wolfram Schulte is a principal researcher at Microsoft Research (MSR), Redmond, USA, and the founding manager of the Research in Software Engineering (RiSE) group. Wolfram’s research interests include software engineering focusing on modeling, verification, and test, and programming languages ranging from language design to runtimes. Before joining MSR in 1999, Wolfram worked as an assistant professor at the University of Ulm (1993-1999, habilitation 2000), as software engineer at sd&m, a German software company (1992-1993), and as a research and teaching assistant at the Technical University Berlin (1987-1992, PhD 1992).
Wolfram Schulte is a principal researcher at Microsoft Research (MSR), Redmond, USA, and the founding manager of the Research in Software Engineering (RiSE) group. Wolfram’s research interests include software engineering focusing on modeling, verification, and test, and programming languages ranging from language design to runtimes. Before joining MSR in 1999, Wolfram worked as an assistant professor at the University of Ulm (1993-1999, habilitation 2000), as software engineer at sd&m, a German software company (1992-1993), and as a research and teaching assistant at the Technical University Berlin (1987-1992, PhD 1992).
Bertrand Meyer is Professor of Software Engineering at ETH Zurich, the Swiss Federal Institute of Technology, research professor at ITMO (State University of Saint Petersburg) and Chief Architect of Eiffel Software (based in California). He is the initial designer of the Eiffel method and language and has continued to participate in its evolution. He also directed the development of the EiffelStudio environment, compiler, tools and libraries through their successive versions.
Other activities include: chair of the TOOLS conference series (running since 1989, hosted at ETH since 2007, forthcoming session June 27 - July 2, 2011, in Zurich); director of the LASER summer school on software (...)
Bertrand Meyer is Professor of Software Engineering at ETH Zurich, the Swiss Federal Institute of Technology, research professor at ITMO (State University of Saint Petersburg) and Chief Architect of Eiffel Software (based in California). He is the initial designer of the Eiffel method and language and has continued to participate in its evolution. He also directed the development of the EiffelStudio environment, compiler, tools and libraries through their successive versions.
Other activities include: chair of the TOOLS conference series (running since 1989, hosted at ETH since 2007, forthcoming session June 27 - July 2, 2011, in Zurich); director of the LASER summer school on software engineering (taking place every year since 2004 in early September in Elba island, Italy); member, and chair since 2009, of the IFIP TC2 committee (Software technology); member of the IFIP Working Group 2.3 on Programming Methodology; member of the French Academy of Technologies. He is also active as a consultant (object-oriented system design, architectural reviews, technology assessment, patents and software litigation), trainer in object technology and other software topics, and conference speaker. Awards include ACM Software System Award, Fellow of the ACM, Dahl-Nygaard Prize, Harlan D. Mills Prize, and honorary doctorate from the Technical University (ITMO) of Saint Petersburg. Since 2011 he has been an adjunct research professor at ITMO, as holder of a newly created chair on Software Engineering and Verification.
Prior to founding Eiffel Software in 1985, Meyer had a 9-year technical and managerial career at EDF, and was for three years on the faculty at the University of California. His experience with object technology through the Simula language, as well as early work on abstract data types and formal specification (including participation in the first versions of the Z specification language) provided some of the background for the development of Eiffel.
Arie van Deursen holds a PhD from the University of Amsterdam (1994), and an MSc degree from the Vrije Universiteit Amsterdam (1990). Since 2003, Arie van Deursen is head of the Software Engineering Research Group (SERG) at Delft University of Technology. Before that he worked as a researcher at CWI, the Dutch Research Center for Mathematics in Computer Science. He is a regular program committee member of all key conferences in the field of software engineering, most notably the prestigious ICSE (2010–2012), FSE (2010, 2012), OOPSLA (2012), and ECOOP (2010,2011) conferences. Arie van Deursen’s main field of research is software engineering. His research goals are twofold: (1) to obtain a dee (...)
Arie van Deursen holds a PhD from the University of Amsterdam (1994), and an MSc degree from the Vrije Universiteit Amsterdam (1990). Since 2003, Arie van Deursen is head of the Software Engineering Research Group (SERG) at Delft University of Technology. Before that he worked as a researcher at CWI, the Dutch Research Center for Mathematics in Computer Science. He is a regular program committee member of all key conferences in the field of software engineering, most notably the prestigious ICSE (2010–2012), FSE (2010, 2012), OOPSLA (2012), and ECOOP (2010,2011) conferences. Arie van Deursen’s main field of research is software engineering. His research goals are twofold: (1) to obtain a deep understanding of how people build and evolve software systems; and (2) to use the thus obtained theories and models to develop new methods, techniques and tools that advance the way in which software is built and modified. In his empirical work, he has looked at software testing practices from different perspectives. By using repository mining techniques, he has investigated the interplay between coding activities and developer testing activities, as visible in the code’s version control system. Furthermore, he has used grounded theory, a research methodology from the social sciences, to identify integration testing practices in open source plug-in architectures (to appear in ICSE 2012)
Bernhard K. Aichernig is an assistant professor, key researcher and project manager at Graz University of Technology, Austria. He is an expert in formal methods and testing. His research focuses on the foundations of software engineering in order to achieve more reliable computer-based systems. Since 2006, he runs European projects on this topic (CREDO, MOGENTES, MBAT). Bernhard is also a board member of Formal Methods Europe (FME), an international organisation that promotes well-founded techniques in software engineering and organizes the Formal Methods (FM) conferences. From 2002 to 2006 he worked as a Research Fellow at UNU-IIST in Macao S.A.R., China, a research institute of the United (...)
Bernhard K. Aichernig is an assistant professor, key researcher and project manager at Graz University of Technology, Austria. He is an expert in formal methods and testing. His research focuses on the foundations of software engineering in order to achieve more reliable computer-based systems. Since 2006, he runs European projects on this topic (CREDO, MOGENTES, MBAT). Bernhard is also a board member of Formal Methods Europe (FME), an international organisation that promotes well-founded techniques in software engineering and organizes the Formal Methods (FM) conferences. From 2002 to 2006 he worked as a Research Fellow at UNU-IIST in Macao S.A.R., China, a research institute of the United Nations on software technology. He holds a doctorate and a diploma engineer degree from Graz University of Technology
Luís S. Barbosa is an associate professor at the Informatics Department of Universidade do Minho, Portugal, and a researcher at the High-Assurance Software Laboratory (HASLab) in INESC TEC. His research interests include languages, semantics and calculi for component coordination and foundations of architectural design. In both areas he coordinated several research projects and networks. He served as Director of MAP-i, the joint doctoral programme in Computer Science of Minho, Aveiro and Porto Universities.
Luís S. Barbosa is an associate professor at the Informatics Department of Universidade do Minho, Portugal, and a researcher at the High-Assurance Software Laboratory (HASLab) in INESC TEC. His research interests include languages, semantics and calculi for component coordination and foundations of architectural design. In both areas he coordinated several research projects and networks. He served as Director of MAP-i, the joint doctoral programme in Computer Science of Minho, Aveiro and Porto Universities.
Patrick C. K. Hung is an Associate Professor at the Faculty of Business and Information Technology in University of Ontario Institute of Technology (UOIT) in Canada and an Adjunct Professor at the State Key Laboratory of Software Engineering at Wuhan University in China. In addition, he is also a Visiting Researcher at the University of Aizu in Japan. He has been an Adjunct Faculty Member at Department of Electrical and Computer Engineering in University of Waterloo in Canada, a Guest Research Professor at Kingdee at ShenZhen in China, a Guest Professor at Institute of Computer Science in University of Innsbruck in Austria and Department of Information Engineering and Computer Science in Uni (...)
Patrick C. K. Hung is an Associate Professor at the Faculty of Business and Information Technology in University of Ontario Institute of Technology (UOIT) in Canada and an Adjunct Professor at the State Key Laboratory of Software Engineering at Wuhan University in China. In addition, he is also a Visiting Researcher at the University of Aizu in Japan. He has been an Adjunct Faculty Member at Department of Electrical and Computer Engineering in University of Waterloo in Canada, a Guest Research Professor at Kingdee at ShenZhen in China, a Guest Professor at Institute of Computer Science in University of Innsbruck in Austria and Department of Information Engineering and Computer Science in University of Trento in Italy. Hung has been working with Boeing Research and Technology at Seattle in the USA, and he has filed two US patent applications on "Mobile Network Dynamic Workflow Exception Handling System" with Boeing. Before that, he was a Research Scientist with Commonwealth Scientific and Industrial Research Organization (CSIRO) at Canberra in Australia. He also has prior industrial experience in e-business projects in the USA, Canada, Australia, China and Hong Kong. He is a founding committee member of the IEEE International Conference of Web Services, IEEE International Conference on Services Computing, and IEEE Congress on Services. He is an associate editor of the IEEE Transactions on Services Computing, International Journal of Web Services Research and International Journal of Business Process and Integration Management. Patrick is also a co-founder of Beaconwall Limited in Hong Kong Science Park in Hong Kong and Max It Systems at Tucson, Arizona with Prof. Jay Tashiro from Wolfsong Informatics in the USA.
Patrick has Ph.D. and Master of Philosophy Science in Computer Science from the Hong Kong University of Science and Technology in Hong Kong, Master of Applied Science in Management Sciences from the University of Waterloo in Canada, and Bachelor of Science in Computer Science at the University of New South Wales in Australia. On the other hand, Patrick has been studied at the CLC Japanese Language Institute at Tokyo in Japan and he got Level 2, Level 3 and Level 4 Certificate of Japanese-Language Proficiency administered by the Japan Foundation and Association of International Education Japan. He has also been a visiting Ph.D. student at the Graduate School of Informatics in Kyoto University in Japan and RSA Laboratories West at San Mateo, California in the USA.
Parar
Iniciar
