Centre de Recherche en Informatique

A key player in mathematics and digital engineering for the transformation of industry, including the health sector.

Example blog post

This blog post introduces different types of content that are supported and styled with Bootstrap. Basic typography, lists, tables, images, code, etc. are all supported as expected.


This is additional paragraph placeholder content. It was written to fill the available space and show how a longer text snippet affects surrounding content. We'll repeat this often to keep the demo running smoothly, so be on the lookout for that same string of text.

Blockquotes

This is an example blockquote in action:

Quoted text goes here.

This is some additional paragraph placeholder content. It has been written to fill the available space and show how a longer snippet of text affects the surrounding content. We'll repeat it often to keep the demonstration flowing, so be on the lookout for this exact same string of text.

Example lists

This is some additional paragraph placeholder content. It's a slightly shorter version of the other highly repetitive body text used throughout. This is an example unordered list:

  • First list item
  • Second list item with a longer description
  • Third list item to close it out

This is a definiton list:

HyperText Markup Language (HTML)
The language used to describe and define the content of a Web page
Cascading Style Sheets (CSS)
Used to describe the appearance of Web content
JavaScript (JS)
The programming language used to build advanced Web sites and applications

Inline HTML elements

HTML defines a long list of available inline tags, a complete list of which can be found on the  Mozilla Developer Network.

  • To bold text, , use <strong>.
  • To italicize text,, use  <em>.
  • Abbreviations, like HTML, you should use <abbr>, with an optional  title  attribute for the full phrase.
  • Citations, like — Mark Otto , should use  <cite>.
  • Deleted text should use <del> et and inserted text should use <ins>.
  • Superscripttext uses <sup> and subscripttext uses <sub>.

La plupart de ces éléments sont stylisés par les navigateurs avec peu de modifications de notre part.

Title

Subtitle

This is some additional paragraph placeholder content. It has been written to fill the available space and show how a longer snippet of text affects the surrounding content. We'll repeat it often to keep the demonstration flowing, so be on the lookout for this exact same string of text.

Exemple de bloc de code

This is some additional paragraph placeholder content. It has been written to fill the available space and show how a longer snippet of text affects the surrounding content. We'll repeat it often to keep the demonstration flowing, so be on the lookout for this exact same string of text.

Another blog post

This is some additional paragraph placeholder content. It has been written to fill the available space and show how a longer snippet of text affects the surrounding content. We'll repeat it often to keep the demonstration flowing, so be on the lookout for this exact same string of text.

Longer quote goes here, maybe with some emphasized text in the middle of it.

This is some additional paragraph placeholder content. It has been written to fill the available space and show how a longer snippet of text affects the surrounding content. We'll repeat it often to keep the demonstration flowing, so be on the lookout for this exact same string of text.

Example table

And don't forget about tables in these posts:

Name Upvotes Downvotes
Laurent 10 11
Claire 4 3
Fabien 7 9
Total 21 23

This is some additional paragraph placeholder content. It's a slightly shorter version of the other highly repetitive body text used throughout.

About CRI


The computer science research center is a joint research center: MINES ParisTech - ARMINES. The center falls within the theme of the Mathematics and Systems department.

It is dedicated to the study of programming or data description languages ​​used by information technology, by developing in particular semantic analysis and automatic transformation techniques intended to meet industrial needs, administrative and societal. There are many fields of application:
  • the use of sequential or parallel computers (supercomputers, GPU) efficient in computing time, memory or energy use;
  • it assists in the proof of computer specifications to ensure correctness of critical software;
  • and in the design and development of languages ​​specific to a particular application domain (DSL) (physics, health, music, law).

For this, the center has developed and continues to develop numerous industrial and academic partnerships. Let us quote Sagem, Thalès, the Ministry of Justice or Broca Hospital.