{"id":199776,"date":"2011-12-02T09:09:25","date_gmt":"2011-12-02T09:09:25","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/events\/latin-american-faculty-summit-2012\/"},"modified":"2017-07-10T13:10:33","modified_gmt":"2017-07-10T20:10:33","slug":"latin-american-faculty-summit-2012","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/latin-american-faculty-summit-2012\/","title":{"rendered":"Latin American Faculty Summit 2012"},"content":{"rendered":"

Venue:<\/strong>\u00a0Grand Velas Riviera Maya Hotel<\/a><\/p>\n

Past events:<\/strong>
\nLatin American Faculty Summit 2016<\/a>
\nLatin American Faculty Summit 2014<\/a>
\nLatin American Faculty Summit 2011<\/a>
\nLatin American Faculty Summit 2010<\/a>
\nLatin American Faculty Summit 2009<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Microsoft Research hosted the eighth annual Latin American Faculty Summit in the Riviera Maya, Mexico, from May 23 to 25, 2012. The theme of the 2012 Summit was \u201cTechnologies in Action.\u201d For the 2012 Latin American Faculty Summit, Microsoft Research united academic and government researchers; educators; and Microsoft researchers, product group engineers, and architects to explore new opportunities in computer-science research and advances that address world-scale challenges in such diverse disciplines as healthcare and wellbeing, energy and environment, and educational and social progress. The program consisted of a variety of keynotes, talks, panels, workshops, and demonstrations.<\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"msr_startdate":"2012-05-23","msr_enddate":"2012-05-25","msr_location":"Riviera Maya, Mexico","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":false,"msr_private_event":false,"footnotes":""},"research-area":[13562,13563,198583,13553],"msr-region":[197901],"msr-event-type":[197950],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-199776","msr-event","type-msr-event","status-publish","hentry","msr-research-area-computer-vision","msr-research-area-data-platform-analytics","msr-research-area-ecology-environment","msr-research-area-medical-health-genomics","msr-region-latin-america","msr-event-type-faculty-summits","msr-locale-en_us"],"msr_about":"Venue:<\/strong>\u00a0Grand Velas Riviera Maya Hotel<\/a>\r\n\r\nPast events:<\/strong>\r\nLatin American Faculty Summit 2016<\/a>\r\nLatin American Faculty Summit 2014<\/a>\r\nLatin American Faculty Summit 2011<\/a>\r\nLatin American Faculty Summit 2010<\/a>\r\nLatin American Faculty Summit 2009<\/a>","tab-content":[{"id":0,"name":"Home","content":"[caption id=\"attachment_296963\" align=\"alignleft\" width=\"270\"]\"riviera-maya\" The Riviera Maya (Image: Shutterstock\/Actidea)[\/caption]\r\n\r\nMicrosoft Research hosted the eighth annual Latin American Faculty Summit in the Riviera Maya, Mexico, from May 23 to 25, 2012. The theme of the 2012 Summit was \u201cTechnologies in Action.\u201d For the 2012 Latin American Faculty Summit, Microsoft Research united academic and government researchers, educators, and Microsoft researchers, product group engineers, and architects to explore new opportunities in computer-science research and advances that address world-scale challenges in such diverse disciplines as healthcare and wellbeing, energy and environment, and educational and social progress. The program consisted of a variety of keynotes, talks, panels, workshops, and demonstrations.\r\n

Technologies in Action<\/h2>\r\nThe need to solve real-world problems, whether social or scientific, has provided the impetus for technological advancements over the years. Computing research and technology provide novel approaches to meet these challenges. For years, multidisciplinary researchers have been employing computational innovations to advance investigations in the sciences. New developments in the world of computation have changed the landscape and offer new capabilities to scientists who are interested in increasing their ability to process and understand vast amounts of data. Increasingly, information is stored in the cloud rather than locally, scientists are looking at new ways to interact with data, and computational advantages are being applied to an ever wider range of disciplines.\r\n

About CONACYT<\/h2>\r\nThe National Council on Science and Technology (CONACYT)<\/a> is responsible for the design and execution of science and technology policies in Mexico. CONACYT's aims are to consolidate a National Innovation System that responds to the priority demands of Mexico, provide solution to specific problems and needs, and help raise the standard of living and social wellbeing through five core objectives:\r\n
    \r\n \t
  1. Establish short-, medium-, and long-term state policies to strengthen the links between education, basic and applied sciences, and technology and innovation.<\/li>\r\n \t
  2. Promote the decentralization of scientific, technological, and innovation activities in order to help advance regional development.<\/li>\r\n \t
  3. Finance basic and applied sciences, technology, and innovation.<\/li>\r\n \t
  4. Invest in scientific, technological, and innovation infrastructure.<\/li>\r\n \t
  5. Provide accountability to public investments in the development of science and technology, high-quality human resources training, research and development, and innovation.<\/li>\r\n<\/ol>\r\nBy fulfilling these objectives, CONACYT\u2014along with other Federal Government agencies and entities, as well as with the production sector\u2014will help increase Mexico's contribution to the generation, acquisition, and dissemination of knowledge, and to advance the sciences and technology in Mexico.\r\n\r\nAs part of its international collaboration agenda, CONACYT is pleased to partner with Microsoft to present the 2012 Microsoft Research Latin American Faculty Summit."},{"id":1,"name":"Agenda","content":"

    Wednesday, May 23<\/h2>\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n
    Time<\/th>\r\nEvent\/Topic<\/th>\r\nLocation<\/th>\r\n<\/tr>\r\n<\/thead>\r\n
    \r\n
    12:00\u201312:30<\/div><\/td>\r\n
    		Opening Ceremony<\/td>\r\nGrand Velas 7-12<\/td>\r\n<\/tr>\r\n
    12:30\u20131:30<\/td>\r\n\r\n
    Opening Keynote Presentation<\/div>\r\n
    Microsoft Research: from Basic Research to Technological Innovations<\/strong> | slides<\/a><\/div>\r\nPeter Lee, Corporate Vice President, Microsoft Research, United States<\/td>\r\n
    		<\/td>\r\n<\/tr>\r\n
    \r\n
    1:30\u20131:45<\/div><\/td>\r\n
    		Group Photo<\/td>\r\n<\/td>\r\n<\/tr>\r\n
    \r\n
    1:45\u20133:00<\/div><\/td>\r\n
    		\r\n
    Lunch<\/div><\/td>\r\n
    		Azul Restaurant\/ Chak\u00e1<\/td>\r\n<\/tr>\r\n
    \r\n
    3:00\u20134:00<\/div><\/td>\r\n
    		\r\n
    Keynote Presentation<\/div>\r\n
    Strengthening Mexico\u2019s Participation in Global Research Networks<\/strong> | slides<\/a> | video<\/a><\/div>\r\n
    Sergio Carrera, Executive Director, INFOTEC, Mexico<\/div><\/td>\r\n
    		Grand Velas 7-12<\/td>\r\n<\/tr>\r\n
    \r\n
    4:00\u20134:45<\/div><\/td>\r\n
    		\r\n
    Plenary Session<\/div>\r\n
    Information Management via CrowdSourcing<\/strong> | slides<\/a> | video<\/a><\/div>\r\nHector Garcia-Molina, Professor, Stanford University, United States<\/td>\r\n
    		Grand Velas 7-12<\/td>\r\n<\/tr>\r\n
    4:45\u20135:15<\/td>\r\n\r\n
    Refreshment Break<\/div><\/td>\r\n
    		Foyer Grand Velas<\/td>\r\n<\/tr>\r\n
    5:15\u20136:00<\/td>\r\n\r\n
    Plenary Session<\/div>\r\n
    Putting the Cloud in the Palm of Your Hand<\/strong> | slides<\/a><\/div>\r\nVictor Bahl, Director Mobile Computer Research Center, Microsoft Research, United States<\/td>\r\n
    		Grand Velas 7-12<\/td>\r\n<\/tr>\r\n
    6:00\u20137:00<\/td>\r\n\r\n
    Keynote Presentation<\/div>\r\n
    Bringing Theories to Life: Computer Science at Microsoft Research<\/strong> | slides<\/a> | video<\/a><\/div>\r\n
    Tony Hey, Corporate Vice President, Microsoft Research Connections, United States<\/div><\/td>\r\n
    		Grand Velas 7-12<\/td>\r\n<\/tr>\r\n
    8:30\u201311:00<\/td>\r\n\r\n
    Welcome Reception and Dinner<\/div><\/td>\r\n
    		Zen Grand Garden<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n

    Thursday, May 24<\/h2>\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n
    Time<\/th>\r\nEvent\/Topic<\/th>\r\nLocation<\/th>\r\n<\/tr>\r\n<\/thead>\r\n
    \r\n
    8:30\u20131:00<\/div><\/td>\r\n
    		Parallel Track Sessions<\/td>\r\n<\/td>\r\n<\/tr>\r\n
    8:30\u20139:30<\/td>\r\n\r\n
    Computer Science\u00a0Research Track #1<\/div>\r\n
    Why Software\u00a0Engineering is the Best\u00a0Job in 2012<\/strong> | slides<\/a> | video<\/a><\/div>\r\nJudith Bishop, Director,\u00a0Microsoft Research\u00a0Connections, United States<\/td>\r\n
    		Grand Velas 7-12<\/td>\r\n<\/tr>\r\n
    <\/td>\r\n\r\n
    Computer Science\u00a0Research Track #2<\/div>\r\n
    Kinect for Windows\u2014an Update for Researchers<\/strong> | slides<\/a><\/div>\r\n
    Stewart Tansley, Director, Microsoft Research Connections, United States<\/div><\/td>\r\n
    		Grand Velas 13<\/td>\r\n<\/tr>\r\n
    <\/td>\r\n\r\n
    Computing in eScience\u00a0Research Track #3<\/div>\r\n
    eResearch: Surveying the State of the Art<\/strong> | slides<\/a><\/div>\r\n
    Lee Dirks, Director, Microsoft Research Connections, United States<\/div><\/td>\r\n
    		Grand Velas 14<\/td>\r\n<\/tr>\r\n
    <\/td>\r\n\r\n
    CONACYT Thematic Networks\u00a0Research Track #4<\/div>\r\n
    Teaching a Robot How to Perform New Tasks<\/strong> | slides<\/a><\/div>\r\n
    Eduardo F. Morales, Instituto Nacional de Astrofisica, Optica, y Electronica (INAOE), Mexico<\/div><\/td>\r\n
    		Grand Velas 15<\/td>\r\n<\/tr>\r\n
    9:30\u201310:30<\/td>\r\n\r\n
    Computer Science\u00a0Research Track #1<\/div>\r\n
    Future of Software\u00a0Engineering on Mobile\u00a0Devices<\/strong> | slides<\/a> | video<\/a><\/div>\r\n
    Nikolai Tillmann, Principal\u00a0RSDE, Microsoft Research,\u00a0United States<\/div><\/td>\r\n
    		Grand Velas 7-12<\/td>\r\n<\/tr>\r\n
    <\/td>\r\n\r\n
    Computer Science\u00a0Research Track #2<\/div>\r\n
    The World of Multi-Mouse<\/strong> | slides<\/a> | video<\/a><\/div>\r\n
    Miguel Nussbaum, Professor, Catholic University of Chile, Chile<\/div>\r\n
    <\/div>\r\n
    E-CLOUDSS: Building e-Government Clouds Using Distributed Semantic Services<\/strong> | slides<\/a><\/div>\r\n
    Genoveva Vargas-Solar, Universidad de Las Americas Puebla, Mexico<\/div><\/td>\r\n
    		Grand Velas 13<\/td>\r\n<\/tr>\r\n
    <\/td>\r\n\r\n
    Computing in eScience\u00a0Research Track #3<\/div>\r\n
    Rethinking Computer Architecture: Research at BSC-Microsoft Research Centre<\/strong> | slides<\/a><\/div>\r\n
    Osman Unsal, Senior Researcher, Barcelona Supercomputing Center, Spain<\/div><\/td>\r\n
    		Grand Velas 14<\/td>\r\n<\/tr>\r\n
    <\/td>\r\n\r\n
    CONACYT Thematic Networks\u00a0Research Track #4<\/div>\r\n
    Data Mining and Its Importance in the 21st Century<\/strong> | slides<\/a><\/div>\r\n
    Christopher R. Stephens, Universidad Nacional Autonoma de Mexico (UNAM), Mexico<\/div>\r\n
    <\/div>\r\n
    The Discrete Compactness and Its Applications<\/strong> | slides<\/a><\/div>\r\n
    Ernesto Bribiesca, Universidad Nacional Autonoma de Mexico (UNAM), Mexico<\/div><\/td>\r\n
    		Grand Velas 15<\/td>\r\n<\/tr>\r\n
    10:30\u201311:00<\/td>\r\nRefreshment Break<\/td>\r\nFoyer Grand Velas<\/td>\r\n<\/tr>\r\n
    11:00\u201312:00<\/td>\r\n\r\n
    Computer Science\u00a0Research Track #1<\/div>\r\n
    Engineering Methods for\u00a0Ensuring Program\u00a0Correctness <\/strong>| slides<\/a> | video<\/a><\/div>\r\n
    Rustan Leino, Principal\u00a0Researcher, Microsoft\u00a0Research, United States<\/div><\/td>\r\n
    		Grand Velas 7-12<\/td>\r\n<\/tr>\r\n
    <\/td>\r\n\r\n
    Computer Science\u00a0Research Track #2<\/div>\r\n
    Microsoft SQL Server Parallel Data Warehouse \u2013 Architecture Overview<\/strong> | slides<\/a> | video<\/a><\/div>\r\n
    Jos\u00e9 Blakeley, Partner Architect, Microsoft, United States<\/div><\/td>\r\n
    		Grand Velas 13<\/td>\r\n<\/tr>\r\n
    <\/td>\r\n\r\n
    Computing in eScience\u00a0Research Track #3<\/div>\r\n
    LACCIR Projects<\/strong> | video<\/a><\/div>\r\n
    Chair:<\/strong> Ignacio Casas, Executive Director, LACCIR<\/div>\r\n
    <\/div>\r\n
    LiveANDES: A Software Platform to Share and Analyze Information for Wildlife Conservation<\/strong> | slides<\/a><\/div>\r\n
    Cristi\u00e1n Bonacic, Professor, Ecosystems and Environment Department, Catholic University of Chile (PUC-Chile), Chile<\/div>\r\n
    Andr\u00e9s Neyem, Professor, Computer Science Department, Catholic University of Chile (PUC-Chile), Chile<\/div>\r\n
    <\/div>\r\n
    Using Sensor Networks to Classify Frogs Based on Their Calls<\/strong> | slides<\/a><\/div>\r\n
    Eduardo Freire Nakamura, Assistant Professor, Research and Technological Innovation Center (FUCAPI), Brazil<\/div><\/td>\r\n
    		Grand Velas 14<\/td>\r\n<\/tr>\r\n
    <\/td>\r\n\r\n
    CONACYT Thematic Networks\u00a0Research Track #4<\/div>\r\n
    Probabilistic Graphical Models: Applications in Biomedicine<\/strong> | slides<\/a> | video<\/a><\/div>\r\n
    Enrique Sucar, Instituto Nacional de Astrofisica, Optica, y Electronica (INAOE), Mexico<\/div><\/td>\r\n
    		Grand Velas 15<\/td>\r\n<\/tr>\r\n
    12:00\u20131:00<\/td>\r\n\r\n
    Computer Science\u00a0Research Track #1<\/div>\r\n
    Experiences in Software\u00a0Engineering<\/strong> | slides<\/a> | video<\/a><\/div>\r\n
    Derick Campbell, Director\u00a0of Engineering, Microsoft\u00a0Research Connections,\u00a0United States<\/div><\/td>\r\n
    		Grand Velas 7-12<\/td>\r\n<\/tr>\r\n
    <\/td>\r\n\r\n
    Computer Science\u00a0Research Track #2<\/div>\r\n
    Specialized Machine Translation Using the Microsoft Translator Hub \u2013 Customized Models for Language Preservation and Domain Specific Deployment<\/strong> | slides<\/a> | video<\/a><\/div>\r\n
    Kristin Tolle, Director, Microsoft Research Connections, United States<\/div><\/td>\r\n
    		Grand Velas 13<\/td>\r\n<\/tr>\r\n
    <\/td>\r\n\r\n
    Computing in eScience\u00a0Research Track #3<\/div>\r\n
    Big Data and the Cloud Phenomenon<\/strong> | slides<\/a> | video<\/a><\/div>\r\n
    Pedro Celis, Distinguished Engineer, Microsoft, United States<\/div><\/td>\r\n
    		Grand Velas 14<\/td>\r\n<\/tr>\r\n
    <\/td>\r\n\r\n
    CONACYT Thematic Networks\u00a0Research Track #4<\/div>\r\n
    The Golem Project: a Laboratory for the Construction of Service Robots<\/strong> | slides<\/a> | video<\/a><\/div>\r\n
    Luis Pineda Cort\u00e9s, Universidad Nacional Autonoma de Mexico (UNAM), Mexico<\/div><\/td>\r\n
    		Grand Velas 15<\/td>\r\n<\/tr>\r\n
    1:00\u20132:30<\/td>\r\nLunch<\/td>\r\nAzul Restaurant\/ Chak\u00e1<\/td>\r\n<\/tr>\r\n
    1:15\u20132:15<\/td>\r\n\r\n
    Panel Session (lunch)<\/div>\r\n
    Moving the Needle and Growing Women in Computing in Latin America<\/strong> | slides<\/a> | video<\/a><\/div>\r\n
      \r\n \t
    • Juliana Salles, Microsoft Research<\/li>\r\n \t
    • Jos\u00e9 Tiberio Hernandez, University of Los Andes<\/li>\r\n \t
    • Lorena G\u00f3mez, Tec of Monterrey<\/li>\r\n<\/ul>\r\n<\/td>\r\n
    		Azul Restaurant<\/td>\r\n<\/tr>\r\n
    2:30\u20133:15<\/td>\r\n\r\n
    Research Talk<\/div>\r\n
    Deep Neural Networks for Speech and Image Processing<\/strong> | slides<\/a> | video<\/a><\/div>\r\n
    Alex Acero, Principal Researcher, Microsoft Research, United States<\/div><\/td>\r\n
    		Grand Velas 7-12<\/td>\r\n<\/tr>\r\n
    3:15\u20134:00<\/td>\r\n\r\n
    Research Talk<\/div>\r\n
    Using Computer Vision for Graphics<\/strong> | slides<\/a> | video<\/a><\/div>\r\n
    Sing Bing Kang, Principal Researcher, Microsoft Research, United States<\/div><\/td>\r\n
    		Grand Velas 7-12<\/td>\r\n<\/tr>\r\n
    4:00\u20134:30<\/td>\r\nRefreshment Break<\/td>\r\nFoyer Grand Velas<\/td>\r\n<\/tr>\r\n
    4:30\u20135:15<\/td>\r\n\r\n
    Plenary Session<\/div>\r\n
    Advancing Environmental Understanding: the Role of eScience<\/strong> | slides<\/a> | video<\/a><\/div>\r\n
    Dan Fay, Director, Microsoft Research Connections, United States<\/div><\/td>\r\n
    		Grand Velas 7-12<\/td>\r\n<\/tr>\r\n
    5:15\u20136:00<\/td>\r\n\r\n
    Keynote Presentation<\/div>\r\n
    Driving Innovation Through the Microsoft Research Advanced Technology Labs<\/strong><\/div>\r\n
    Rico Malvar, Chief Scientist\/Distinguished Engineer, Microsoft Research, United States<\/div><\/td>\r\n
    		Grand Velas 7-12<\/td>\r\n<\/tr>\r\n
    6:00\u20136:15<\/td>\r\nAssemble for Departure to Social Event<\/td>\r\nHotel Lobby<\/td>\r\n<\/tr>\r\n
    7:00\u201310:00<\/td>\r\nSocial Event and Dinner Show<\/td>\r\n<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n

    Friday, May 25<\/h2>\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n
    Time<\/th>\r\nEvent\/Topic<\/th>\r\nLocation<\/th>\r\n<\/tr>\r\n<\/thead>\r\n
    \r\n
    8:30\u201310:00<\/div><\/td>\r\n
    		\r\n
    Closing Plenary Sessions<\/div>\r\n
    Chair:<\/strong> Jim Pinkelman, Senior Director, Microsoft Research Connections, United States<\/div>\r\n
    Data-Intensive Discoveries in Science: the Fourth Paradigm<\/strong> | slides<\/a><\/div>\r\n
    Alex Szalay, Alumni Centennial Professor, Department of Physics and Astronomy, The Johns Hopkins University, United States<\/div>\r\n
    LACCIR: Results, Thoughts, and Opportunities<\/strong><\/div>\r\n
    Ignacio Casas, Executive Director, Latin American and Caribbean Collaborative ICT Research Federation (LACCIR)<\/div>\r\n
    Sergio Ochoa, Deputy Director, LACCIR<\/div><\/td>\r\n
    		Grand Velas 7-12<\/td>\r\n<\/tr>\r\n
    \r\n
    10:00\u20131:00<\/div><\/td>\r\n
    		DemoFest (Onsite Research Demos)<\/td>\r\nGrand Velas 1-6<\/td>\r\n<\/tr>\r\n
    \r\n
    11:00\u201311:30<\/div><\/td>\r\n
    		Refreshment Break (During Demofest)<\/td>\r\nFoyer Grand Velas<\/td>\r\n<\/tr>\r\n
    \r\n
    1:00\u20133:00<\/div><\/td>\r\n
    		\r\n
    Farewell Lunch<\/div><\/td>\r\n
    		Azul Restaurant<\/td>\r\n<\/tr>\r\n
    \r\n
    3:00<\/div><\/td>\r\n
    		Event Ends<\/td>\r\n<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>"},{"id":2,"name":"Workshops","content":"

    Microsoft Research Software Engineering Workshops<\/h2>\r\nMicrosoft Research hosted workshops on Dafny<\/strong>, a programming language and program verifier for functional correctness, and TouchDevelop Programming<\/strong>, a novel application creation environment developed by Microsoft Research for programming on Windows Phone 7. These two workshops were co-located with the Microsoft Research Latin American Faculty Summit 2012 and took place on May 22 and 23, 2012, in the Riviera Maya, Mexico.\r\n

    Workshop Schedule<\/h2>\r\nTuesday, May 22<\/span>\r\n2:30\u20134:30 PM | Dafny\r\n4:30\u20135:00 PM | Refreshment break\r\n5:00\u20137:00 PM | TouchDevelop Programming I\r\n\r\nWednesday, May 23<\/span>\r\n9:00\u201311:00 AM | TouchDevelop Programming II\r\n\r\n[accordion]\r\n\r\n[panel header=\"Dafny: A Language and Program Verifier for Functional Correctness\"]\r\n\r\nReasoning about programs is a fundamental skill that every software engineer needs. This workshop provides participants an opportunity to get hands-on experience with Dafny, a tool that can help develop this skill.\r\n\r\nDafny is an imperative object-based language with built-in specification constructs. The Dafny static program verifier can be used to verify the functional correctness of programs. The Dafny programming language is designed to support the static verification of programs. It is imperative, sequential, supports generic classes, dynamic allocation, inductive datatypes, and built-in specification constructs (like preconditions and loop invariants). The Dafny verifier is run as part of the compiler. As such, a programmer interacts with it much in the same way as with the static type checker\u2014when the tool produces errors, the programmer responds by changing the program\u2019s type declarations, specifications, and statements. It\u2019s easiest to try out Dafny in your web browser<\/a>. Once you get a bit more serious, you may prefer to download Dafny<\/a> to run it on your machine. This workshop will introduce programming by specification with Dafny.\r\n\r\nThe class participants are expected to know basic programming (for example, variables, assignments, loops, recursion, and simple data structures). No previous experience in program verification is necessary (but people who previously have encountered program verification in the classroom will be especially interested in this tutorial, so they can see what an automatic tool can do).\r\n\r\nThis workshop will show how to use the Dafny language and Dafny verification tool in teaching. Participants will learn how to interact with the Dafny tool and will get ideas for how it may be incorporated into their teaching curricula. Participants should have access to computers, even in pairs, on any platform (the software runs in a browser), so that they can follow along and do some simple exercises during the class. Participants are encouraged to bring their own laptops.\r\n\r\nWebsites:<\/strong>\r\n