Year 2007-2008
Meetings (usually) on thursday from 2.00 PM to 4.00 PM either in room 101
of the extension of the M3 or together with the BioPi team (working group biocomputing) in the INRIA building, room W11.
URL : http://www2.lifl.fr/CALFORME.
For a talk, send an email to Francois.Lemaire@lifl.fr.
26 juin
19 juin
12 juin
5 juin - Frédéric Maquet
Intégrateurs intelligents pour systèmes différentiels lents et rapides.
22 mai - MORDU
Suite de la réunion du 15 mai.
15 mai - MORDU
Sur l'article Programming gene expression with combinatorial promoters by Cox, Surette and Elowitz (Molecular Systems Biology).
8 mai
férié
1er mai
férié
24 avril
A.G. LIFL.
22 avril (mardi) - MORDU
Sur l'article Regulatory Dynamics of Synthetic Gene Networks with Positive Feedback by Maeda and Sano (Journal of Molecular Biology).
17 avril
Sur l'article de Johan Paulsson Models of stochastic gene expression (Physics of Life reviews).
10 avril
3 avril
24 avril
AG du LIFL.
17 avril
10 avril
3 avril - A.Urguplu
Présentation du paquetage MABSys (Modelization and Analysis of Biological Systems).
27 mars
DARCA.
20 mars
13 mars - F. Boulier
sur l'interfaçage entre BLAD et MAPLE.
6 mars
28 février
21 février
14 février
7 février
Autour d'un article de Yasushi Saka.
31 janvier
Réunion d'équipe biocomputing.
24 janvier - B. Fresse
Opérades et complexes d'arbres (amphi Türing)
Une opérade est une structure algébrique dont les éléments modélisent des opérations à n entrées et 1 sortie. On présentera les idées et les motivations conduisant à la définition de cette notion.
On peut développer une analogie monoïde/opérade. La différence essentielle est qu'une composition formelle d'opérations dans une opérade est organisée selon un arbre au lieu d'une séquence. On peut ainsi définir une opérade par des opérations génératrices avec des relations génératrices entre ces opérations. Le problème est alors de construire une base de l'opérade donnant des représentants canoniques de ses éléments. Cette question est bien comprise pour des opérades associées aux catégories d'algèbres classiques des mathématiques.
On montrera que l'existence d'une forme canonique, avec une relation d'ordre appropriée, entraine l'acyclicité de complexes combinatoires, dont les éléments sont des arbres, représentant des compositions formelles d'éléments de l'opérade. Ce résultat montre en retour que l'homologie de ces complexes combinatoires donne des obstructions à l'existence de formes canoniques pour les opérades.
17 janvier - François Boulier biocomputing
Une introduction à l'algèbre différentielle.
10 janvier - Michel Petitot
Sur l'approche géométrique des équations différentielles.
3 janvier
20 décembre
13 décembre - biocomputing
Autour de l'article Gene Regulation at Single Cell Level.
6 décembre
MACIS 2007
29 novembre - Valerio Passini - biocomputing
Sur les travaux de Valerio à Trento.
22 novembre - Aslı Ürgüplü
Expanded Lie point symmetries of ordinary differential and difference systems.
15 novembre - Cédric Lhoussaine biocomputing
Discussion autour d'un article EDO vs pi-calcul.
8 novembre - François Boulier - biocomputing
Bifurcations, topological analysis of implicit curves and symbolic computation.
1er novembre
férié.
25 octobre - Mirabelle Nebut - biocomputing
About Rule Based Modelling
18 octobre
11 octobre - Stefan Haar - biocomputing
4 octobre
27 septembre
20 septembre - Joachim Niehren - biocomputing
pi-calcul et mozart-oz.
13 septembre - Mathias John - biocomputing
extension spatiale du pi-calcul.
