Congrès sur la logique universelle à Lisbonne, au Portugal

Un congrès de trois jours consacré à la logique universelle aura lieu du 22 au 25 avril 2010 à Lisbonne, au Portugal.

Cet évènement offrira une plateforme de discussion sur l'avenir de la recherche en logique. Y participeront des logiciens purs, des mathématiciens, des informaticiens, des chercheurs en intelligence artificielle, des linguistes, des psychologues et des philosophes.

Le congrès s'articulera autour de plusieurs discussions et de dix sessions spéciales, à savoir:
- les diagrammes de logique;
- les mathématiques non conventionnelles;
- la logique algébrique abstraite;
- les paradoxes;
- la logique substructurelle;
- la logique catégorique;
- la négation;
- la logique multimodale;
- la logique paraconsistante;
- l'algèbre au profit de la logique.Pour de plus amples informations, consulter:
http://www.uni-log.org/start3.html(s’ouvre dans une nouvelle fenêtre)