Auteur/autrice : Sébastien Konieczny

Content-Type: text/html; charset=utf-8 D=C3=A9but du message r=C3=A9exp=C3=A9di=C3=A9 = : De: J=C3=B6rg Rothe <rothe@cs.uni-duesseldorf.de> Objet: = Junior = Professorship in Artificial Intelligence at Heinrich Heine University = D=C3=BCsseldorf, Germany Date: = 16 octobre 2016 =C3=A0 02:13:49 = UTC+2 =C3=80: = « comsoc@duke.edu » <comsoc@duke.edu> Cc: = J=C3=B6rg Rothe <rothe@cs.uni-duesseldorf.de> R=C3=A9pon= dre =C3=A0: comsoc@duke.edu, J=C3=B6rg = Rothe <rothe@cs.uni-duesseldorf.de> At = the Faculty of Mathematics… Read more →

7th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS January 5–7, 2017 IIT Kanpur, India http://www.cse.iitk.ac.in/users/icla/ CALL FOR PAPERS ALI, the Association for Logic in India, announces the seventh edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Kanpur, from January 5 to 7, 2017. ICLA 2017 will be… Read more →

————–04B291336F261384CD37A28A Content-Type: multipart/alternative; boundary= »————90C334FE040D4AA178634D22″ ————–90C334FE040D4AA178634D22 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit ========================================== Veuillez nous excuser pour les réceptions multiples ========================================== Deuxième 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… Read more →

Read more →

*** Merci de diffuser largement, et d’accroître la publicité du prix avec l’affichette : http://www.lsv.fr/~bouyer/files/affiche-pgk16.pdf +++   Prix de thèse Gilles Kahn 2016, +++   patronné par l’Académie des Sciences et décerné par la SiF +++   http://www.societe-informatique-de-france.fr/recherche/prix-de-these-gilles-kahn/ +++   Date limite de candidature : 15 septembre 2016. Le prix de la Société Informatique de France (SiF, anciennement Specif)a été créé en 1998 pour… Read more →

JURIX 2016 – The 29th International Conference on Legal Knowledge and Information Systems (University of Nice Sophia Antipolis, France) About —– For almost 30 years, the JURIX conference has provided an international forum for research on the intersection of Law, Artificial Intelligence and Information Systems. The 2016 JURIX conference will take place on the beautiful French Riviera at the University… Read more →

========================================== 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 →

  [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 →

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 →

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 →

== 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 →

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 →

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 →