:: :: conferencias :: ::
 
Contribuciones a Congresos

Autores (p.o. de firma): Manzano, M. (2013)
Título: The Concept of Subset in Second Order Logic.
Workshop: Between First and Second Order Logic. UNILOG 2013.
Fecha: 2013

Autores (p.o. de firma): Manzano, M. Martins, M. Huertas, A. (2013)
Título: Identity as a Primitive in Equational Hybrid Logic.
UNILOG 2013
Fecha: 2013

Autores (p.o. de firma): Manzano, M. Urtubey, L. (2013)
Título: Completeness, Translations and Logicality
UNILOG 2013
Fecha: 2013

Autores (p.o. de firma): Manzano, M. Martins, M. Huertas, A.
Título: Equational Hybrid Type Theory.
AiML 2012, Copenhague.
Fecha: 2012

Autores (p.o. de firma): Manzano, M. Alonso, E. (2012)
Título: Henkin on Completeness.
8th Scandinavian Logic Symposium. Copenhague.
Fecha: 2012

Autores (p.o. de firma): Manzano, M. Moreno, M.
All identicals are equal, but some equals are more equal than others.
8th Scandinavian Logic Symposium. Copenhague
Fecha: 2012

Autores (p.o. de firma): Manzano, M.
Título: Our Beloved Leon Henkin.
First International Conference on Logic and Relativity: honoring István Németi's 70th birthday. Budapest.
Fecha: 2012

Autores (p.o. de firma): Manzano, M.
Título: Logic and Fiction. Inside Arguments . Coimbra. Portugal
Fecha: 24-26 marzo de 2011.

Autores (p.o. de firma): Blackwell, P. , Manzano, M., Areces, C. y Huertas, A.
TítuloThe Bird of Hybrid Type Theory. 14th Congress of Lógic, Methodology and Philosophy of Science.
Fecha: 19-24 Julio 2011.

Autores (p.o. de firma): Manzano, M.
Título: Nociones de completud. Simposio Internacional de Lógica
(en VII Congreso Nacional de Filosofía). Caracas. Venezuela. .
Fecha: 1-4 junio de 2010

Autores (p.o. de firma): Manzano, M. y Urtubey, L.
Título: Completeness and Interpolation with a standard abstract consequence relation. Unilog 2010.
Handbook of the World Congress on Universal Logic and School III. Beziau y otros eds.
http://www.uni-log.org/start3.html
Fecha: 2010

Autores (p.o. de firma): María Manzano y Enrique Alonso
Título: Completeness: actors, history and meaning. Unilog 2010.
Handbook of the World Congress on Universal Logic and School III. Beziau y otros eds.
http://www.uni-log.org/start3.html
Fecha: 2010

Autores (p.o. de firma): María Manzano.
Título: Completud y Leon Henkin en Actas del VI Congreso Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, ISBN 978-84-370-7655-3, páginas 85-90. Valencia.
Fecha: Agosto 2009

Autores (p.o. de firma): María Manzano
Título: Hybrid Type Theory. Science, Truth and Consistency: abstract of the CLE/AIP Event.
Centre for Logic, Epistemology and History of Science. Campinas, Brasil. ISBN 978-85-86497-06-7
Fecha: Agosto 2009

Autores: María Manzano
Título: Lógica y Ficción (Razonamiento Formal)
Tipo de participación: Conferencia magistral
Congreso: XI Encuentro Internacional de Didáctica de la Lógica
Lugar celebración: Universidad de la Sierra del Sur, en la ciudad de Miahuatlán, Oaxaca. México
Fecha: Noviembre de 2008

Autores: María Manzano y Enrique Alonso
Título: Leon Henkin
Tipo de participación: Conferencia
Congreso: Universal Logic
Publicación: Actas del Congreso
Lugar celebración: Xian (China)
Fecha: Agosto de 2007

Autores: María Manzano y Julio Ostalé
Título: Three levels of translation into many-sorted logic
Tipo de participación: Conferencia
Congreso: Universal Logic
Publicación: Actas del Congreso
Lugar celebración: Xian (China)
Fecha: Agosto de 2007

Autores: María Manzano
Título: Summa Logicae
Tipo de participación: Conferencia
Congreso: Second International Congress on Tools for Teaching Logic
Publicación:
http://logicae.usal.es
Lugar celebración: Salamanca
Fecha: Septiembre de 2006

Autores: María Manzano
Título: Razonamiento Formal
Tipo de participación: Conferencia invitada
Congreso: 50 Años de la Inteligencia Artificial
Publicación: 50 Años de la Inteligencia Artificial
Lugar celebración: Albacete
Fecha: Julio de 2006

Autores: María Manzano
Título: ¿Qué es esa cosa llamada lógica?
Tipo de participación: Conferencia en simposio Representación y logicidad
Congreso: II Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología
Publicación: Representación y logicidad
Lugar celebración: La Laguna
Fecha: Septiembre de 2005

Autores: Antonia Huertas y María Manzano
Título: Lógicas para la red
Tipo de participación: Comunicación Historia y Filosofía de la Lógica
Congreso: II Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología
Publicación: Actas del Congreso
Lugar celebración: La Laguna
Fecha: Septiembre de 2005

Autores: María Manzano
Título: Mouse Soup
Tipo de participación: Conferencia en simposio Decisiones ante el futuro de la red
Congreso: II Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología
Publicación:
http://logicae.usal.es
Lugar celebración: La Laguna
Fecha: Septiembre de 2005

Autores: María Manzano
Título: C@lculus
Tipo de participación: Conferencia en Workshop
Congreso: Workshop
Publicación:
http://logicae.usal.es
Lugar celebración: Amsterdam
Fecha: Junio de 2005

Autores: Enrique Alonso y María Manzano
Título: Magical Diagonalizatiom
Tipo de participación: Conferencia
Congreso: Universal Logic
Publicación: Actas del Congreso
Lugar celebración: Montreux (Suiza)
Fecha: Abril de 2005

Autores: María Manzano
Título: Lógicas modales hoy
Tipo de participación: Conferencia
Congreso: Jornadas de homenaje a Miguel Sánchez Mazas
Lugar celebración: Madrid
Fecha: Marzo de 2005

Autores: María Manzano y Enrique Alonso
Título: Summa Logicae
Tipo de participación: Conferencia (y coordinadora de Simposio C@lculus)
Congreso: IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España
Publicación: Actas del Congreso
Lugar celebración: Valladolid
Fecha: Noviembre de 2004

Autores: María Manzano, Gustavo Santos y Antonia Huertas
Título: Lógica modal con MAUDE
Tipo de participación: Conferencia
Congreso: IV Congerso de la sociedad de lógica, filosofía y metodología de la ciencia en España
Publicación: Actas del Congreso
Lugar celebración: Valladolid
Fecha: Noviembre de 2004

Autores: Antonia Huertas, María Manzano y Gustavo Santos
Título: Un cálculo heterogéneo parcial para lógica modal de predicados
Tipo de participación: Conferencia
Congreso: IV Congerso de la sociedad de lógica, filosofía y metodología de la ciencia en España
Publicación: Actas del Congreso
Lugar celebración: Valladolid
Fecha: Noviembre de 2004

Autores: María Manzano
Título: Materiales de Lógica para  principiantes
Tipo de participación: Conferencia
Congreso: VII Encuentro Internacional de Didáctica de la Lógica
Publicación: CD de Actas del Congreso
Lugar celebración: Uruapan  (Mexico)
Fecha: Noviembre de 2004
-
Autores: María Manzano
Título: Lógica, Lógicas y Logicidad
Tipo de participación: Conferencia
Congreso: Tolerancia
Publicación: CD de Actas del Congreso
Lugar celebración: Lima (Perú)
Fecha: Enero de 2004

Autores: María Manzano
Título: ¿Una lógica para dominar a todas?
Tipo de participación: Conferencia
Congreso: Homenaje a Alfredo Deaño
Publicación: Libro, en prensa.
Lugar celebración: UAM Madrid
Fecha: Mayo de 2003

Autores: María Manzano
Título: Genéricos, Similares y Equivalentes de Identidad
Tipo de participación: Conferencia invitada.
Congreso: First Workshop on Logic and Language
Publicación: Actas del Congreso
Lugar celebración: Sevilla
Fecha: Noviembre de 2000

-
Autores: María Manzano
Título: La lógica como materia interdisciplinar: ARACNE
Tipo de participación: Conferencia invitada
Congreso: Taller de didáctica de la lógica
Lugar celebración: México DF
Fecha: Septiembre 2000

Autores: María Manzano
Título: La identidad y la igualdad en la lógica de orden superior
Tipo de participación: Conferencia invitada
Congreso: Primer Congreso iberoamericano de filosofía de la ciencia y la tecnología
Publicación: Actas del Congreso
Lugar celebración: Morelia. México
Fecha: Septiembre 2000

Autores: María Manzano
Título: ARACNE.
Tipo de participación: Conferencia  (y organización).
Congreso: First International Congress on Tools for Teaching Logic
Publicación: Actas del Congreso.
Lugar celebración: Universidad de Salamanca
Fecha: Junio 2000

Autores: María Manzano
Título: Wanted! Demostrador de teoremas para lógica heterogénea
Tipo de participación: Conferencia invitada
Congreso: Primer congreso anual de la Real Sociedad Matemática Española
Publicación: Actas del Simposio
Lugar celebración: Madrid
Fecha: 29 de Enero de 2000

Autores: María Manzano
Título: Mi tarea virtual para el nuevo milenio
Tipo de participación: Conferencia invitada
Congreso: V Congreso Nacional de Filosofía y I Coloquio Nacional de Lógica.
Lugar celebración: Universidad Central de Venezuela, Caracas
Fecha: Noviembre 1999

Autores: María Manzano
Título: Tools for teaching Logic
Tipo de participación: Conferencia invitada
Congreso: II Workshop in Tools for Teaching Logic
Lugar celebración: Recife, Brasil
Fecha: Septiembre 1999

Autores: María Manzano
Título: Lambda Abstractor was Philosopher's Stone for Alonzo Church.
Tipo de participación: Comunicación (y Presidencia de Sección)
Congreso: 11 International Congress of Logic, Methodology and Philosophy of Science
Publicación: Actas del Congreso
Lugar celebración: Cracovia
Fecha: 20-26 de Agosto de 1999

Autores: María Manzano, Antonia Huertas
Título: A fashionable Partial and Heterogeneous mirror for Modality
Tipo de participación: Conferencia invitada
Congreso: II Encuentro: Modalidad y Parcialidad
Lugar celebración: Madrid.
Fecha: 20-21 de Abril de 1999

Autores: María Manzano
Título: Logic in the boundaries with Computer Science: a historical example
Tipo de participación: Conferencia invitada
Congreso: I Workshop in TOOLS FOR TEACHING LOGIC
Lugar celebración:. Udine (Italia).
Fecha: 13-18 de Febrero de1999

Autores: María Manzano
Título: Lógicas Multiespecie: Fundamentos y Aplicaciones
Tipo de participación: Curso diez horas
Congreso: IV Escuela de Verano de Lógica
Lugar celebración: San Sebastián
Fecha: Julio 1998

Autores: María Manzano
Título: Vida, obra y algunos milagros de Alonzo Church
Tipo de participación: Conferencia invitada (y presidencia sesión 14)
Congreso: I Congreso Iberoamericano de Filosofía. Proyección de la lógica en la filosofía contemporánea
Publicación: Actas del Congreso
Lugar celebración: Madrid y Cáceres
Fecha: 21 al 26 de Septiembre de 1998

Autores: María Manzano
Título: La lógica, materia central y aglutinante de los instrumentos de educación interdisciplinar
Tipo de participación: Comunicación (y presidencia sesión 14)
Congreso: I Congreso Iberoamericano de Filosofía.
Publicación: Actas del Congreso
Lugar celebración: Madrid y Cáceres
Fecha: 21 al 26 de Septiembre de 1998

Autores: María Manzano
Título: Lógica clásica y lógicas no clásicas: sus métodos
Tipo de participación: Conferencia invitada
Congreso: Métodos Científicos.
Lugar celebración: Facultad de Humanidades Universidad de la Coruña. Ferrol
Fecha: Mayo. 1998.

Autores: María Manzano y Aitor Mata
Título: Los Enigmas de Ulises
Tipo de participación: Comunicación
Congreso: Jornadas sobre: Matemáticas y su enseñanza  (Cátedra Miguel Sanchez Mazas)
Publicación: Actas del Congreso
Lugar celebración: Donostia
Fecha: 26-27 de Octubre de 1998.

Autores: María Manzano
Título: Lógica aplicada
Tipo de participación: Conferencia (y organización)
Congreso: Reunión científica.  (Junta Castilla y León)
Lugar celebración:  Universidad de Salamanca
Fecha: 23 de Junio de1997

Autores: María Manzano
Título: Los modelos generales de Henkin y los teoremas de representación
Tipo de participación: Conferencia invitada
Congreso: Congreso extraordinario de SADAF (Sociedad argentina de filosofía analítica)
Lugar celebración: Buenos Aires
Fecha: Octubre. 1997

Autores: María Manzano y Lluis Godo
Título: Descriptive Dynamic Logic
Tipo de participación: Conferencia invitada (y organización del simposio)
Congreso: Simposium: Fundación Modal. II Congreso de la Sociedad de Lógica y Filosofía de la Ciencia.
Publicación: Actas del Congreso.
Lugar celebración: Barcelona
Fecha: Febrero. 1997

Autores: María Manzano
Título: Verdad en el Cosmos
Tipo de participación: Conferencia invitada
Congreso: Seminario de Lógica. Facultad de Filosofía..
Lugar celebración: . Universidad de Santiago de Compostela
Fecha: Mayo. 1997

Autores: María Manzano y Antonia Huertas
Título: Extensions of First Order Logic
Tipo de participación: Curso de 20 horas
Congreso: Eight European Summer School in Logic, Language and Information
Publicación: Reader del curso, 80 páginas
Lugar celebración: University of Prague
Fecha: 12-23 de Agosto de 1996

Autores: María Manzano y Antonia Huertas
Título: Partial an Heterogeneous tools for building new logics
Tipo de participación: Conferencia invitada
Congreso: Fifth CSLI Workshop on Logic, Language and Computation
Lugar celebración: Stanford University. USA
Fecha: 31 Mayo al 2 Junio 1996

Autores: María Manzano
Título: Extensions of First Order Logic
Tipo de participación: Conferencia invitada
Congreso: Logic Colloquium (The Group in Logic and the Methodology of Science.)
Lugar celebración: Universidad de California, Berkeley (USA)
Fecha: 3 de Mayo de1996

Autores: María Manzano
Título: Extensions of First Order Logic
Tipo de participación: Conferencia invitada
Congreso: Logic Lunch. Departamento de Matemáticas
Lugar celebración: Universidad de Stanford (USA)
Fecha: Mayo. 1996

Autores: María Manzano
Título: Modal Logic, Representation and Translation (analyzing modal logics via other, less or more, multi-purpose standard logics)
Tipo de participación: Conferencia invitada
Congreso:.  Departamento de Filosofía: Seminario.de Lógica.
Publicación: Actas del Seminario (CSLI)
Lugar celebración: Universidad de Stanford (USA)
Fecha: Mayo. 1996

Autores: María Manzano
Título: Alonzo Church: In memoriam
Tipo de participación: Conferencia invitada
Congreso: Truth, Logic, Representation and World..
Publicación: Actas del Congreso
Lugar celebración: Universidad Santiago de Compostela.
Fecha: 17-20 de Enero de 1996

Autores: María Manzano
Título: The little mermaid
Tipo de participación: Conferencia  invitada
Congreso: Truth, Logic, Representation and World..
Publicación: Actas del Congreso
Lugar celebración: Universidad Santiago de Compostela.
Fecha: 17-20 de Enero de1996

Autores: María Manzano
Título: Modal representation theorems
Tipo de participación: Conferencia invitada (y presidencia sesión)
Congreso: Workshop on Model Theory and Complexity
Publicación: Actas del Congreso
Lugar celebración: Universidad de Sevilla
Fecha: 21-23 de Septiembre de1995

Autores: María Manzano
Título: Cooking up your Logic
Tipo de participación: Conferencia invitada (y presidencia de sesión)
Congreso: 10th International Congress of Logic, Methodology and Philosophy of Science
Publicación: Actas del Congreso
Lugar celebración: Florencia, Italia
Fecha: 19-25 de Agosto de 1995

Autores: María Manzano
Título: Las paradojas y su solución en la teoría de tipos de Bertrand Russell
Tipo de participación: Conferencia invitada
Congreso: Seminario Orotava (Historia de la Ciencia en el siglo XX).
Publicación: Actas del Congreso
Lugar celebración: Universidad de Tenerife.
Fecha: Noviembre. 1994

Autores: María Manzano
Título: La gallina.de los huevos de oro (Capacidad expresiva, Metateoría de Conjuntos e Incompletud)
Tipo de participación: Conferencia invitada
Congreso: I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España..
Publicación: Actas del : I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia (Bustos  et alts edts)
Lugar celebración: Madrid
Fecha: 15-17 de Diciembre de 1993

Autores: María Manzano
Título: Higher Order Logic: Standard versus Non-Standard Model Theory
Tipo de participación: Conferencia invitada
Congreso: Cylindric Algebras, the  Ultrapower Construction. Postgraduate School of Budapest. Hungarian Academy of Sciences
Lugar celebración: Budapest.
Fecha: Mayo-Junio 1992

Autores: María Manzano
Título: How to Increase Applicability of a Mathematical Concept of Higher Order Logic to Rael Higher Order Phenomena.
Tipo de participación: Conferencia invitada
Congreso: Logic @ Work. (Conference on Applied Logic)
Publicación: Volumen de Actas en Oxford University Press
Lugar celebración: University of Amsterdam
Fecha: 16-19 de Diciembre de 1992

Autores: María Manzano
Título: Teoría de Modelos
Tipo de participación: Tutorial de cuatro horas.
Congreso: VIII Congreso de Lenguajes Naturales y Lenguajes Formales
Publicación: Actas del Congreso
Lugar celebración: Universidad de Gerona
Fecha: 21-25 de Septiembre de1992

Autores: María Manzano
Título: Model Theory
Tipo de participación: Curso de veinte horas
Congreso: Forth European Summer School in Logic, Language and Information
Publicación: Actas del Congreso
Lugar celebración: University of Essex, Colchester, UK
Fecha: 17-28 de Agosto de1992

Autores: María Manzano
Título: Simple Type Theory. And Modal Logic
Tipo de participación: Conferencia invitada 
Congreso: Logic seminar (Reunión semanal)
Lugar celebración: University College. Swansea, UK
Fecha: Noviembre. 1991

Autores: María Manzano
Título: Applying Many Sorted Logic
Tipo de participación: Conferencia invitada y organización simposio de lógica (y presidencia sesiones varias)
Congreso: Encuentro de Lógica y Filosofía de la Ciencia.  Rudolf Carnap & Hans Reichenbach in Memoriam.
Publicación: Volumen en siglo XXI
Lugar celebración:Universidad de Madrid
Fecha: 13-15 de Noviembre de1991

Autores: María Manzano y Antonia Huertas
Título: Conversión de S5 en bivariada
Tipo de participación: Comunicación
Congreso: V Congreso de Lenguajes Naturales y Lenguajes Formales
Publicación: Actas del Congreso
Lugar celebración: Universidad de Tarragona
Fecha: 17-21 de Septiembre de 1990

Autores: María Manzano
Título: Teoría de Modelos
Tipo de participación: Curso de seis horas.
Congreso: Institut de Ciències de l'Educació
Lugar celebración: Universitat Autònoma de Barcelona,
Fecha: 21-25 de Septiembre de 1990

Autores: María Manzano
Título: La lógica multivariada como lógica unificadora
Tipo de participación: Tutorial de cuatro horas.
Congreso: Problemas y métodos de investigación en lógica formal
Publicación: Actas del Congreso
Lugar celebración: Universidad de Sevilla
Fecha: 27-28 de Septiembre de 1990

Autores: María Manzano
Título: Lóxica dinámica
Tipo de participación: Conferencia invitada
Congreso: Xornadas de Loxica e Filosofia da Ciencia: Semántica, Cognición e intelixencia artificial
Publicación: Actas del Congreso
Lugar celebración: Universidad de Santiago de Compostela
Fecha: Octubre. 1988

Autores: María Manzano
Título: Introduction to MSL
Tipo de participación: Conferencia invitada
Congreso: Congreso: Many-sorted logic and its application in Computer Science
Publicación: Actas del Congreso
Lugar celebración: Leeds, UK
Fecha: Septiembre. 1988

Autores: María Manzano
Título: Consecuencias de los teoremas de Löwenheim-Skolen
Tipo de participación: Conferencia invitada
Congreso: Nuevas tendencias en Ciencia y Filosofía.
Lugar celebración: Universidad de Salamanca
Fecha: Mayo. 1988

Autores: María Manzano
Título: SOLO: A second order theory equivalent to PDL
Tipo de participación: Conferencia invitada
Congreso: Lógica e Informática. VI Cursos de Verano.
Publicación: Actas del Congreso
Lugar celebración: San Sebastián
Fecha: Julio. 1987

Autores: María Manzano
Título: ¿Para qué sirve la Lógica en Informática?
Tipo de participación: Conferencia invitada
Congreso: Lógica e Informática. VI Cursos de Verano.
Publicación: Actas del Congreso
Lugar celebración: San Sebastián
Fecha: Julio. 1987

Autores: María Manzano
Título: Lógica dinámica
Tipo de participación: Conferencia invitada
Congreso: Jornadas sobre Inteligencia Artificial: Razonamiento automatizado
Lugar celebración: Instituto de I.A. del CSIC Blanes
Fecha: 12 de Junio de 1987.

Autores: María Manzano
Título: Nuevos hechos, viejos lenguajes
Tipo de participación: Conferencia invitada
Congreso: V Congrés Catalá de Lógica
Publicación: Actas del Congreso
Lugar celebración: Universidad Autónoma de Barcelona
Fecha: 1986

Autores: María Manzano
Título: The translation of dynamic logic into second order logic
Tipo de participación: Conferencia invitada
Congreso: Logic seminar  Department of Mathematics. Queen Mary College
Lugar celebración: London. UK
Fecha: Diciembre. 1986

Autores: María Manzano
Título: The translation of dynamic logic into second order logic
Tipo de participación: Conferencia invitada
Congreso: Theory of Computation Seminar. Department of Computer Studies & Pure Mathematics. Centre for Theoretical Computer Science.. Reunión semanal
Lugar celebración: University of Leeds. UK
Fecha: 1986

Autores: María Manzano
Título: On second order logic
Tipo de participación: Conferencia invitada
Congreso: Philosophy of Mathematics Seminar. Department of Philosophy & Pure Mathematics. Centre for Theoretical Computer Science
Lugar celebración: University of Leeds. UK
Fecha: 1986

Autores: María Manzano
Título: Applying the Philosophy of Henkin's General Models
Tipo de participación: Conferencia invitada
Congreso: Philosophy of Computer Science Seminar. (Department of Computer Studies & Philosophy). Centre for Theoretical Computer Science
Lugar celebración. University of Leeds. UK.
Fecha: 1986

Autores: María Manzano
Título: El nuevo traje del Emperador: De cómo la sofisticada lógica modal no lucía más que modelos clásicos, de primer orden.
Tipo de participación: Conferencia invitada
Congreso: I Simposio Hispano-Mexicano de Filosofía.
Publicación: Actas del Congreso
Lugar celebración: Universidad de Salamanca
Fecha: Octubre. 1984

Autores: María Manzano
Título: Los sistemas inductivos.
Tipo de participación: Conferencia invitada
Congreso: Seminario de profesorado universitario.
Publicación: Actas del Congreso
Lugar celebración: INCIE. Madrid
Fecha: 1981

Autores: María Manzano
Título: Teoría de Tipos
Tipo de participación: Conferencia invitada
Congreso: Primera semana de Lógica, Filosofía e Historia de la Ciencia..
Lugar celebración: Madrid. UNED
Fecha: .24- 28 de Mayo de 1982

Autores: María Manzano
Título: Un panorama de las lógicas de orden superior
Tipo de participación: Conferencia invitada
Congreso: Jornadas de Lógica, Filosofía del lenguaje y Epistemología.
Lugar celebración: Madrid..
Fecha: Diciembre. 1982