Deprecated: Unparenthesized `a ? b : c ? d : e` is deprecated. Use either `(a ? b : c) ? d : e` or `a ? b : (c ? d : e)` in /home/wwwapp/spip/ecrire/inc/utils.php on line 2697
Programme - Réunions - Ludique (tutorial) et Sémantique de l'énoncé - ANR - LOCI
Accueil > Réunions > Ludique (tutorial) et Sémantique de l’énoncé
WORKSHOP#1

Ludique (tutorial) et Sémantique de l’énoncé

Rencontre des 20 et 21 janvier, au Centre International de Rencontres Mathématiques, à Marseille, sur le campus de Luminy. Organisées par Myriam Quatrini.

Programme

Jeudi 20 janvier

  • 9h30 : Ludique : cours introductif par Lionel Vaux (IML)
  • 11 h : pause café
  • 11 h 20 Suite
  • 12h30 : repas
  • 14 h : Introduction aux c-desseins par Christophe Fouqueré (LIPN)
  • 15h30 : pause
  • 16 h : Ludique et Dialogues, et quelques applications par Myriam Quatrini (IML)

Vendredi 21 janvier

  • 9 h 30 : Propositions pour une s ́emantique inf ́erentialiste de l’ ́enonc ́e par Alain lecomte (SFL)
  • 10h30 : pause
  • 11 h : Logical constant from a Computational Point of View : Towards an Untyped Setting par Alberto Naibo (Paris 4), Mattia Petrolo (Paris 4) et Thomas Seiller (IML)
  • 12h30 : repas
  • 14 h Table ronde animée et introduite par Samuel Tronçon (Résurgences)

Répondre à cet article

Site propulsé par l'Atelier du code et du data, chantier d'insertion numérique
  • Présentation
    • Partenaires
    • Membres
    • Positionnement
  • Réunions
    • Réunion de lancement
    • WORKSHOP#1
    • WORKSHOP#2
    • WORKSHOP#3
    • WORKSHOP#4
    • WORKSHOP#5
    • WORKSHOP#6
    • Journée "Musique, dialogue, interaction"
    • The logic of the lexicon
    • LUDICS AND PHILOSOPHY
  • Rapports
  • Axes de travail
    • Lexique
    • Apprentissage
    • Pragmatique
    • Web et ontologie
    • Théorie
  • Contact
    • cliquez sur Contacts (au dessus)
  • Séminaire
    • Séminaire LOCI 06/2013
    • Séminaire LOCI - 07/2013
    • Séminaire LOCI - 09/2013
    • Séminaire LOCI - 10/2013
    • Séminaire LOCI - 11/2013
    • Séminaire LOCI - 01/2014
    • Séminaire LOCI - 02/2014
    • Séminaire LOCI - 04/2014