Accueil > Réunions
Réunions
LUDICS AND PHILOSOPHY
Workshop on « LUDICS AND PHILOSOPHY »
26.06 – 27.06.2014
Organisation : GRUPPO DI RICERCA « LOGICA E GEOMETRIA DELLA COGNIZIONE » , UNIVERSITÀ ROMA TRE, PROJET ANR LOCI « LOCATIVITÉ ET INTERACTIVITÉ EN LOGIQUE, LINGUISTIQUE ET INFORMATIQUE »
Location : Casa San Bernardo, via Laurentina 289, 00142 Roma, www.casasanbernardo.it/
The logic of the lexicon
Monday, Jan. 28th - Wed. 30th 2013
Toulouse
Organisation : Christian Retoré and Laurent Perrussel
Joint meeting of ANR LOCI (Locativity and interactivity in logic, linguistics and theoretical computer science) and ANR POLYMNIE (Parsing and synthesis with abstract categorial grammars. From lexicon to discourse)
Precise location : Toulouse, Université Toulouse Capitole, Salle Bâtiment Arsenal (...)
Interactions sociales, apprentissage et langue des signes
Journées d’études les 5 et 6 Avril 2012.
Modalities and commitments
L’ANR LOCI a le plaisir de vous annoncer sa prochaine journée d’études le 17 janvier prochain consacrée à l’étude des modalités.
Documents
- Programme
- Introduction aux problèmes de lexique
- An inside-out perspective on lightweight ontologies
- Ontologies, Logic and Interaction : Approaches to Semantic Web ranging from Lexical Semantics to Geometrical Compatibility.And further perspectives
- Discursive analysis of itineraries in a historical regional corpus of travels
- Proofs as << explications >> and floatting types
- Towards interfacing lexical and ontological resources
- Ontologie Merging as Social Choice
- Ontologies in Linguistics and Psychology
- Some design patterns for the ontology-lexicom interface over the web
Ontologies and lexical semantics
Organized by : LIPN, Université Paris 13 Gruppo di ricerca in Logica e Geometria della Cognizione, Università Roma Tre
Rome, September 30 and October 1, 2011 “Casa San Bernardo”, via Laurentina 289
Documents
Rebuilding Logic and Rethinking Language in Interaction terms
Affiliated symposium to the 14TH CONGRESS OF LOGIC,
METHODOLOGY AND PHILOSOPHY OF SCIENCE
NANCY, JULY 21, 2011, 10:30 to 18:30.
Amphithéâtre Geny, Faculté de Droit, 13 place Carnot, 54000 Nancy.
Documents
- Machine Translation, Type Theory, Dependent Types
- Paraproofs as meanings
- Records in Ludics
- Integrating multimodality into a type theoretic model of learning in dialogue
- Coherence Use in Natural Language
- Theory and Practice of a Categorical Compositional Distributional Model of Meaning
- Type Theory and Distributional Models of Meaning
- Type-theoretical semantics with coercive subtyping
- CatLog and categorial parser/theorem proving
- Residuated lattices in syntactic description
- Enthymemes and Lexical Interpretation
- Perceptual types
- Beneath types and proofs ?
- The Game of Assertion
Type Dependency, Type Theory with Records, and Natural-Language Flexibility
16th and 17th of June 2011
Interaction, Media and Communication group
In collaboration with the LOCI project
Queen Mary University of London
Documents
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.
