|
The CARTE Team organizes two conferences this year:
Past conferences are listed here |
|
Each years the region Lorraine awards PhD thesis in science and litterature. We are proud to announce that this year one of our team member, Matthieu Kaczmarek, has won the second prize in the science category for his work on computer viruses defense. The prize has been receved on february 2010, the 4th. For further details on the wok of Matthieu you can consult his homepage http://www.loria.fr/~kaczmare/. |
General Objectives
- Computer Virology (HSL)
- Computability and Complexity of continuous and new model of computations
- Proof on adversary formal systems
- Implicit computational complexity
|
Planned talks
- Programmer avec de l'ADN
By: Pierre-Étienne Meunier (LIAFA)
Date: jeudi 18 avril 2013 à 14h00
In: salle A006
Abstract: Les pavages auto-assemblants ont été introduits par Erik Winfree au début des années 2000 comme une version effective, et dynamique, des pavages de Wang. Ils sont immédiatement devenus le modèle de référence du calcul par assemblage de fragments d'ADN et de protéines.
Dans cet exposé, je présenterai ce modèle, ses perspectives, autant théoriques que pratiques, ainsi que ses derniers résultats, sur l'existence de jeux de tuiles universels. Ces résultats laissent entrevoir des possibilités de programmation de formes arbitraires à l'échelle nanoscopique. En effet, un jeu de tuiles universel peut être vu comme une forme de langage assembleur; ces avancées permettent donc d'envisager la production de compilateurs.
|
