 |
|
|
|
Il y a actuellement 6 invités et 0 membres en ligne
Vous êtes un visiteur anonyme. Adhérez à l'AFPC en cliquant ici.
|
|
|
Bienvenue sur le site de l'AFPC !
| |
| |
|
|
|
|
Appel à candidatures pour l'organisation de JFPC 2012
Le CA de l'AFPC lance un appel à organisateur pour les JFPC 2012.
Voir infos détaillées dans le forum JFPC.
|
|
| (670 lectures) |
commentaires ?   |
|
|
|
|
|
|
Thème: Application de la programmation par contraintes à la résolution de problèmes impliquant des équations différentielles, en particulier pour l’estimation de paramètres de modèles biologiques continus.
Equipe MEO (www.lina.univ-nantes.fr/-MEO-.html)
|
|
|
|
|
|
|
|
|
Comme chaque année, l'Association Française pour la Programmation par
Contraintes (http://www.afpc-asso.org) se propose de soutenir le
déplacement et le logement de jeunes chercheurs pour leur
participation aux Journées Francophones de Programmation par
Contraintes (JFPC'2009) qui se dérouleront à Orléans, du 3 au 5 juin
2009.
|
|
|
|
|
|
|
|
|
Comme chaque année, l'Association Française pour la Programmation par Contraintes (http://www.afpc-asso.org) se propose de soutenir le déplacement et le logement de jeunes chercheurs pour leur participation aux Journées Francophones de Programmation par Contraintes (JFPC'2009) qui se dérouleront à Orléans, du 3 au 5 juin 2009.
|
|
|
|
|
|
|
|
|
Le département informatique de l'UFR sciences université d'Orléans recrute au moins 3 ATER pour l'année 2009-2010 :
|
|
| (4142 lectures) |
commentaires ? |
|
|
|
|
|
|
Title : MSR PhD Scholarship on Parallel SAT Solving
Context and scientific objectives: SAT (decide if a Boolean formula, typically in conjunctive normal form, admits a valuation which makes it true?) is a fundamental problem in complexity theory with very large practical benefits. Modern SAT solvers can now handle propositional satisfiability problems with hundreds of thousands of variables or more. However, many practical instances remain difficult to all the available SAT solvers. Consequently, new approaches are clearly needed to solve these challenging industrial problems. In this context and with the light of the next generation of computer architectures, the design of parallel satisfiability solvers becomes a fundamental issue. The aim of this PhD is to provide new theoretical and practical advances for parallel satisfiability solving.
Laboratory: CRIL - CNRS UMR 8188, Université d'Artois, Lens, France
Supervision:
* Pr. Lakhdar Sais, CRIL, Lens, France
* Dr. Youssef Hamadi, Microsoft Research, Cambridge, UK
Application: please send CV to : sais [at] cril [dot] fr
|
|
| (3066 lectures) |
commentaires ? |
|
|
|
|
|
|
2 Post-doc positions are open in the Microsoft Research Constraint Reasoning Group.
Context: The goal of the Constraint Reasoning Group is to pursue the long term research necessary to the development of the next generation of optimisation algorithms and tools. Working with long term applicability in mind, the group is taking as an input the important architectural shifts happening in the IT industry. As a result, its actual focus is highly related to the foundational and practical aspects of parallel optimisation.
Job-definition: Selected candidates will conduct fundamental research in optimisation or in related fields such as theorem proving, probabilistic reasoning, knowledge representation, automated planning. Additionally, candidates might be involved in studies related to the development of practical software and tools, e.g., Microsoft Solver Foundation, Z3, etc.
Suitable Profiles:
Post-doc candidates must have submitted their thesis prior to joining Microsoft Research. Ideal profiles should have general knowledge or a specialisation related to the following fields: SAT, SMT, theorem proving, probabilistic reasoning, knowledge representation, or automated planning.
Technical skills: C++, C#.
Duration: 2 years positions.
Location: Cambridge, UK.
Procedure/dates: Suitable candidates have to register here, http://research.microsoft.com/en-us/jobs/fulltime/cambridge/about_postdocs.aspx, before March 1, 2009. They might be selected for an interview process in spring, and have to be available for a start in September 2009.
|
|
| (3718 lectures) |
commentaires ? |
|
|
|
|
|
|
JFPC'09
Orléans, 3 au 5 juin 2009
- 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
|
|
| (3897 lectures) |
commentaires ? |
|
|
|
|
|
