Developers, System Administrators, Geeks, you too.

Primera Python Meetup del Año 2017

Date una vuelta para compartir un par de charlas y conversar de forma des-estructurada de todo lo geek de la vuelta.

• Introducción a los Métodos Formales de Desarrollo de Software

En esta charla, analizaremos cómo se desarrolla el software en la actualidad y abordaremos la problemática que éste presenta a la hora de asegurar la corrección.

Se describirá una posible solución mediante la utilización de métodos formales y se presentará brevemente un mínimo fundamento teórico compuesto por la lógica de Hoare y el método de la variante.

La idea es dar una breve introducción a estas prácticas poco utilizadas en el mercado local, pero muy utilizadas en la industria de desarrollo de software crítico (Industrial Pesada, Aeroespacial, Medicina, etc). Guillermo Colmenero (https://www.linkedin.com/in/guillermocolmenero/).

• Lightning Talks

Te animas a dar una charla de 5 a 10 minutos ? Vas a tener la oportunidad de proponer y dar una charla rápida del tema que más te este picando estos días.

• Algo para picar, algo para tomar, algo para contar y gente para conocer.

• Te interesa que veamos algún tema en particular ?

Hace la propuesta por acá -> Sugerir Temas. (http://bit.ly/2obxVu2)

Venite, te esperamos!