Sort by
Refine Your Search
-
for logical foundations, a new linguistic layer representing the intermediate steps between natural language texts and formal proof documents, and the automatisation tools for the efficient construction
-
technology and to prepare them for preclinical studies in collaboration with the Institut Pasteur. The work will combine molecular biology methods with the implementation of antiviral and toxicity assays in
-
neuroscience institutes (ISC, SBRI, see LABEX CORTEX) provides many opportunities for discussions and training, including regular seminars and different journal and method clubs. English is the working language
-
-Performance Computing for Exascale" contributes to the design and development of numerical methods and software components that will equip future European Exascale and post-Exascale machines. This program is