** Postdoc vacancy at LORIA, France ** project description: epistemic protocol synthesis In the logic of information change it is common to have an input state of information and a well-described action, and then to compute the resulting new state of information. In epistemic protocol synthesis the focus is different: given an input state of information and an output state… Read more →
Catégorie : Bulletin
Slides des exposés invités
Les slides des exposés invités des journées inaugurales sont en ligne sur la page des journées: Journées Inaugurales du PréGDR – 13 et 14 Juin 2016 – Montpellier ——————————————————————— Desinscription: envoyez un message a: bull-ia-unsubscribe@gdria.fr Pour obtenir de l’aide, ecrivez a: bull-ia-help@gdria.fr Read more →
[bull-ia] CFP du numéro spécial RIA « IA des jeux inform
========================================== Veuillez nous excuser pour les réceptions multiples ========================================== Appel à publication pour le numéro spécial « Intelligence artificielle des jeux informatisés » de la Revue d’Intelligence Artificielle qui sera édité l’année prochaine. DATES IMPORTANTES ========================================== * Date limite de remise des contributions : 21/10/2016 * Notification des auteurs : 13/03/2017 * Version finale des contributions : 07/04/2017 * Parution du numéro… Read more →
[bull-ia] CFP: Workshop « CP Meets Verification 2016 » @ CP 2016, Sept. 5, 2016,
[Apologies for multiple postings] == CALL FOR ABSTRACTS == Third Workshop « CP meets Verification 2016 » Co-located event of CP 2016 (http://cp2016.a4cp.org/) Toulouse, France – September 5th 2016 Website: http://cp2016.a4cp.org/program/workshops/ws-cpcav16.html == IMPORTANT DATES == Submission: June 4, 2016 (*deadline extension*) Notification: July 15, 2016 Workshop: September 5, 2016 == THEMES AND OBJECTIVES == *Constraint programming* (CP) is a programming paradigm… Read more →
[bull-ia] Call for participation ONTOLP 2016
Apologies for multiple copies. Thank you for distributing this call for participation =0A= =0A= CALL FOR PARTICIP= ATION =0A= =0A= ONTOLP-2016 (W40) Ontologies and Logic Programming for Query Answering http://ontolp.lsis.or= g =0A= The second edition of this international workshop is affiliated with the 25th International Joint Conference on Ar= tificial Intelligence (I= JCAI-2016, http:/= /ijcai-16.org) and will take= place in… Read more →
[bull-ia] Premières propositions de groupes de travail
Les journées inaugurales auront lieu la semaine prochaine. Nous discuterons à cette occasion des groupes de travail transversaux à mettre en place. Ces groupes de travail seront l’outil d’animation principal du pré-GDR. (Plus de détails sur le fonctionnement et la proposition de ces groupes ici: https://www.gdria.fr/gt/) Pour le moment nous avons reçu 4 propositions de groupes de travail, que je donne… Read more →
[bull-ia] Proposition de thèse CIFRE SNCF/laboratoire LIRIS
Bonjour, Merci de diffuser à toute personne qui pourrait être intéressée. ———————————————– Proposition de sujet de thèse CIFRE 2016-2019 : Détection d’anomalies dans les flux temps réels sol-bord de la SNCF Mots clés : · Apprentissage automatique · Détection d’anomalies · Supervision de flux temps réel · Fouille de données · Modélisation de séries temporelles · Trains communicants Entités d’accueil… Read more →
[bull-ia] Postdoc position in Cognitive and Social Robotics at the University
The University of Luxembourg invites applications for a Postdoc position in Cognitive and Social Robotics in the Computer Science and Communications Research Unit (CSC) of the Faculty of Science, Technology and Communication (FSTC). The Individual and Collective Reasoning Group (ICR) of Prof. Leon van der Torre is seeking an outstanding postdoc to strengthen its research team in the area of… Read more →
[bull-ia] CFP: Workshop « CP Meets Verification 2016 » @ CP 2016, Sept. 5, 2016,
== CALL FOR ABSTRACTS == Third Workshop « CP meets Verification 2016 » Co-located event of CP 2016 (http://cp2016.a4cp.org/) Toulouse, France – September 5th 2016 Website: http://cp2016.a4cp.org/program/workshops/ws-cpcav16.html == IMPORTANT DATES == Submission: June 27, 2016 Notification: July 8, 2016 Workshop: September 5, 2016 == THEMES AND OBJECTIVES == *Constraint programming* (CP) is a programming paradigm for the modelling and solving of constrained… Read more →
[bull-ia] Appel à participation : une semaine dédiée à SAT à Bordeaux, du 4 au 9 juillet 2016
Chers collègues, Pour la première fois en 19 éditions, la conférence internationale annuelle dédiée au problème SAT (SAT 2016) va se dérouler à Bordeaux, au LaBRI, du 5 au 8 juillet 2016. Une journée d’ateliers précède la conférence le lundi 4 juillet, et une journée spécifique pour les utilisateurs de la technologie suit la conférence. La dernière journée de la… Read more →
Groupes de Travail
Description Les groupes de travail sont l’outil d’animation principal du GDR. Leur but est d’offrir un lieu d’échange ouvert autour d’une problématique donnée. Le GDR souhaite favoriser les groupes de travail transversaux entre plusieurs thématiques, mais des groupes de travail plus spécialisés peuvent également être créés. Groupes de Travail GT A&R: Apprentissage et Raisonnement GT CAVIAR: Contraintes et Apprentissage GT Explicabilité GT… Read more →
[bull-ia] Offre de thèse – LAMSADE Université Paris-Dauphine
** Toutes nos excuses pour les envois multiples ** ** Merci de diffuser à toute personne qui pourrait être intéressée ** The LAMSADE team in Paris-Dauphine is looking for a PhD student to work on a formalization of «Threats: A formalization of threat for dealing with natural and industrial risks – Integrating Sen’s capability approach in an evaluation of loss… Read more →
[bull-ia] PhD scholarship in Argument Mining available in Nice, France
We are looking for a PhD student to join the WIMMICS group (http://wimmics.inria.fr/), I3S Laboratory of the University of Nice Sophia Antipolis, France. The position is fully funded for students of any nationality. TITLE: « Mining, Processing, and Reasoning over Textual Arguments » available *DESCRIPTION* Large amounts of text are added to the Web daily from social media, web-based commerce, scientific papers,… Read more →
[bull-ia] Postdoc position in Cognitive and Social Robotics at the University of Luxembourg
The University of Luxembourg invites applications for a Postdoc position in Cognitive and Social Robotics in the Computer Science and Communications Research Unit (CSC) of the Faculty of Science, Technology and Communication (FSTC). The Individual and Collective Reasoning Group (ICR) of Prof. Leon van der Torre is seeking an outstanding postdoc to strengthen its research team in the area… Read more →
[bull-ia] PhD positions at ILLC, Amsterdam
De: Ulle Endriss Objet: [COMSOC] PhD positions at ILLC, Amsterdam Date: 22 avril 2016 15:48:43 UTC+2 À: comsoc@duke.edu Répondre à: comsoc@duke.edu, Ulle Endriss The ILLC at the University of Amsterdam currently has openings for two fully funded PhD positions. Serious candidates interested in working towards a PhD in computational social choice are welcome to get in touch with me before… Read more →
[bull-ia] Appel à candidatures bourses AFPC/JFPC 2016
Bonjour, Comme chaque année, l’Association Française pour la Programmation par Contraintes (AFPC) 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’2016) qui se dérouleront à Montpellier, du 15 au 17 juin 2015. Selon la demande, l’AFPC prendra en charge les frais d’inscription et/ou de logement de… Read more →
Journées Inaugurales du PréGDR – 13 et 14 Juin 2016 – Montpellier
PréGDR sur les « Aspects Formels et Algorithmiques de l’Intelligence Artificielle » https://www.gdria.fr Journées Inaugurales Montpellier 13 et 14 Juin 2016 Les journées inaugurales du préGDR sur les « Aspects Formels et Algorithmiques de l’Intelligence Artificielle » seront organisées à Montpellier les 13 et 14 Juin 2016. Ces journées seront composées de présentations de la structuration et des activités du… Read more →
[bull-ia] Poste de maître de conférences 61e à Toulouse
Le LAAS-CNRS de Toulouse est laboratoire d’accueil d’un poste de Maître de Conférences en section 61 à l’Université Paul Sabatier, mis au concours pour un recrutement au 01/09/2016 (publié au fil de l’eau, date limite de candidature : 1er mai 2016). D’un point de vue Recherche, le profil intitulé Supervision et Diagnostic inclut des activités sur les problèmes de satisfaction… Read more →
Réunion de lancement du PréGDR – 3 Mai à 14h00
PréGDR sur les « Aspects Formels et Algorithmiques de l’Intelligence Artificielle » https://www.gdria.fr Réunion de lancement Paris 6 – Jussieu – Salle 25/26 – 105 (http://www.lip6.fr/informations/comment.php) 3 Mai 2016 – 14h00 Nous invitons l’ensemble des collègues à une réunion de discussion à propos du lancement du pré-GDR sur les « Aspects Formels et Algorithmiques de l’Intelligence Artificielle ». Cette réunion,… Read more →
Bulletin
Cette page contiendra les archives des messages diffusés par le bulletin. Pour publier une nouvelle sur le bulletin du PréGDR IA, l’envoyer à bull-ia@gdria.fr Read more →
Annonces Pour publier une annonce, l'envoyer à bull-ia@gdria.fr
Apparaitrons ici les annonces de postes, de post-doc, de thèses ou de stage. Pour afficher votre annonce ici, contactez contact@gdria.fr. Read more →
Bulletin Pour publier une nouvelle sur le bulletin du GDR IA, l'envoyer à bull-ia@gdria.fr
Cette page contient les archives des messages diffusés par le bulletin. Pour publier une nouvelle sur le bulletin du GDR IA, l’envoyer à bull-ia@gdria.fr Read more →
Modification des informations
Modification des informations Identifiants E-mail Mot de passe courant Informations Prénom Nom Site web (optionnel) Nouveau mot de passe Confirmer le nouveau mot de passe Laboratoire Fonction DoctorantPost-DocMaître de ConférenceProfesseurChargé de RechercheDirecteur de RechercheIngénieurAutre Thèmes RCR – Représentation des connaissances et modélisation des raisonnements IMG – Incertitude, Modèles Graphiques, Réseaux Bayésiens PPC – Contraintes et SAT APP – Apprentissage… Read more →
Contact
GDR IA Sébastien Konieczny CRIL – CNRS UMR 8188 Faculté des Sciences – Université d’Artois Rue Jean Souvraz 62300 Lens porteur@gdria.fr 03 21 79 17 09 Read more →
Comité Scientifique
Le comité scientifique du GDR IA est consulté pour les questions scientifiques et/ou sociétales adressées au GDR. Ce comité est constitué des membres du comité d’animation et des ECCAI fellows français ayant acceptés d’en faire partie: Leila Amgoud Salem Benferhat Marie-Odile Cordier Jérôme Euzenat Hélène Fargier Luis Farinas del Cerro Jean-Gabriel Ganascia Andreas Herzig Jérôme Lang Pierre Marquis François Pachet… Read more →
Comité d’Animation
Le comité d’animation du GDR IA a la charge de l’animation scientifique et de la gestion financière du GDR. Il est composé de: Leila Amgoud, DR CNRS, IRIT, Toulouse Francis Bach, DR INRIA, ENS, Paris Tristan Cazenave, Professeur, LAMSADE, Paris Antoine Cornuéjols, Professeur, AgroParisTech, Paris Sébastien Destercke, CR CNRS, HEUDIASYC, Compiègne Jérôme Euzenat, DR INRIA, LIG, Grenoble Sébastien Konieczny, DR… Read more →
Activités Cette page rassemble les annonces des activités propres du GDR et de ses groupes de travail
Présentation
Le GDR sur les aspects formels et algorithmiques de l’Intelligence Artificielle (GDR IA) est une structure financée par l’Institut des Sciences de l’Information et de leurs interactions (INS2I) du Centre National de la Recherche Scientifique (CNRS). Plus exactement le GDR IA couvre les problématiques suivantes: RCR. Représentation des connaissances et modélisation des raisonnements IMG. Incertitude, modèles graphiques, réseaux Bayésiens PPC. Contraintes… Read more →