[TYPES] School of Logic in Montreux, Switzerland

[COSTA LEITE Alexandre]

FIRST WORLD SCHOOL ON UNIVERSAL LOGIC
Montreux - Switzerland, March 26-30, 2005

This unique event includes 21 tutorials on general techniques for the
study of logics.
Note that 12 tutorials will be fully available during the Easter
week-end, Saturday
26th - Sunday 27 th - Monday 28th.
The second series of 9 tutorials will be given on Tuesday 29th and
Wednesday 30th.
See the detailed programme on the website www.uni-log.org

LIST OF THE 21 TUTORIALS

1. Combination of Logics - Carlos Caleiro - IST, Portugal
2. Introduction to Universal Logic - Jean-Yves Beziau - SNF, Switzerland
3. Abstract Model Theory - Marta Garcia-Matos - Helsinki, Finland
4. Tableaux Systems - Andreas Herzig - IRIT, France
5. Many-Valued Semantics - Walter Carnielli & Juliana Bueno - UNICAMP, Brazil
6. Abstract Proof Theory - Luiz Carlos Pereira & Ana Teresa Martins -
PUC/UFC, Brazil
7. Adaptive Logics - Diderik Batens & Joke Meheus - Ghent, Belgium
8. Kripke Structures - Darko Sarenac - Stanford, US 
9. Category Theory and Logic - Andrei Rodin - ENS, Paris
10. Consequence Operators - Piotr Wojtylak - Katowice, Poland
11. Multiple-Conclusion Logics - João Marcos - IST, Portugal
12. Nonmonotonic Logics - David Makinson - King's College, London
13. Abstract Algebraic Logic - Josep Maria Font - Barcelona,Spain
14. Substructural Logics - Francesco Paoli - Cagliari, Italy
15. Universal Computation - Roberto Lins - Rio de Janeiro, Brazil
16. Labelled Deductive Systems - Luca Vigano - ETH, Zurich
17. Logics and Games - Jacques Duparc - Lausanne, Switzerland
18. Combinatory Logic and Lambda Calculus - Henri Volken - Lausanne, Switzerland
19. Universal Algebra for Logics - Joanna Grygiel - Czestochowa, Poland
20. Fuzzy Logics -  Petr Hájek and Petr Cintula - Academy of Sciences, Prague
21. Logics for semistructured data - Maarten Marx - Amsterdam, The Netherlands

The School will be followed by the
FIRST WORLD CONGRESS ON UNIVERSAL LOGIC
Montreux - Switzerland, March 31- April 3, 2005
Featuring 14 invited spakers (A.Avron, D.Batens, J.Czelakowski, K.Dosen, M.Dunn,
D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg, J.Vaananen, V.Vasyukov,
Y.Venema, plus a mysterious secret speaker),
and more that 120 contributed talks.
A contest will also happen during this event.
See details at 
www.uni-log.org

************************************************************************
Regular registration fees:
Congress only or School only: CHF 280 / USD 250 / Euro 190
Congress + School: CHF 380 / USD 330 / Euro 260

Reduced fees for students or people from countries with low currencies:
Half of the School (26-27-28 or 29-30): CHF 75 / USD 60 / Euro 50
School: CHF 150 / USD 130 / Euro 100
Congress: CHF 150 / USD 130 / Euro 100
Congress + School: CHF 200 / USD 180 / Euro 140