Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MÀSTER EN LÒGICA PURA I APLICADA      2006 – 2008 Imatge de diagramaci
Català  Castellano English Imatge de diagramaci Màster interuniversitari  UB UPC Imatge de diagramaci
Imatge de diagramació
imatge de diagramació Imatge de diagramació
Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci
Imatge de diagramaci
Index
Presentació
Estructura acadèmica
Professorat
Assignatures
Admissió i matrícula
Calendari i horaris
Altres activitats
Doctorat
Novetats
Enllaços d'interès
Edició 2008–2010
Edició 2010–2012
 
 
Icona d'informaci Per a més
informació
escriviu a

jansanaIcona de correuub.edu
 

Imatge de diagramaci Imatge de diagramaci  
 

ALTRES ACTIVITATS

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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
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.
Imatge de diagramaci
Imatge de diagramaci
 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © Universitat de Barcelona Webmaster: Josep Maria Font
Última actualització: 18/11/07