Congress on universal logic, Lisbon, Portugal

A three-day congress on universal logic will be held in Lisbon, Portugal from 22 to 25 April 2010.

This event will provide a platform to discuss the future of research in logic. The event will be attended by pure logicians, mathematicians, computer scientists, artificial intelligence researchers, linguists, psychologists and philosophers.

The congress will have numerous discussions and ten special sessions. These sessions are:
-logic diagrams,
-non-classical mathematics,
-abstract algebraic logic,
-paradoxes;
-substructural logics,
-categorical logic,
-negation,
-multimodal logics,
-paraconsistent logics,
-algebras for logics.For further information, please visit:
http://www.uni-log.org/start3.html(opens in new window)