OTRAS ACTIVIDADES

En este apartado se anunciarán todo tipo de actividades complementarias que se organicen y resulten de interés para los estudiantes del Máster, como las conferencias de los profesores invitados o las sesiones de los seminarios de investigación.
 

27.11.2007       (Seminario de Lógicas No Clásicas)

Conferencia a cargo de Wojciech Buszkowski (Adam Mickiewicz University, Poznan, Poland): Full Non-Associative Lambek Calculus: Interpolation, Finite Models, Grammars.

Hora: 9:30 am. Lugar: Aula T2, Campus Plaça.

Para más información, visiten: http://www.mat.ub.edu/~logica/sncl.html.

21.11.2007       (Seminario de Lógica de Barcelona)

Conferencia a cargo de Andrés Villaveces (Universidad Nacional de Colombia, Bogotá): Expansiones con predicados en lógica continua.

Hora: 12:30 am. Lugar: Aula 4047, Campus Raval.

Para más información, visiten http://www.ub.es/slb/Seminari.html.

20.11.2007       (Lectura de tesis doctoral)

Acto público de defensa de la tesis doctoral de Àngel García-Cerdaña, sobre Lógicas basadas en normas triangulares: una contribución al estudio de sus aspectos subestructurales, dirigida por Francesc Esteva (IIIA-CSIC) y Ventura Verdú (UB).

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

Para más información, visiten http://www.mat.ub.edu/~logica/sncl.html.

13.11.2007       (Seminario de Lógicas No Clásicas)

Conferencia a cargo de Félix Bou (IIIA - CSIC, Bellaterra): La lógica de las quasi-MV algebras (I).

Hora: 9:30 am. Lugar: Aula T2, Campus Plaça.

Para más información, visiten http://www.mat.ub.edu/~logica/sncl.html.

06.11.2007       (Seminario de Lógicas No Clásicas)

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

Hora: 9:30 am. Lugar: Aula T2, Campus Plaça.

Para más información, visiten http://www.mat.ub.edu/~logica/sncl.html.

24.10.2007       (Seminario de Lógica de Barcelona)

Conferencia a cargo de Ipanteleimon Eleftheriou (Universidad de Barcelona): Groups definable in linear o-minimal structures.

Hora: 12:30 am. Lugar: Aula 411, Campus Raval.

Para más información, visiten http://www.ub.es/slb/Seminari.html.

16,23,30.10.2007       (Seminario de Lógicas No Clásicas)

Tres conferencias a cargo de Àngel Garcia-Cerdanya (IIIA - CSIC, Bellaterra): Lógicas basadas en t-normas: un punto de vista subestructural.

Hora: 9:30 am. Lugar: Aula T2, Campus Plaça.

Para más información, visiten http://www.mat.ub.edu/~logica/sncl.html.

13.06.2007       (Seminario de Lógica de Barcelona)

Conferencia a cargo de Alexander Berenstein (Universidad Nacional de Colombia): Pares bellos de estructuras o-minimales.

Hora: 12:30 am. Lugar: Aula 4100, Campus Raval.

Para más información, visiten http://www.ub.es/slb/Seminari.html.

08.06.2007       (Seminario de Lógicas No Clásicas)

Conferencia a cargo de Marta Bilkova (Academia de Ciencias, Praga): Modal logic from the co-algebraic point of view.

Conferencia a cargo de Petr Cintula (Academia de Ciencias, Praga): Structural completeness in fuzzy logics.

Hora: 9:30 am. Lugar: Aula B3, Campus Plaça.

Para más información, visiten http://www.mat.ub.edu/~logica/sncl.html.

29.05.2007       (Seminario de Lógicas No Clásicas)

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

Hora: 9:30 am. Lugar: Aula T2, Campus Plaça.

Para más información, visiten http://www.mat.ub.edu/~logica/sncl.html.

23.05.2007       (Seminario de Lógica de Barcelona)

Conferencia a cargo de Ivo Herzog (Ohio State University y CRM): Introduction to the model theory of modules.

Hora: 12:30 am. Lugar: Aula 4100, Campus Raval.

Para más información, visiten http://www.ub.es/slb/Seminari.html.

22.05.2007       (Seminario de Lógicas No Clásicas)

Conferencia a cargo de Joan Gispert (Universidad de Barcelona): On bounded BCK-algebras, II: Boolean representations.

Hora: 9:30 am. Lugar: Aula T2, Campus Plaça.

Para más información, visiten http://www.mat.ub.edu/~logica/sncl.html.

08.05.2007       (Seminario de Lógicas No Clásicas)

Conferencia a cargo de Antoni Torrens (Universidad de Barcelona): On bounded BCK-algebras, I.

Hora: 9:30 am. Lugar: Aula T2, Campus Plaça.

Para más información, visiten http://www.mat.ub.edu/~logica/sncl.html.

02.05.2007       (Seminario de Lógica de Barcelona)

Conferencia a cargo de Thomas Johnstone (The City University of New York, USA): Indestructible cardinals and forcing axioms.

Hora: 12:30 am. Lugar: Aula 4100, Campus Raval.

Para más información, visiten http://www.ub.es/slb/Seminari.html.

26.04.2007       (Seminario de Lógica de Barcelona)

Conferencia a cargo de Martin Koerwien (Universidad París VII, Francia): Complexity of isomorphism for countable models of omega-stable theories.

Hora: 10:30 am. Lugar: Aula 4047, Campus Raval.

Para más información, visiten http://www.ub.es/slb/Seminari.html.

24.04.2007       (Seminario de Lògicas No Clásicas)

Conferencia a cargo de Ramon Jansana (Universidad de Barcelona): Canonical extensions viewed from abstract algebraic logic.

Hora: 9:30 am. Lugar: Aula T2, Campus Plaça.

Para más información, visiten http://www.mat.ub.edu/~logica/sncl.html.

10.04.2007       (Seminario de Lògicas No Clásicas)

Conferencia a cargo de Carles Noguera (Universidad de Lleida): n-contractive fuzzy logics.

Hora: 10:00 am. Lugar: Aula T2, Campus Plaça.

Para más información, visiten http://www.mat.ub.edu/~logica/sncl.html.

27.03.2007       (Seminario de Lògicas No Clásicas)

Conferencia a cargo de Petr Hájek (Instituto de Ciencias de la Computación, Academia de Ciencias de la República Checa, Praga): On witnessed models of fuzzy logics.

Hora: 10:00 am. Lugar: Aula T2, Campus Plaça.

Para más información, visiten http://www.mat.ub.edu/~logica/sncl.

20.03.2007       (Seminario de Lògicas No Clásicas)

Conferencia a cargo de Wojciech Buszkowski (Universidad de Poznan, Polonia): Action logic: complexity and models.

Hora: 10:00. Lugar: Aula T2, Campus Plaça.

Para más informació, visiten http://www.mat.ub.edu/~logica/sncl.