School

The tutorials will be given by the following people:

Jean-Yves Beziau, UFC, Fortaleza, Brazil

Patrick Blackburn, LORIA, Nancy, France

Arthur Buchsbaum, UFSC, Florianopolis, Brazil

Catarina Dutilh-Novaes, ILLC, Amsterdam, The Netherlands

Razvan Diaconescu, Inst. Mathematics, Romanian Acad., Bucarest

Fernando Ferreira, University of Lisbon, Portugal

Andreas Herzig, IRIT, Toulouse, France

Decio Krause, UFSC, Florianopolis, Brazil

Jui-Lin Lee, National Formosa University, Taiwan

Joćo Marcos, UFRN, Natal, Brazil

Paulo Mateus, IST, Lisbon, Portugal

Friederike Moltmann, IHPST, Paris, France

Alessio Moretti, University of Nice, France

Jean Sallantin, LIRMM, Montpellier, France

Tom Skura, University of Zielona Gora, Poland

Greg Wheeler, Universidade Nova de Lisboa, Portugal

Andrzej Wisniewski, Adam Mickiewicz University, Poland





 




Aim of the School

The school is intended to complement some very successful interdisciplinary summer schools which have been organized in Europe and the USA in recent years: The ESSLLI (European Summer School on Logic, Language and Information) in Europe and the NASSLLI (North American Summer School on Logic, Language and Information) - this last one has been launched recently by one of us (Darko Sarenac). The difference is that our school will be more focused on logic, there will be less students (these events gather several hundreds of students) and a better interaction between advanced students and researchers through the combination of the school and the congress (Participants of the School are strongly encouraged to submit a paper for the congress). We also decided to schedule our event in Spring in order not to overlap with these big events.


This school is on universal logic. Basically this means that tutorials will present general techniques useful for a comprehensive study of the numerous existing systems of logic and useful also for building and developing new ones.

For PhD students, postdoctoral students and young researchers interested in logic, artificial intelligence, mathematics, philosophy, linguistics and related fields, this will be a unique opportunity to get a solid background for their future researches.




e study of the numerous existing systems of logic and useful also for building and developing new ones.

For PhD students, postdoctoral students and young researchers interested in logic, artificial intelligence, mathematics, philosophy, linguistics and related fields, this will be a unique opportunity to get a solid background for their future researches.