Blog de la Biblioteca de Matemàtiques i Informàtica


Deixa un comentari

La Universitat de Barcelona acollirà el Logic Colloqium 2011

Entre l’11 i el 16 de juliol, la Facultat de Filosofia, Geografia i Historia de la Universitat de Barcelona acollirà el Logic Colloquim 2011. La trobada europea anual de Lògica, organitzada sota els auspicis de l’Association for Symbolic Logic (ASL), proporciona el marc per presentar els nous desenvolupaments en l’àrea de la lògica, tant des de la vessant matemàtica com filosòfica.

L’ASL, fundada el 1.936, és l’organització internacional d’especialistes en lògica més reconeguda a nivell mundial. Edita el Journal of Symbolic Logic, el Bulletin of Symbolic Logic, i la Review of Symbolic Logic. Organitza cada any dos grans congressos, un als EUA i l’altre a Europa —el Logic Colloquium—; i col·labora amb l’American Mathematical Society (AMS) i la American Philosophical Association (APA) en l’organització d’altres congressos arreu del món.

Més informació: