Participation aux JFPC 2015

Bordeaux, 22-24 Juin

Venir au Labri (lieu de la conférence)

Les journées ont lieu au LaBRi à Talence. Pour venir le plus simple est de prendre le Tram B jusque Peixotto puis de marcher 5 minutes jusqu'au laboratoire. Pour plus de détails, vous pouvez consulter la page web du LaBRi....

Venir au Labri

Inscriptions

TARIFSPréférentiel
(du 20/04 au 24/05)
Majoré
(du 25/05 au 10/06)
Sur place1
(22 et 23/06)
Etudiant90 EUR TTC140 EUR TTC190 EUR TTC
Académique150 EUR TTC200 EUR TTC250 EUR TTC
Industriel200 EUR TTC250 EUR TTC300 EUR TTC

Pour vous inscrire : Remplissez ce formulaire d'inscription avant de le retourner de préférence par email à l'adresse indiquée (katel.guerin@labri.fr). Vous trouverez sur ce document le numéro SIRET de l'université de Bordeaux (si besoin).

Demandez le programme

Les journées commenceront le lundi en fin de matinée et termineront mercredi en fin de journée. Vous pouvez retrouver le programme détaillé des sessions ici....

Programme détaillé

Localisations (Conférence, Banquet, Hôtels)


Hôtel Catégorie Prix (indicatifs)
Novotel Bordeaux Centre (Accord) 95€
Hôtel Mercure Bordeaux Centre (Accord) 109€
Quality Hôtel Bordeaux Centre 107€
BEST WESTERN Bordeaux “Bayonne Etche-Ona” 128€
Hôtel de la Presse 77.50€
Hôtel Gambetta 70€
Hôtel du Théatre 74€
Ibis budget Bordeaux Centre Meriadeck (Accord) 59€

Hôtel sur le campus

Hôtel Catégorie Prix (indicatifs)
Teneo Suites Apparthotel NA 55€

Invités & Tutoriaux

François Fages

Machinerie cellulaire et programmation biochimique : vers une informatique de la cellule


La biologie des systèmes est un courant de recherche multi-disciplinaire qui cherche à comprendre les processus biologiques complexes en terme des interactions biochimiques à l'échelle de la cellule. Pour l'informaticien, la difficulté n'est pas tant dans le nombre d'espèces moléculaires et de leurs interactions, que dans la nature non conventionnelle du calcul biochimique qui est concurrent, distribué, partiellement analogique, et opéré par des systèmes de réactions acquis par l'évolution. Le pari de voir les cellules comme des machines, et les systèmes de réactions biochimiques comme des programmes, lance de nouveaux défis à l'informatique fondamentale et ouvre de nouvelles perspectives en biologie et en médecine. Dans cet exposé nous présenterons quelques concepts clés de cette démarche, à plusieurs reprises inspirée de la programmation logique avec contraintes, et l'illustrerons par un succès obtenu pour l'élucidation de la dynamique complexe de certaines voies de signalisation cellulaire.



Christophe Lecoutre, Frédéric Boussemart et Cédric Piette

XCSP3 : un turoriel


Dans ce tutoriel, nous allons présenter une révision majeure du format XCSP 2.1, appelé XCSP3, permettant de construire des représentations intégrées de problèmes combinatoires sous contraintes. Ce nouveau format est capable de traiter l'optimisation mono et multi-critère, de nombreux types de variables, les fonctions de coût, la réification, les vues, les annotations, la quantification, le raisonnement distribué, probabiliste et qualitatif. Le nouveau format est rendu compact, très lisible, et plutôt facile à analyser. Fait intéressant, il saisit en partie la structure des modèles de problèmes, par les possibilités de déclarations de tableaux de variables, et d'identification de groupes syntaxiques et sémantiques de contraintes. Le nombre de contraintes est maintenue sous contrôle en introduisant un ensemble d'environ 40 formes de contraintes de base, et en produisant presque automatiquement certaines de leurs variations par des mécanismes de relaxation, de construction logique et de glissement. En conséquence, XCSP3 englobe pratiquement toutes les contraintes qui peuvent être trouvées dans les solveurs de contraintes reconnus développés par la communauté CP. Nous allons également présenter notre site Web, développé conjointement avec le format, qui contient de nombreuses séries d'instances de problèmes, et couplé avec un système de requêtes qui permet de sélectionner des instances à partir de critères très précis. Il fournit également un ensemble d'outils pour l'analyse et la vérification d'instances XCSP3. L'objectif avec XCSP3 est de faciliter le test et la comparaison de méthodes et d'algorithmes en fournissant un banc d'essai commun de problèmes combinatoirs sous contraintes.

Articles acceptés

Michael Saint-Guillain, Yves Deville and Christine Solnon. Une approche basée sur la programmation stochastique multi-étapes pour résoudre le VRPTW dynamique et stochastique
Mohammed Bekkouche. Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs
Jean-Baptiste Mairy, Yves Deville and Christophe Lecoutre. La Contrainte Smart Table
Charlie Vanaret, Jean-Baptiste Gotteland, Nicolas Durand and Jean-Marc Alliot. La première preuve d’optimalité pour le cluster de Lennard-Jones à cinq atomes
Vinasétan Ratheil Houndji, Pierre Schaus, Laurence Wolsey and Yves Deville. La contrainte globale StockingCost pour les problèmes de planification de production
Sascha Van Cauwelaert, Michele Lombardi and Pierre Schaus. Comprendre le Potentiel des Propagateurs
Penelope Aguiar Melgarejo, Philippe Laborie and Christine Solnon. Une contrainte de No-Overlap dépendant du temps : Application aux problèmes de tournées de livraison en milieu urbain
Guillaume Perez and Jean-Charles Regin. Relation dynamique entre MDD et tuples
Andrés Felipe Barco Santa, Jean-Guillaume Fages, Elise Vareilles, Paul Gaborit and Michel Aldanondo. Implémentation du problème de calepinage de façades avec Choco-Solveur
Martin Cooper, Philippe Jégou and Cyril Terrioux. Une famille de classes polynomiales de CSP basée sur la microstructure
El Mouelhi Achref, Philippe Jégou and Cyril Terrioux. Classes Polynomiales Cachées
Martin Cooper, El Mouelhi Achref, Cyril Terrioux and Bruno Zanuttini. Autour des Triangles Cassés
Clément Lecat, Chu Min Li, Corinne Lucet and Yu Li. Comparaison de méthodes de résolution pour le problème de somme coloration
Philippe Jégou, Hanan Kanso and Cyril Terrioux. De nouvelles approches pour la décomposition de réseaux de contraintes
Willy Ugarte, Patrice Boizumault, Samir Loudni and Bruno Cremilleux. Calcul de cubes de skypatterns
André Abramé and Djamal Habet. Application efficace de la max-résolution sur les sous-ensembles inconsistants
André Abramé and Djamal Habet. Sources de propagation multiples dans les solveurs Branch and Bound pour Max-SAT
Frederic Lardeux and Eric Monfroy. Expressively Modeling the Social Golfer Problem into SAT
André Abramé and Djamal Habet. On the Extension of Learning for Max-SAT
Thi-Bich-Hanh Dao, Willy Lesaint and Christel Vrain. Clustering conceptuel et relationnel en programmation par contraintes
Sylvain Ducomman, Hadrien Cambazard and Bernard Penz. Une approche en Programmation par Contrainte pour le problème du voyageur de commerce avec fenêtres de temps.
Maël Minot, Samba Ndojh Ndiaye and Christine Solnon. Finding a maximum common induced subgraph by decomposing the compatibility graph
Frédéric Koriche, Sylvain Lagrue, Eric Piette and Sébastien Tabary. Résolution de SCSP avec borne de confiance pour les jeux de stratégies
Jean-Marie Lagniez, Sébastien Tabary and Nicolas Szczepanski. SwarmSAT : un solveur SAT massivement parallèle
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis and Samuel Thomas. Compilation de réseaux de contraintes en graphes de décision décomposables multivalués
Ilyess Bachiri, Jonathan Gaudreault, Brahim Chaib-Draa and Claude-Guy Quimper. RLBS: Une stratégie de retour arrière adaptative basée sur l'apprentissage par renforcement pour l'optimisation combinatoire
Achref El Mouelhi. Autour de la décomposition des contraintes non-binaires en contraintes binaires équivalentes
Bertrand Neveu, Gilles Trombettoni and Ignacio Araya. Choix de nœud dans un algorithme de Branch and Bound sur intervalles
Jean-Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly. CoQuiAAS : Applications de la programmation par contraintes à l'argumentation abstraite
Thi-Bich-Hanh Dao, Duong Khanh-Chuong and Christel Vrain. Clustering avec la minimisation de la somme des carrés par la programmation par contraintes
Anicet Bart, Charlotte Truchet and Eric Monfroy. Contraintes sur des flux appliquées à la vérification de programmes audio
Steven Gay, Renaud Hartert and Pierre Schaus. Raisonnement disjonctif pour la Contrainte Cumulative
Alejandro Reyes Amaro, Eric Monfroy and Florian Richoux. A Parallel-Oriented Language for Modeling Constraint-Based Solvers
Olivier Sans, Rémi Coletta and Gilles Trombettoni. Un algorithme arborescent de contraction forte pour le CSP numérique
Grigori German, Hadrien Cambazard, Jean-Philippe Gayon and Bernard Penz. Contrainte globale pour des problèmes de lot sizing
Nicolas Briot, Philippe Vismara and Christian Bessiere. Programmation par contraintes pour la vendange sélective
Samba Ndojh Ndiaye and Christine Solnon. Un cadre générique pour l'intégration de BTD dans une bibliothèque de programmation par contraintes
Wafa Jguirim, Wady Naanaa and Martin Cooper. Sur une classe polynomiale relationnelle pour les CSP binaires
Julien Vion, Rene Mandiau and Sylvain Piechowiak. Backtracking distribué multivariables avec sessions
Yasmine Lahsinat, Belaid Benhamou and Dalila Boughaci. Three hyper-heuristic variants to solve the Frequency Assignment Problem in cellular network
Guillaume Perez and Jean-Charles Régin. Relation dynamique entre MDD et tuples
Andrés Felipe Barco Santa, Jean-Guillaume Fages, Elise Vareilles, Paul Gaborit and Michel Aldanondo. Implémentation du problème de calepinage de façades avec Choco-Solveur

Partenaires

CONTACT / ADRESSE


Email: jfpc2015@labri.fr

Lieu de la conférence

Labri -- Laboratoire Bordelais de Recherche en Informatique
351, cours de la Libération,
Talence.