Enrique Casanovas Ruiz Fornells

Enrique Casanovas Ruiz Fornells

Catedràtic d'Universitat

ORCID: 0000-0003-1345-0230
Researcher ID: ABH-3812-2020
Àrea de coneixement : Lògica i Filosofia de la Ciència

Grup de Lògica de Barcelona (Barcelona Logic Group). Acronym: BCNLOGIC

Informació de contacte
Departament de Matemàtiques i Informàtica
Facultat de Matemàtiques i Informàtica. Gran Vía 585.
934021660
e.casanovas(a)ub.edu

Docència Impartida (últims 10 anys)

Teoria Avançada de Models (Màster oficial) - Lògica Pura i Aplicada - Universidad de Barcelona.
Lògica Matemàtica (Màster oficial) - Lògica Pura i Aplicada - Universidad de Barcelona.
Computability and Logic (Phil 151/252) (No Especificat) - Sense Especificar - Stanford University.
Model Theory (Phil 350A/ Math 290B (No Especificat) - Sense Especificar - Stanford University.
Lineare Algebra II (Grau) - Albert-Ludwigs Universität Freiburg - Universitat de Friburg.
Llenguatge i Raonament Matemàtic (Grau) - Matemàtiques - Universidad de Barcelona.
Lògica i Llenguatges (Grau) - Enginyeria Informàtica - Universidad de Barcelona.
Àlgebra Lineal (Grau) - Enginyeria Química - Universidad de Barcelona.
Lògica Matemàtica (Grau) - Matemàtiques - Universidad de Barcelona.

Participació en Projectes

Teoría de modelos . 1999 - 2002 . Ref.PB98-1231 . Secretaría de Estado de Educación, Universidades, Investigación y Desarrollo . IP: Juan Carlos Martinez Alonso
Teoría de los modelos . 2002 - 2005 . Ref.BFM2002-01034 . Ministerio de Ciencia y Tecnología . IP: Juan Carlos Martinez Alonso
Grup de Lògica . 2002 - 2005 . Ref.2002SGR00126 . Departament d'Universitats, Recerca i Societat de la Informació (Generalitat de Catalunya) DURSI . IP: Enrique Casanovas Ruiz Fornells
Model Theory and applications (MODNET) . 2004 - 2007 . Ref.MRTN-CT-2004-512234 . Unió Europea . IP: Enrique Casanovas Ruiz Fornells
Grup de Lògica . 2005 - 2009 . Ref.2005SGR00738 . Departament d'Universitats, Recerca i Societat de la Informació (Generalitat de Catalunya) DURSI . IP: Enrique Casanovas Ruiz Fornells
Teoría de Modelos . 2006 - 2009 . Ref.MTM2005-00203 . Ministerio de Educación y Ciencia . IP: Juan Carlos Martinez Alonso
Teoría de Modelos . 2009 - 2011 . Ref.MTM2008-01545/MTM . Ministerio de Educación y Ciencia . IP: Juan Carlos Martinez Alonso
Grup de Lògica . 2009 - 2013 . Ref.2009SGR187 . Agència de Gestió d'Ajuts Universitaris i de Recerca (AGAUR) . IP: Enrique Casanovas Ruiz Fornells
Teoría de Modelos y Aplicaciones . 2012 - 2015 . Ref.MTM2011-26840 . Ministerio de Economia y Competitividad . IP: Enrique Casanovas Ruiz Fornells
Grup de Lògica . 2014 - 2017 . Ref.2014SGR437 . Agència de Gestió d'Ajuts Universitaris i de Recerca (AGAUR) . IP: Joan Bagaria Pigrau

Publicacions rellevants (publicacions en revistes i altres publicacions - últims 10 anys)

Casanovas, E. (2014). Lascar strong types and forking in NIP theories. Rendiconti del Seminario Matematico. Università Politecnica Torino, 72(3-4), pp. 195 - 211 . ISSN: 0373-1243
Adler, H.; Casanovas, E.; Pillay, A. (2014). Generic stability and stability. Journal of Symbolic Logic, 79, pp. 179 - 185 . ISSN: 0022-4812
Casanovas, E.; Potier, J. (2014). Normal hyperimaginaries. Archive For Mathematical Logic, 53, pp. 583 - 591 . ISSN: 0933-5846
Enrique Casanovas; Luis Jaime Corredor. (2017). Orbits of subsets of the monster model and geometric theories. Annals of Pure and Applied Logic, 168, pp. 2152 - 2163 . ISSN: 0168-0072
Enrique Casanovas (2017). Definibilitat en estructures matemàtiques. Butlletí de la Societat Catalana de Matemàtiques, 32(2), pp. 133 - 153 . Repositori Institucional . ISSN: 0214-316X

Direcció de Tesis, Tesines i Treballs de Recerca (últims 10 anys)

Daniel Palacín Cruz . (2012) . Forking in simple theories and CM-triviality (Tesi Doctoral) . Universidad de Barcelona.
Joris Potier . (2015) . A few things about hyperimagnaries and stable forking (Tesi Doctoral) . Universidad de Barcelona.

Conferències i Participacions a Congressos (últims 10 anys)

Casanovas, E. (2012). Model theory and stability. (Conferència invitada) . First CSLI Workshop on Logic, Rationality, and Interaction. Stanford University . Stanford . ESTATS UNITS D'AMÈRICA
Casanovas, E. (2012). Local types of bounded hyperimaginaries. (Conferència invitada) . Model Theory in Wroclaw 2012 . Wroclaw . POLÒNIA
Casanovas, E. (2012). Tipos estables. (Conferència invitada) . Jornadas 'Lógica Matemática en España' en memoria de Alejandro Fernández Margarit. Universidad de sevilla . Sevilla . ESPANYA
Casanovas, E. (2014). Special Session on Model Theory and Applications. First Joint International Meeting RSME-SCM-SEMA-SIMAI-UMI. (Participació comitè científic/organitzador) . Special Session on Model Theory and Applications. First Joint International Meeting RSME-SCM-SEMA-SIMAI-UMI . Bilbao . ESPANYA
Casanovas, E. (2015). Stable forking conjecture and imaginaries. (Conferència invitada) . Bogotá Model Theory Day . Bogotá . COLÒMBIA
Casanovas, E. (2015). Stable forking and imaginaries. (Conferència invitada) . Neostability. Casa matemática Oaxaca - BIRS . Bogotá . MÈXIC
Casanovas, E. (2016). On dependently embedded sets. (Conferència invitada) . Model Theory and Applications. Special Session of the Second Joint Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies . Logroño . ESPANYA
Enrique Casanovas (2017). Model theory of Steiner triple systems. (Conferència invitada) . Automorphism groups, differential Galois theory and model theory . Barcelona . ESPANYA
Enrique Casanovas (2017). Orbits of subsets of the monster model and geometric theories. (Conferència invitada) . 11th Panhellenic logic symposium . Delfos . GRÈCIA
Enrique Casanovas; Saharon Shelah (2017). Universal theories and compactly expandable models. (Presentació comunicació) . Logic Colloquium 17 . Estocolmo . SUÈCIA
Enrique Casanovas; Silvia Barbina (2017). Model completion of the theory of Steiner quasigroups. (Conferència invitada) . Primer encuentro conjunto de la Real sociedad matemática española (RSME) y la Unión matemática argentina (UMSA). Sesión especial de Lógica y Computabilidad . Buenos Aires . ARGENTINA
Casanovas, E. (2018). Special Session on Model Theory. Logic Colloquium 2018. (Participació comitè científic/organitzador) . Logic Colloquium 2018 . Udine . ITÀLIA