[PT] World Congress and School of Universal Logic, Lisbon 2010
BEZIAU Jean-Yves <[email protected]>
| Newsgroups | gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <[email protected]> |
The third edition of the World Congress and School on Universal Logic will happen April 18-25, 2010 in Lisbon, Portugal. There will be: 10 invited speakers, among them: Hartry Field, George Grätzer, Yuri Gurevich, Gehrard Jaeger, Dana Scott 10 special sessions, among them: logic diagrams, substructural logics, non-classical mathematics, categorical logic, mutlimodal logics, abstract proof theory 21 tutorials, among them: Hybrid logic, Logical Pluralism, Erotetic Logics, Truth-values, Refutation, Ideospheres, Institutions 1 contest: How to combine logics? Submission deadline for contributed talks is October 15, 2009 UNILOG'2010 World Congress and School on Universal Logic III April 18-25, 2010, Lisbon, Portugal http://www.uni-log.org