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 LC and CSL – 20/Aug/17
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.
Santiago Figueira visits Labri at Bordeaux – July 2017
Santiago Figueira visits the laboratory Labri at Université de Bordeaux in July 2017, to work with Diego Figueira.
Raúl Fervari visits LSV, Cachan – July 2017
Raúl Fervari visits LSV at Cachan in July 2017, to work with Stephane Demri.
Juan Pablo Galeotti is now Investigador Adjunto at CONICET.
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 FM2018
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.
Recent publications of the team "Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems"
- 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 MCA in Canada. 24-28/Jul/17
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á.
Alejandro Díaz-Caro will give a course at ECI – 24-28/Jul/17
Alejandro Díaz-Caro (CONICET/UNQ) will give the cours “Fundamentos de lenguajes para computación cuántica” (Foundations of quantum computing languages) at the “Escuela de Ciencias Informáticas” – UBA – 24-28 July 2017.Alejandro Díaz-Caro (CONICET/UNQ) donnera le cours “Fundamentos de lenguajes para computación cuántica” (Fondements des langages quantiques) à l’« Escuela de Ciencias Informáticas » – UBA – Buenos Aires, 24-28 Juillet 2017.
Alejandro Díaz-Caro (CONICET/UNQ) dictará el curso “Fundamentos de lenguajes para computación cuántica” en la “Escuela de Ciencias Informáticas” – UBA – 24 al 28 de julio de 2017.
Verónica Becher is invited speaker at Fourteenth International Conference on Computability and Complexity in Analysis in Korea -24-27/Jul/17
Verónica Becher is invited speaker at Fourteenth International Conference on Computability and Complexity in Analysis, Daejeon, Republic of Korea, July 24 – 27, 2017Verónica Becher est oratrice invité au Fourteenth International Conference on Computability and Complexity in Analysis à Daejeon, République de Korea – 24 au 27 juillet 2017
Verónica Becher est oradora invitada en el Fourteenth International Conference on Computability and Complexity in Analysis en Daejeon, República de Korea – 24 al 27 de julio de 2017