Enrique Casanovas Ruiz Fornells

Enrique Casanovas Ruiz Fornells

Catedrático de Universidad

ORCID: 0000-0003-1345-0230
Researcher ID: ABH-3812-2020
Área de conocimiento: Lógica y Filosofía de la Ciencia

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

Información de contacto
Departamento de Matemáticas e Informática
Facultat de Matemàtiques i Informàtica. Gran Vía 585.
934021660
e.casanovas(a)ub.edu

Docencia Impartida (últimos 10 años)

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

Participación en Proyectos

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

Publicaciones Relevantes (publicaciones en revistas y otras publicaciones - últimos 10 años)

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 . Repositorio Institucional . ISSN: 0214-316X

Dirección de Tesis, Tesinas y Trabajos de Investigación (últimos 10 años)

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

Conferéncias y Participaciones en Congresos (últimos 10 años)

Casanovas, E. (2012). Model theory and stability. (Conferencia invitada) . First CSLI Workshop on Logic, Rationality, and Interaction. Stanford University . Stanford . ESTADOS UNIDOS DE AMÉRICA
Casanovas, E. (2012). Local types of bounded hyperimaginaries. (Conferencia invitada) . Model Theory in Wroclaw 2012 . Wroclaw . POLONIA
Casanovas, E. (2012). Tipos estables. (Conferencia invitada) . Jornadas 'Lógica Matemática en España' en memoria de Alejandro Fernández Margarit. Universidad de sevilla . Sevilla . ESPAÑA
Casanovas, E. (2014). Special Session on Model Theory and Applications. First Joint International Meeting RSME-SCM-SEMA-SIMAI-UMI. (Participación comité científico/organizador) . Special Session on Model Theory and Applications. First Joint International Meeting RSME-SCM-SEMA-SIMAI-UMI . Bilbao . ESPAÑA
Casanovas, E. (2015). Stable forking conjecture and imaginaries. (Conferencia invitada) . Bogotá Model Theory Day . Bogotá . COLOMBIA
Casanovas, E. (2015). Stable forking and imaginaries. (Conferencia invitada) . Neostability. Casa matemática Oaxaca - BIRS . Bogotá . MÉXICO
Casanovas, E. (2016). On dependently embedded sets. (Conferencia invitada) . Model Theory and Applications. Special Session of the Second Joint Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies . Logroño . ESPAÑA
Enrique Casanovas (2017). Model theory of Steiner triple systems. (Conferencia invitada) . Automorphism groups, differential Galois theory and model theory . Barcelona . ESPAÑA
Enrique Casanovas (2017). Orbits of subsets of the monster model and geometric theories. (Conferencia invitada) . 11th Panhellenic logic symposium . Delfos . GRECIA
Enrique Casanovas; Saharon Shelah (2017). Universal theories and compactly expandable models. (Presentación de comunicación) . Logic Colloquium 17 . Estocolmo . SUECIA
Enrique Casanovas; Silvia Barbina (2017). Model completion of the theory of Steiner quasigroups. (Conferencia 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ón comité científico/organizador) . Logic Colloquium 2018 . Udine . ITALIA