Month: July 2017

[:en]The Workshop INFINIS 2017 will take place on Thursday, October 19, 2017, from 9:30 a.m. to 5:30 p.m. at the Departamento de Computación,  Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires (map).

During this workshop each team of INFINIS will present their main subjects of research and their perspectives. There are six teams and each presentation will last, at most, 60 minutes. Each presentation will consist of talks and 10 minutes will be devoted to questions and exchanges with the public. The talks are addressed to students and researchers interested in Computer Science. Registration is not required. Everybody is welcome.

More information at the web page of the event: Workshop INFINIS 2017 

[:fr]Le Workshop INFINIS 2017 aura lieu le jeudi 19 octobre 2017, de 9 h 30 à 17 h 30 au Departamento de Computación,  Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires (carte).

Pendant ce workshop, chaque équipe d’INFINIS présentera ses principaux sujets de recherche et leurs points de vue. Il y a six équipes et chaque présentation durera au plus 60 minutes. Chaque présentation comprendra des discussions et 10 minutes seront consacrées à des questions et à des échanges avec le public. Les présentations s’adressent aux étudiants et aux chercheurs intéressés par l’informatique. L’inscription n’est pas requis. Toute le monde est le bienvenu.

Pour plus de renseignements, visitez la page web de l’événement : Workshop INFINIS 2017.[:es]El Workshop INFINIS 2017 tendrá lugar el jueves 19 de octubre de 2017, de 9:30hs a 17:30hs en el Departamento de Computación,  Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires (mapa).

Durante este workshop, cada eje del laboratorio INFINIS presentará sus temas actuales de investigación y sus perspectivas. Cada uno de los seis ejes contará con una hora y cada presentación constará de alguna charlas y un espacio de 10 minutos para preguntas e intercambio con el público. Las charlas están destinadas a estudiantes de grado, posgrado e investigadores interesados en Ciencias de la Computación. No es necesario inscribirse. Están todos bienvenidos.

Más información en la página web del evento: Workshop INFINIS 2017.[:]

The 13th Latin American Theoretical INformatics Symposium (LATIN 2018) will be held in Buenos Aires on April 2018. Several members of INFINIS are in the organisation committee.

Three members of INFINIS are in the organising committee of LAGOS 2017, which will be held in Marseille in September.

Olivier Carton will be in CNRS delegation at the University of Buenos Aires from September 2017 to August 2018.Olivier Carton sera en délégation CNRS à l’Université de Buenos Aires de septembre 2017 à août 2018.Olivier Carton hará una “délégation CNRS” en la Universidad de Buenos Aires de septiembre de 2017 hasta agosto de 2018.

Verónica Becher gives a highlight talk at joint session of Logic Colloquium 2017 and 26th Conference on Computer Science Logic CSL’2017 of European Association for Computer Science Logic; Stockholm University, August 20, 2017.Verónica Becher donne un « highlight talk » au session conjointe du Logic Colloquium 2017 et 26th Conference on Computer Science Logic CSL’2017 du European Association for Computer Science Logic; Université de Stockholm, 20 août 2017.Verónica Becher dictará una « highlight talk » en la sesión conjunta del Logic Colloquium 2017 y el 26th Conference on Computer Science Logic CSL’2017 de la European Association for Computer Science Logic; Universidad de Estocolmo, 20 de agosto de 2017.

Juan Pablo Galeotti has been promoted to Investigador Adjunto at CONICET.Juan Pablo Galeotti a été promu Investigador Adjunto à CONICET.Juan Pablo Galeotti fue promovido a Investigador Adjunto del CONICET.

Diego Garbervetsky is member of the program committee of the 22nd International Symposium on Formal Methods.Diego Garbervetsky est membre du comité du programme du 22nd International Symposium on Formal Methods.Diego Garbervetsky es miembro del comité de programa de 22nd International Symposium on Formal Methods.

• Hernan Melgratti and Luca Padovani. “Chaperone Contracts for Higher-Order Sessions”. 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017).
• Diego Garbervetsky, Edgardo Zoppi, and Benjamin Livshits, “Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis”, acepted for the main track of ESEC/FSE 2017.
• Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, and Edgardo Zoppi, “Static Analysis for Optimizing Big Data Queries” acepted for the industrial track of ESEC/FSE 2017.
• Nikolas Havrikov, Alessio Gambi, Andreas Zeller, Andrea Arcuri, and Juan Pablo Galeotti, “Generating unit tests with structured system interactions”. May 2017 AST’17: Proceedings of the 12th International Workshop on Automation of Software Testing.
• Juan Pablo Galeotti and Justyna Petke, “SBST ’17: Proceedings of the 10th International Workshop on Search-Based Software Testing“, May 2017.

• Hernan Melgratti et Luca Padovani. “Chaperone Contracts for Higher-Order Sessions”. 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017).
• Diego Garbervetsky, Edgardo Zoppi et Benjamin Livshits, “Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis”, acepté dans le main track à ESEC/FSE 2017.
• Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz et Edgardo Zoppi, “Static Analysis for Optimizing Big Data Queries” acepté au industrial track à ESEC/FSE 2017.
• Nikolas Havrikov, Alessio Gambi, Andreas Zeller, Andrea Arcuri et Juan Pablo Galeotti, “Generating unit tests with structured system interactions”. Mai 2017 AST’17: Proceedings of the 12th International Workshop on Automation of Software Testing.
• Juan Pablo Galeotti et Justyna Petke, “SBST ’17: Proceedings of the 10th International Workshop on Search-Based Software Testing“, Mai 2017.

• Hernan Melgratti y Luca Padovani. “Chaperone Contracts for Higher-Order Sessions”. 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017).
• Diego Garbervetsky, Edgardo Zoppi y Benjamin Livshits, “Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis”, aceptado en track principal de ESEC/FSE 2017.
• Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz y Edgardo Zoppi, “Static Analysis for Optimizing Big Data Queries” aceptado al track industrial de ESEC/FSE 2017.
• Nikolas Havrikov, Alessio Gambi, Andreas Zeller, Andrea Arcuri y Juan Pablo Galeotti, “Generating unit tests with structured system interactions”. Mayo 2017 AST’17: Proceedings of the 12th International Workshop on Automation of Software Testing.
• Juan Pablo Galeotti y Justyna Petke, “SBST ’17: Proceedings of the 10th International Workshop on Search-Based Software Testing“, Mayo 2017.

Antonio Cafure and Martín Safe gave invited talks at Special Sessions of the Mathematical Congress of the Americas. July 24-28, Montreal, Canada.Antonio Cafure et Martín Safe ont donné des séminaires invités aux Sessions Spéciaux du Mathematical Congress of the Americas. 24 au 28 juillet 2017, Montreal, Canada.Antonio Cafure y Martín Safe dieron charlas invitadas en las Sesiones Especiales del Mathematical Congress of the Americas. 24 al 28 de julio de 2017, Montreal, Canadá.