En aquest apartat s'anunciaran tota mena d'activitats complementàries que s'organitzin i siguin de l'interès dels estudiants del Màster, com les conferències de professors visitants, o les sessions dels seminaris de recerca.
27.11.2007 (Seminari de Lògiques No Clàssiques) |
Conferència a càrrec de Wojciech Buszkowski (Adam Mickiewicz University, Poznan, Poland): Full Non-Associative Lambek Calculus: Interpolation, Finite Models, Grammars.
|
Hora: 9:30 am. Lloc: Aula T2, Campus Plaça.
|
Més informació a: http://www.mat.ub.edu/~logica/sncl.html.
|
|
|
21.11.2007 (Seminari de Lògica de Barcelona) |
Conferència a càrrec de Andrés Villaveces (Universidad Nacional de Colombia, Bogotá): Expansiones con predicados en lógica continua.
|
Hora: 12:30 am. Lloc: Aula 4047, Campus Raval.
|
Per a més informació, vegeu http://www.ub.es/slb/Seminari.html.
|
|
|
20.11.2007 (Lectura de tesi doctoral) |
Acte públic de defensa de la tesi doctoral de Àngel García-Cerdaña, sobre Lògiques basades en normes triangulars: una contribució a l'estudi dels seus aspectes subestructurals, dirigida per Francesc Esteva (IIIA-CSIC) i Ventura Verdú (UB).
|
Hora: 18:00 am. Lloc: Aula Ramón y Cajal, Campus Plaça.
|
Més informació a: http://www.mat.ub.edu/~logica/sncl.html.
|
|
|
13.11.2007 (Seminari de Lògiques No Clàssiques) |
Conferència a càrrec de Félix Bou (IIIA - CSIC, Bellaterra): The logic of quasi-MV algebras (I).
|
Hora: 9:30 am. Lloc: Aula T2, Campus Plaça.
|
Més informació a: http://www.mat.ub.edu/~logica/sncl.html.
|
|
|
06.11.2007 (Seminari de Lògiques No Clàssiques) |
Conferència a càrrec de José Patricio Díaz Varela (Universidad Nacional del Sur, Bahía Blanca, Argentina): Free Lukasiewicz implication algebras.
|
Hora: 9:30 am. Lloc: Aula T2, Campus Plaça.
|
Més informació a: http://www.mat.ub.edu/~logica/sncl.html.
|
|
|
24.10.2007 (Seminari de Lògica de Barcelona) |
Conferència a càrrec de Ipanteleimon Eleftheriou (Universitat de Barcelona): Groups definable in linear
o-minimal structures.
|
Hora: 12:30 am. Lloc: Aula 411, Campus Raval.
|
Per a més informació, vegeu http://www.ub.es/slb/Seminari.html.
|
|
|
16,23,30.10.2007 (Seminari de Lògiques No Clàssiques) |
Tres conferències a càrrec de Àngel Garcia-Cerdanya (IIIA - CSIC, Bellaterra): Lògiques basades en t-normes: un punt de vista subestructural.
|
Hora: 9:30 am. Lloc: Aula T2, Campus Plaça.
|
Més informació a: http://www.mat.ub.edu/~logica/sncl.html.
|
|
|
13.06.2007 (Seminari de Lògica de Barcelona) |
Conferència a càrrec de Alexander Berenstein (Universidad Nacional de Colombia): Pares bellos de estructuras o-minimales.
|
Hora: 12:30 am. Lloc: Aula 4100, Campus Raval.
|
Per a més informació, vegeu http://www.ub.es/slb/Seminari.html.
|
|
|
08.06.2007 (Seminari de Lògiques No Clàssiques) |
Conferència a càrrec de Petr Cintula (Academy of Sciences, Prague): Structural completeness in fuzzy logics.
|
Conferència a càrrec de Marta Bilkova (Academy of Sciences, Prague): Modal logic from the co-algebraic point of view.
|
Hora: 9:30 am. Lloc: Aula B3, Campus Plaça.
|
Més informació a: http://www.mat.ub.edu/~logica/sncl.html.
|
|
|
29.05.2007 (Seminari de Lògiques No Clàssiques) |
Conferència a càrrec de Félix Bou (IIIA - CSIC, Bellaterra): There are no Tarski-style axiomatizations for most logics over FL_ew.
|
Hora: 9:30 am. Lloc: Aula T2, Campus Plaça.
|
Més informació a: http://www.mat.ub.edu/~logica/sncl.html.
|
|
|
23.05.2007 (Seminari de Lògica de Barcelona) |
Conferència a càrrec de Ivo Herzog (Ohio State University i CRM): Introduction to the model theory of modules.
|
Hora: 12:30 am. Lloc: Aula 4100, Campus Raval.
|
Per a més informació, vegeu http://www.ub.es/slb/Seminari.html.
|
|
|
22.05.2007 (Seminari de Lògiques No Clàssiques) |
Conferència a càrrec de Joan Gispert (Universitat de Barcelona): On bounded BCK-algebras, II: Boolean representations.
|
Hora: 9:30 am. Lloc: Aula T2, Campus Plaça.
|
Per a més informació, vegeu http://www.mat.ub.edu/~logica/sncl.html.
|
|
|
08.05.2007 (Seminari de Lògiques No Clàssiques) |
Conferència a càrrec de Antoni Torrens (Universitat de Barcelona): On bounded BCK-algebras, I.
|
Hora: 9:30 am. Lloc: Aula T2, Campus Plaça.
|
Més informació a http://www.mat.ub.edu/~logica/sncl.html.
|
|
|
02.05.2007 (Seminari de Lògica de Barcelona) |
Conferència a càrrec de Thomas Johnstone (The City University of New York, USA): Indestructible cardinals and forcing axioms.
|
Hora: 12:30 am. Lloc: Aula 4100, Campus Raval.
|
Més informació a http://www.ub.es/slb/Seminari.html.
|
|
|
26.04.2007 (Seminari de Lògica de Barcelona) |
Conferència a càrrec de Martin Koerwien (Universitat Paris VII, França): Complexity of isomorphism for countable models of omega-stable theories.
|
Hora: 10:30 am. Lloc: Aula 4047, Campus Raval.
|
Més informació a http://www.ub.es/slb/Seminari.html.
|
|
|
24.04.2007 (Seminari de Lògiques No Clàssiques) |
Conferència a càrrec de Ramon Jansana (Universitat de Barcelona): Canonical extensions viewed from abstract algebraic logic.
|
Hora: 9:30 am. Lloc: Aula T2, Campus Plaça.
|
Més informació a http://www.mat.ub.edu/~logica/sncl.html.
|
|
|
10.04.2007 (Seminari de Lògiques No Clàssiques) |
Conferència a càrrec de Carles Noguera (Universitat de Lleida): n-contractive fuzzy logics.
|
Hora: 10:00 am. Lloc: Aula T2, Campus Plaça.
|
Més informació a http://www.mat.ub.edu/~logica/sncl.html.
|
|
|
27.03.2007 (Seminari de Lògiques No Clàssiques) |
Conferència a càrrec de Petr Hájek (Institut de Ciències de la Computació, Acadèmia de Ciències de la República Txeca, Praga): On witnessed models of fuzzy logics.
|
Hora: 10:00 am. Lloc: Aula T2, Campus Plaça.
|
Més informació a http://www.mat.ub.edu/~logica/sncl.
|
|
|
20.03.2007 (Seminari de Lògiques No Clàssiques) |
Conferència a càrrec de Wojciech Buszkowski (Universitat de Poznan, Polònia): Action logic: complexity and models.
|
Hora: 10:00 am. Lloc: Aula T2, Campus Plaça.
|
Més informació a http://www.mat.ub.edu/~logica/sncl.
|
|
|