pcc.loria.fr
pcc 09
8th Proof, Computation and Complexity. LORIA - Nancy, France. Http:/ pcc.loria.fr. 09h30 - 10h00 - Welcome. 10h00 - 11h00 - Lars Kristiansen, Oslo - TBA. 11h00 - 12h00 - Philippe de Groote, Nancy - TBA. 12h00 - 12h45 - Bedeho Mender, Oslo - The Semantics and Complexity of Successor-free non deterministic Godel T and PCF. 14h00 - 15h00 - Patrick Baillot, Lyon - From light linear logic to a functional programming language for polynomial time complexity. Past events were held. 2006 in Ilmenau,. PCC is inten...
paristic.loria.fr
PaRISTIC : 21,22,23 Novembre 2006 - LORIA
L'objectif des journées PaRI-STIC est de faire un panorama des recherches incitatives dans les Sciences et les Technologies de l'Information et de la Communication. Le Ministère délégué à la Recherche en partenariat avec le CNRS et l'INRIA, puis l'Agence Nationale pour la Recherche ont lancé ces 4 dernières années plusieurs programmes destinés à soutenir et à renforcer la recherche amont, en particulier dans les domaines suivants. Http:/ www-anr-ci.cea.fr/. Http:/ www-anr-ci.cea.fr/. Favorise la recherch...
pareo.loria.fr
pareo [Pareo]
This is the Pareo web site. This is the Pareo web site. 2014-09-12] Jean-Christophe Bach's PhD defense. 2013-03-21] Tom 2.10. Short presentation of Pareo. Rule based programming, term rewriting, pattern matching, strategic programming, efficient data-structures. All those beautiful things into Java. A proof assistant for superdeduction. The Pareo team is a member of the FNRAE project Quarteft. About the certification of model transformations. The Pareo team was a member of the INRIA ARC Corias.
nss.loria.fr
NSS Research Department - HomePage
NSS - Networks, Systems and Services. NSS department of LORIA lab comprises people with research interests in large-scale networks (e.g., Internet and Internet of Things, network management and security),distributed and high performance computing systems (e.g., Grids, data centers), and services over the Internet (e.g., cloud computing, trustworthy service composition, data management and collaborative software). NSS department is organized in following research teams. AlGorille: Algorithms for the Grid.
mpfr.loria.fr
The GNU MPFR Library
Information to use the anonymous access to the Subversion repository. To start with the. Involved projects and developers. Releases and past events. Documents describing algorithms used in. And various links about. How to contribute to. Thanks to Tomonori Kouya. Mailing-list for users and developers. Note: to post to the list, you. Use the web interface, just send a mail to mpfr at inria.fr (and please, for a new thread, do. Reply to an existing message; changing the subject is. Nancy, France) and. In th...
mlif.loria.fr
ISO 24616-2011: MultiLingual Information Framework; stage:60 (2011-06-01)
No database connection set for this server.
miamm.loria.fr
MIAMM homepage
Multidimensional Information Access using Multiple Modalities.
mhtml.loria.fr
Modular HTML
MHTML stands for Modular HyperText Markup Language. As its name implies, it introduces modularity in HTML and XHTML as a preprocessing stage, consequently preserving compatibility with W3C. Standards. To fulfill this goal, MHTML extends the host language with a set of markups that are fully XML-compliant. With respect to the W3C. Modular HTML first appeared in:. Additionally, MHTML makes heavy use of TOM. For its internal processing and thus hopes to demonstrate its power. Section of this site.
maps.loria.fr
MAPS Main/Home Page
MAPS: Mappings, Adaptation, Plasticity and Spatial computation. Février 2011 à Marseille. Is a research project partly funded by the french ANR (Agence Nationale de la Recherche). 36 months from 12/2007. In computer science, neuroscience, experimental psychology. In order to improve the analysis of such neural computation in the modeling of the living, this study will be held both at the level of the mean population activity frequency, and at the level of the discrete discharges of individual neurons....
malware10.loria.fr
Malware 2010
5th IEEE International Conference on Malicious and Unwanted Software. October 19-20, 2010 - Nancy, France. Malware 2010 will be held at Hotel de la Reine. In Nancy, France, 19-20 OCtober 2010. Deadline for submissions : June, 30th, 2010. Notification to authors : August, 27th 2010. Final Version : September, 10th 2010. Malware 2010 : October, 19th-20tht 2010. Anthony Arrott, Trends Micro, USA. Pierre-Marc Bureau, ESET, Canada. Mila Dalla Preda, Verona University, Italy. Jose Nazario, Arbor networks, USA.
SOCIAL ENGAGEMENT