Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
iaf:programme [2017/07/03 10:15]
delima
iaf:programme [2017/07/05 10:35]
delima
Ligne 1: Ligne 1:
 ====== Programme des JIAF 2017 ====== ====== Programme des JIAF 2017 ======
  
-==== lundi 3 juillet, 9:00 -- 10:00, exposé invité ====+==== lundi 3 juillet, 9:00 -- 10:00, exposé invité ​(sale 057) ====
  
   * Exposé invité : **Torben Bach Pedersen** (Aalborg Universitet,​ Danemark)   * Exposé invité : **Torben Bach Pedersen** (Aalborg Universitet,​ Danemark)
  
-==== lundi 3 juillet, 10:30 -- 12:30, session 1 ====+==== lundi 3 juillet, 10:30 -- 12:30, session 1 (salle 044) ====
  
   * **T. Dong, C. Le Duc, M. Lamolle**\\ Tableau-based Revision for Expressive Description Logics   * **T. Dong, C. Le Duc, M. Lamolle**\\ Tableau-based Revision for Expressive Description Logics
Ligne 13: Ligne 13:
   * **F. Belardinelli,​ R. Condurache, C. Dima, W. Jamroga, A.V. Jones**\\ Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot   * **F. Belardinelli,​ R. Condurache, C. Dima, W. Jamroga, A.V. Jones**\\ Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot
  
-==== lundi 3 juillet, 14:00 -- 15:30, session 2 ====+==== lundi 3 juillet, 14:00 -- 15:30, session 2 (salle 044) ====
  
   * **P. Besnard, T. Guyet, V. Masson**\\ Admissible generalizations of examples as rules   * **P. Besnard, T. Guyet, V. Masson**\\ Admissible generalizations of examples as rules
Ligne 20: Ligne 20:
   * **Q. Cohen-Solal,​ M. Bouzid, A. Niveau**\\ Séquences temporelles d'​informations qualitatives : raisonner sur la topologie de régions mobiles de taille constante   * **Q. Cohen-Solal,​ M. Bouzid, A. Niveau**\\ Séquences temporelles d'​informations qualitatives : raisonner sur la topologie de régions mobiles de taille constante
  
-==== lundi 3 juillet, 16:00 -- 18:00, session 3 ====+==== lundi 3 juillet, 16:00 -- 18:00, session 3 (salle 044) ====
  
   * **E. Bonzon, J. Delobelle, S. Konieczny, N. Maudet**\\ Une Sémantique Graduée Paramétrique pour la Persuasion   * **E. Bonzon, J. Delobelle, S. Konieczny, N. Maudet**\\ Une Sémantique Graduée Paramétrique pour la Persuasion
Ligne 27: Ligne 27:
   * **M. Couceiro, N. Hug, H. Prade, G. Richard**\\ Fonctions préservées par analogie : une méthode pour étendre des données booléennes   * **M. Couceiro, N. Hug, H. Prade, G. Richard**\\ Fonctions préservées par analogie : une méthode pour étendre des données booléennes
  
-==== mardi 4 juillet, 9:00 -- 10:00 ====+==== mardi 4 juillet, 9:00 -- 10:00, exposé invité (sale 057) ====
  
   * Exposé invité : **Leon van der Torre** (Université du Luxembourg, Luxembourg)   * Exposé invité : **Leon van der Torre** (Université du Luxembourg, Luxembourg)
  
-==== mardi 4 juillet, 10:30 -- 12:30 ====+==== mardi 4 juillet, 10:30 -- 12:30 (salle 136-137)====
  
   * Session démonstration plénière   * Session démonstration plénière
  
-==== mardi 4 juillet, 14:00 -- 15:30, session 4 ====+==== mardi 4 juillet, 14:00 -- 15:30, session 4 (salle 044) ====
  
   * **S. Benferhat, A. Levray, K. Tabia**\\ Approximation de l'​inférence MAP via les transformations probabilistes-possibilistes   * **S. Benferhat, A. Levray, K. Tabia**\\ Approximation de l'​inférence MAP via les transformations probabilistes-possibilistes
Ligne 42: Ligne 42:
   * **A. Wilczynski, L. Gourvès, J. Lesca**\\ Allocation d’objets par des échanges le long d’un réseau social   * **A. Wilczynski, L. Gourvès, J. Lesca**\\ Allocation d’objets par des échanges le long d’un réseau social
  
-==== mardi 4 juillet, 16:00 -- 18:00, session 5 ====+==== mardi 4 juillet, 16:00 -- 18:00, session 5 (salle 044) ====
  
   * **F. Berreby, G. Bourgne, J.-G. Ganascia**\\ Cadre Déclaratif Modulaire pour Représenter et Appliquer des Principes Éthiques   * **F. Berreby, G. Bourgne, J.-G. Ganascia**\\ Cadre Déclaratif Modulaire pour Représenter et Appliquer des Principes Éthiques
Ligne 49: Ligne 49:
   * **E. Bonnet, S. Gaspers, A. Lambilliotte,​ S. Rümmele, A. Saffidine**\\ The Parameterized Complexity of Positional Games   * **E. Bonnet, S. Gaspers, A. Lambilliotte,​ S. Rümmele, A. Saffidine**\\ The Parameterized Complexity of Positional Games
  
-==== mardi 4 juillet, 18:00 -- 19:00 ====+==== mardi 4 juillet, 18:00 -- 19:00 (salle 044) ====
  
   * Assemblée   * Assemblée
  
-==== mercredi 5 juillet, 9:00 -- 10:00, exposé invité ====+==== mercredi 5 juillet, 9:00 -- 10:00, exposé invité ​(salle 057) ====
  
   * Exposé invité : **Raúl García Castro** (Universidad Politécnica de Madrid, Espagne)   * Exposé invité : **Raúl García Castro** (Universidad Politécnica de Madrid, Espagne)
  
-==== mercredi 5 juillet, 10:30 -- 12:30 ====+==== mercredi 5 juillet, 10:30 -- 12:30 (salle 044) ====
  
   * Session commune avec le préGDR-IA   * Session commune avec le préGDR-IA