07 Sept 2010 @ 23:39

Association fondatrice de l'ASTI
JFPC09 :: ALP :: CP Online :: Contact 
Rechercher   
Espace membres
 Surnom/pseudo
 Mot de passe
 Retenir


Certaines rubriques et forums ne sont accessibles qu'aux adhérents. L'adhésion en ligne est possible:
Adhérer

Menu Principaloem softwarecheap Adobe Acrobat
· Accueil
· L'association
· Parrainage
· Compte personnel
· Administration
· Déconnexion

Actes des JFPC
· 2007
· 2006
· 2005

Modules
· FAQ
· Articles & Tutoriaux
· Téléchargements
· Liens internet
· Forums

· JFPC
· Séminaires
· Lettres de l'AFPC

· Nouvelles
· Compte rendus
· Soumettre une nouvelle
· Sujets

· Recherche

· Statistiques
· Recommandation
· Top 10

· Liste des Membres


Liens les plus recents
· becool: Belgian Constraint Group @ UCLouvain
· Bibliothèque de prouveurs basés sur SAT en Java : SAT4J
· Congrès ASTI 2005, 24-26 octobre 2005
· Solveur MaxCSP Toolbar
· Koalog
· LIFO (Laboratoire d'Informatique Fondamentale d'Orléans)
· Le solveur CHOCO
· Explanation-based constraint programming
· ICLP 2004
· JNPC et JFPLC 02

Qui est en ligne
Il y a actuellement 7 invités et 0 membres en ligne

Vous êtes un visiteur anonyme. Adhérez à l'AFPC en cliquant ici.



Vous êtes sous la catégorie:conférence
Suivre les nouvelles éditées sous cette catégories



Tout voir

conférence: 5èmes Journées Francophones de Programmation par Contraintes
Transmis par: alex actif Mercredi, 03 Décembre 2008 @ 11:46
nouvelles relatives à l'association

JFPC'09
Orléans, 3 au 5 juin 2009

http://www.univ-orleans.fr/evenements/jfpc/

  • 21 février 2009 : date limite d'envoi des résumés d'articles
  • 28 février 2009 : date limite de soumission des articles complets
  • 4 avril 2009 : notification aux auteurs
  • 30 avril 2009 : version définitive en français


(3908 lectures) commentaires ? Envoyer cet article à un ami Format imprimable

conférence: CP'08 Call for Tutorial
Transmis par: Arno actif Mercredi, 14 Mai 2008 @ 18:21
problemes de satisfaction de contraintes ____________________ Call for Tutorial Proposals ____________________

CP 2008
14th International Conference on Principles and Practice of Constraint Programming, Sydney, Australia, 14-18 September 2008
http://www.csse.unimelb.edu.au/cp2008/
Co-located with:
Int'l Conference on Automated Planning and Scheduling (ICAPS)
Int'l Conference on Knowledge Representation and Reasoning (KR)
Int'l Workshop on Nonmonotonic Reasoning (NMR)
The CP 2008 Program Committee invites proposals for the Tutorial
Program.


(3929 lectures) Lire la suite... (1842 octets de plus) commentaires ? Envoyer cet article à un ami Format imprimable

conférence: CP'08 Doctoral Programme
Transmis par: Arno actif Mercredi, 14 Mai 2008 @ 18:19
nouvelles relatives à l'association _____________ Call for Doctoral Programme Applications ______________
CP 2008
14th International Conference on Principles and Practice of Constraint Programming Sydney, Australia 14-18 September 2008
http://www.csse.unimelb.edu.au/cp2008/
Co-located with ICAPS, KR, and NMR

(4040 lectures) Lire la suite... (6940 octets de plus) commentaires ? Envoyer cet article à un ami Format imprimable

conférence: [SofT'08] CFP: Preferences and Soft Constraints Workshop at CP 2008
Transmis par: degivry actif Lundi, 05 Mai 2008 @ 00:00
problemes de satisfaction de contraintes 9th Workshop on Preferences and Soft Constraints, SofT'08
Special year on Cost Function Processing

Held in conjunction with the 14th International Conference on
Principles and Practice of Constraint Programming, CP'08

(3665 lectures) Lire la suite... (4491 octets de plus) commentaires ? Envoyer cet article à un ami Format imprimable

conférence: JFPC08 : appel à participation
Transmis par: truchet actif Mardi, 29 Avril 2008 @ 21:07
nouvelles relatives à l'association Les JFPC 08 auront lieu du 4 au 6 juin à Nantes.
Les inscriptions en ligne sont ouvertes jusqu'au 26 mai et l'appel à participation est visible ici .

Pour plus d'informations voir le site de la conférence

(3010 lectures) commentaires ? Envoyer cet article à un ami Format imprimable

conférence: JFPC 08, 4-6 juin, Nantes
Transmis par: truchet actif Mardi, 29 Janvier 2008 @ 20:55
nouvelles relatives à l'association ---------------------------------
JFPC 2008, par Gilles Trombettoni
---------------------------------

Quatrièmes Journées Francophones de Programmation par Contraintes. Nantes, École des Mines, du 4 au 6 juin 2008. http://www.lina.sciences.univ-nantes.fr/JFPC08/

Dates importantes :

* 21 février 2008 : date limite d'envoi des résumés d'articles,
* 28 février 2008 : date limite de soumission des articles complets,
* 4 avril 2008 : notification aux auteurs,
* 30 avril 2008 : version définitive en français,
* du 4 au 6 juin 2008 : JFPC 2008.


(3227 lectures) Lire la suite... (343 octets de plus) 7 Commentaires Envoyer cet article à un ami Format imprimable

conférence: Soutenance de thèse Matthias Zytnicki le 12/12 à Toulouse
Transmis par: zytnicki actif Vendredi, 07 Décembre 2007 @ 18:18
problemes de satisfaction de contraintes INRA de Toulouse le 12 décembre à 14h30
Recherche d'ARN non-codants par réseaux de contraintes pondérées

(3693 lectures) Lire la suite... (2545 octets de plus) 10 Commentaires Envoyer cet article à un ami Format imprimable

conférence: Nouvelles des JFPC 2007
Transmis par: deransart actif Mercredi, 07 Février 2007 @ 19:23
nouvelles relatives à l'association A lundi!

Tout sur:
http://contraintes.inria.fr/JFPC07/

y compris l'accès aux communications (voir le programme)

# du 4 au 6 Juin 2007 : JFPC 2007
# du 7 au 8 juin 2007 : ERCIM international workshop on Constraint Solving and Constraint Logic Programming CSCLP 2007

(5396 lectures) Lire la suite... (6 octets de plus) commentaires ? Envoyer cet article à un ami Format imprimable

conférence: The CP 2006 Workshop on the Integration of SAT and CP techniques
Transmis par: leberre actif Mercredi, 26 Avril 2006 @ 13:38
problemes de satisfaction de contraintes http://research.microsoft.com/~youssefh/SAT-CP-Integration-CP2006/

SAT and CP techniques are two problem solving technologies which share many similarities, and there is considerable interest in cross-fertilising these two areas. The techniques used in SAT (propagation, activity-based heuristics, conflict analysis, restarts...) constitute a very successful combination which makes modern DPLL solvers robust enough to solve large real-life instances without the heavy tuning usually required by CP tools. Whether such techniques can help the CP community develop more robust and easier-to-use tools is an exciting question. One limitation of SAT, on the other hand, is that not all problems are effectively expressed in a Boolean format. This makes CP an appealing candidate for many applications, like software verification, where SAT is traditionally used but more expressive types of constraints would be more natural. The goal of this workshop is to boost the discussions between the SAT and CP communities by encouraging submissions at the border of these two areas.

(4780 lectures) Lire la suite... (2786 octets de plus) 28 Commentaires Envoyer cet article à un ami Format imprimable

conférence: CFP MOPGP'06
Transmis par: jussien actif Jeudi, 16 Juin 2005 @ 09:24
problemes de satisfaction de contraintes ********************************************************
** MOP/GP 2006
********************************************************

First Call for Papers: MOP/GP 2006

7th International Conference devoted to
Multi-Objective Programming and Goal Programming

June 12-14, 2006
Loire Valley (city of Tours) - France

Home Page: http://www.MOPGP06.org




(5619 lectures) Lire la suite... (9057 octets de plus) 63 Commentaires Envoyer cet article à un ami Format imprimable

 ::  ::  

Site réalisé avec PostNuke.