OTHER ACTIVITIES

This page will keep Master's students informed about additional activities of interest in order to complete their program of studies. It is envisaged that these will include lectures by visiting scholars, and seminars organized by various research groups.
 

27.11.2007       (Seminar on Non-Classical Logics)

Lecture by Wojciech Buszkowski (Adam Mickiewicz University, Poznan, Poland): Full Non-Associative Lambek Calculus: Interpolation, Finite Models, Grammars.

Time: 9:30 am. Place: Aula T2, Campus Plaça.

For more information, see http://www.mat.ub.edu/~logica/sncl.html.

21.11.2007       (Barcelona Logic Seminar)

Lecture by Andrés Villaveces (Universidad Nacional de Colombia, Bogotá): Expansions with predicates in continuous logic.

Time: 12:30 am. Place: Aula 4047, Campus Raval.

For more information, see http://www.ub.es/slb/Seminari.html.

20.11.2007       (Ph. D. Thesis)

Public session of defence of the Ph. D. Thesis of Àngel García-Cerdaña, on Logics based on triangular norms: a contribution to the study of their substructural aspects, supervised by Francesc Esteva (IIIA-CSIC) and Ventura Verdú (UB).

Time: 18:00 am. Place: Aula Ramón y Cajal, Campus Plaça.

For more information, see http://www.mat.ub.edu/~logica/sncl.html.

13.11.2007       (Seminar on Non-Classical Logics)

Lecture by Félix Bou (IIIA - CSIC, Bellaterra): The logic of quasi-MV algebras (I).

Time: 9:30 am. Place: Aula T2, Campus Plaça.

For more information, see http://www.mat.ub.edu/~logica/sncl.html.

06.11.2007       (Seminar on Non-Classical Logics)

Lecture by José Patricio Díaz Varela (Universidad Nacional del Sur, Bahía Blanca, Argentina): Free Lukasiewicz implication algebras.

Time: 9:30 am. Place: Aula T2, Campus Plaça.

Més informació a: http://www.mat.ub.edu/~logica/sncl.html.

24.10.2007       (Barcelona Logic Seminar)

Lecture by Ipanteleimon Eleftheriou (University of Barcelona): Groups definable in linear o-minimal structures.

Time: 12:30 am. Place: Room 411, Campus Raval.

For more information, see http://www.ub.es/slb/Seminari.html.

16,23,30.10.2007       (Seminar on Non-Classical Logics)

Three lectures by Àngel Garcia-Cerdanya (IIIA - CSIC, Bellaterra): t-norm-based logics: a substructural point of view.

Time: 9:30 am. Place: Room T2, Campus Plaça.

For more information, see http://www.mat.ub.edu/~logica/sncl.html.

13.06.2007       (Barcelona Logic Seminar)

Lecture by Alexander Berenstein (Universidad Nacional de Colombia): Pares bellos de estructuras o-minimales.

Time: 12:30 am. Place: Room 4100, Campus Raval.

For more information, see http://www.ub.es/slb/Seminari.html.

08.06.2007       (Seminar on Non-Classical Logics)

Lecture by Petr Cintula (Academy of Sciences, Prague): Structural completeness in fuzzy logics.

Lecture by Marta Bilkova (Academy of Sciences, Prague): Modal logic from the co-algebraic point of view.

Time: 9:30 am. Place: Room B3, Campus Plaça.

For more information, see http://www.mat.ub.edu/~logica/sncl.html.

29.05.2007       (Seminar on Non-Classical Logics)

Lecture by Félix Bou (IIIA - CSIC, Bellaterra): There are no Tarski-style axiomatizations for most logics over FL_ew.

Time: 9:30 am. Place: Room T2, Campus Plaça.

For more information, see http://www.mat.ub.edu/~logica/sncl.html.

23.05.2007       (Barcelona Logic Seminar)

Lecture by Ivo Herzog (Ohio State University and CRM): Introduction to the model theory of modules.

Time: 12:30 am. Place: Room 4100, Campus Raval.

For more information, see http://www.ub.es/slb/Seminari.html.

22.05.2007       (Seminar on Non-Classical Logics)

Lecture by Joan Gispert (University of Barcelona): On bounded BCK-algebras, II: Boolean representations.

Time: 9:30 am. Place: Room T2, Campus Plaça.

For more information, see http://www.mat.ub.edu/~logica/sncl.html.

08.05.2007       (Seminar on Non-Classical Logics)

Lecture by Antoni Torrens (University of Barcelona): On bounded BCK-algebras, I.

Time: 9:30 am. Place: Room T2, Campus Plaça.

For more information, see http://www.mat.ub.edu/~logica/sncl.html.

02.05.2007       (Barcelona Logic Seminar)

Lecture by Thomas Johnstone (The City University of New York, USA): Indestructible cardinals and forcing axioms.

Time: 12:30 am. Place: Room 4100, Campus Raval.

For more information, see http://www.ub.es/slb/Seminari.html.

26.04.2007       (Barcelona Logic Seminar)

Lecture by Martin Koerwien (Université Paris VII, France): Complexity of isomorphism for countable models of omega-stable theories.

Time: 10:30 am. Place: Room 4047, Campus Raval.

For more information see http://www.ub.es/slb/Seminari.html.

24.04.2007       (Seminar on Non Classical Logics)

Lecture by Ramon Jansana (University of Barcelona): Canonical extensions viewed from abstract algebraic logic.

Time: 9:30 am. Place: Room T2, Campus Plaça.

For more information see http://www.mat.ub.edu/~logica/sncl.html.

10.04.2007       (Seminar on Non Classical Logics)

Lecture by Carles Noguera (University of Lleida) on n-contractive fuzzy logics.

Time: 10:00 am. Place: Room T2, Campus Plaça.

For more information see http://www.mat.ub.edu/~logica/sncl.html.

27.03.2007       (Seminar on Non Classical Logics)

Lecture by Petr Hájek (Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague): On witnessed models of fuzzy logics.

Time: 10:00 am. Place: Room T2, Campus Plaça.

For more information see http://www.mat.ub.edu/~logica/sncl.html.

20.03.2007       (Seminar on Non Classical Logics)

Lecture by Wojciech Buszkowski (University of Poznan, Poland): Action logic: complexity and models.

Time: 10:00 am. Place: Room T2, Campus Plaça.

For more information see http://www.mat.ub.edu/~logica/sncl.html.