créneau 6 (épisode 1.1)

Aude Popek clôturera ce premier épisode et discutera la question suivante : "les dialogues de Swyneshed; s'agit-il d'y reconnaître les règles d'inférences?"

créneau 5 (episode 1.1)

Sébastien Magnier nous parlera de :
"partage et gain d'information dans les contextes multi-agents"

Il ne reste qu'un créneau, c'est le moment de vous affoler...

créneau 4 (episode 1.1)

Justine Jacot interviendra sur :
"Ambiguités syntaxiques et sémantiques dans le langage naturel"

créneau 3 (episode 1.1)

Emmanuel Genot annonce la performance suivante :
"Vous en prendrez pour combien?"
(Un maximum de théorèmes de logique interrogative, en un minimum de temps...)

Plus explicitement: les théorèmes dont il est question (!) permettent de soulever un point relatif à la formalisation des agendas de recherche. Pour ceux qui ont assisté au séminaire BRT de l'an dernier, c'est une "suite" de l'intervention de Erik J. Olsson.

créneau 2 (episode 1.1)

Un deuxième créneau est pris : Radmila Jovanovic se propose d'intervenir sur ce thème :

Le problème de la position épistémologique de la géometrie.

créneau 1 (episode 1.1)

J'aurai un mot à dire sur :
Tonk, Harmonie et logiques substructurelles. De la difficulté de formuler correctement des règles d'intro/élim en déduction naturelle substructurelle.

c'est parti

Saison 1, épisode 1 : mercredi 17 octobre 13h-15h.

Synopsis :
Le principe de ces séances est le suivant : sur une heure et demie à deux heures, six participants présentent un point en dix minutes chrono. Le temps restant est prévu pour la discussion.
Le contenu des présentations s'organise autour de quatre axes (bien entendu, ce n'est pas là une liste exhaustive, d'autres points peuvent être abordés) :
- présentation d'un point technique ou formel.
- questionnement ou perplexité au sujet d'un argument (il peut s'agir d'une difficulté rencontrée dans la lecture d'un texte, la compréhension d'une preuve, etc.).
- exposé d'un argument.
- transmission d'informations diverses et d'événements (colloques, séminaires, etc.).
L'objectif est d'une part d'apprendre et de s'entraîner à présenter un point de façon claire et succincte. D'autre part, il s'agit de faire partager ses travaux. En effet, par cette exigence de concision, on se force non seulement à faire un compte-rendu clair pour les autres, mais on se force également à une réflexion et un éclaircissement sur son propre travail.