EJCIM 2015 Orléans

L'École Jeune chercheu/r/se/s en Informatique Mathématique 2015 aura lieu à Orléans du 30 mars au 3 avril 2015

http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/

COURS

Comme chaque année, des thématiques représentatives de la diversité du
GdR Informatique Mathématique seront développées.

Algorithmes exacts (exponentiels) pour problèmes NP-difficiles
Ioan TODINCA (LIFO, Université d’Orléans, Orléans)
Mathieu LIEDLOFF (LIFO, Université d’Orléans, Orléans)

Journées annuelles du GT ALGA 30 & 31 mars 2015

Les journées annuelles du GT ALGA auront lieu les 30 & 31 mars 2015 — Université Paris Diderot – Paris 7.

Le programme et les précisions se trouvent à l'URL:
http://www.liafa.univ-paris-diderot.fr/~serre/GT_ALGA/Annual_Meeting_201...

Organisation: Nathanaël Fijalkow, Anca Muscholl et Olivier Serre.

Journées annuelles du groupe de travail SDA2 du 8 au 10 avril 2015

Posted by Julien.Clement on mar, 10/02/2015 - 22:01

Les prochaines journées annuelles du groupe de travail SDA2 auront lieu au LIGM à l'Université Paris-Est Marne-la-Vallée du 8 au 10 avril 2015.

http://sda2-2015.sciencesconf.org/

THÉMATIQUES PRINCIPALES

- Dynamique symbolique, automates et langages formels, automates cellulaires, pavages et numération;
- Systèmes dynamiques a événements discrets: aspects logiques, temporels et probabilistes.
- Modélisation et analyse en moyenne des algorithmes par des systèmes dynamiques.

DATES IMPORTANTES

* déroulement des journées : 8-10 avril 2015

EPIT 2015 École de Printemps d'Informatique Théorique « Preuve mécanisée de programmes »

Posted by Julien.Clement on mar, 03/02/2015 - 19:16

École de Printemps d'Informatique Théorique

« Preuve mécanisée de programmes »

du 24 au 29 mai 2015 à Fréjus

URL: http://www.epit2015.website/

Cette école de printemps s'adresse à tous les jeunes chercheurs et chercheurs en informatique théorique souhaitant mieux comprendre ce qu'est un assistant de preuve et comment intégrer son usage dans sa recherche. Ainsi, aucune connaissance sur le domaine de la preuve sur ordinateur n'est nécessaire pour suivre cette école .

Le GDR en quelques mots

Le GDR­ AL­P s­'est transformé en le GDR Informatique Mathématique (GDR IM) à partir du 1er janvier 2006. L'informatique mathématique (IM) étudie et analyse­ de nouvelles problématiques issues des grandes questions info­rmatiques, qui ont toutes un point commun : elles sont ­­math­ématisables,­ à l'aide d'outils de mathématiques.