veridis.loria.fr
The VeriDis Team
http://veridis.loria.fr/Projects.html
Verification of Distributed Systems. Satisfiability modulo arithmetics and theories, funded by the ANR. Agence Nationale de la Recherche) and the DFG. Deutsche Forschungsgemeinschaft), complemented by a grant from the Lorraine region, since 2014. Implicit and explicit semantics, funded by the ANR. Agence Nationale de la Recherche), since 12/2013. Tools and Methodologies for Formal Specifications and for Proofs. At the MSR-INRIA Joint Centre. ADT VeriT, funded by INRIA (2012-2014).
hpcla.blogspot.com
High Performance Computing in Latin America: November 2014
http://hpcla.blogspot.com/2014_11_01_archive.html
High Performance Computing in Latin America. Where you will find all the news about HPC in the region. Tuesday, November 25, 2014. Inside the Broader Engagement program of the Supercomputing Conference. BE) program tries to increase the diversity of the HPC community by offering financial support to a large number of persons from different backgrounds (as long as they have a legitimate interest in HPC). E currently teaches programming to Electrical and Computer Engineering students at. A: The experience ...
hpcla.blogspot.com
High Performance Computing in Latin America: January 2015
http://hpcla.blogspot.com/2015_01_01_archive.html
High Performance Computing in Latin America. Where you will find all the news about HPC in the region. Tuesday, January 27, 2015. Intel to open new R&D laboratory in Costa Rica. A new Intel "mega-laboratory" for research and development will open this year in Costa Rica. In the region has been seen as a positive sign for the cloud computing market in Latin America. Wednesday, January 21, 2015. Profile of national HPC developments in Latin America - Part III. And II ( Chile and Colombia. Mexico is one of ...
dsg.famaf.unc.edu.ar
Projects | Dependable Systems Group
http://dsg.famaf.unc.edu.ar/projects
Centro de Transferencia e Investigación en Ingeniería de Software. Funded by FONCYT - ANPCyT. See also project home page. Fundamentos, algoritmos y herramientas para el desarrollo de sistemas distribuidos confiables. Funded by FONCYT - ANPCyT. PICT 2012-1823). 2013. Fundamentos, Algoritmos y Herramientas para la Construcción de Programas Confiables. Fundamentos y Técnicas para el Análisis de Fiabilidad de Sistemas Distribuidos y Estocásticos. See also project home page. Funded by 7FP, European Commission.
saemc.cmm.uchile.cl
South American Emissions, Megacities and Climate
http://saemc.cmm.uchile.cl/index.php?option=com_jcalpro
South American Emissions, Megacities and Climate. Friday, September 02, 2016. Powered by JCal Pro Calendar 1.5.
saemc.cmm.uchile.cl
South American Emissions, Megacities and Climate - Home
http://saemc.cmm.uchile.cl/index.php?date=2015-07-01
South American Emissions, Megacities and Climate. Visitors Counter 1.0.2. Counting visits since 07/28/2008. January 9, 2012. Saturday, 14 January 2012. And here we are outside the Geology Departmenton FCFM Santiago de Chile! Destacadas personalidades asistirán a simposio internacional sobre calidad del aire en megaciudades. Wednesday, 28 December 2011. Mas información y el link directo acá. Towards an Integrated Observing System for South America. Tuesday, 13 December 2011. For further information click.
gsd.famaf.unc.edu.ar
Projects | Dependable Systems Group
http://gsd.famaf.unc.edu.ar/projects
Fundamentos, Algoritmos y Herramientas para la Construcción de Programas Confiables. Fundamentos y Técnicas para el Análisis de Fiabilidad de Sistemas Distribuidos y Estocásticos. Centro de Transferencia e Investigación en Ingeniería de Software. Funded by FONCYT - ANPCyT. See also project home page. Fundamentos, algoritmos y herramientas para el desarrollo de sistemas distribuidos confiables. Funded by FONCYT - ANPCyT. PICT 2012-1823). 2013. See also project home page. Funded by 7FP, European Commission.
