Limitaciones de la autorreferencia
Maestría en
Matemáticas Aplicadas - 50 años. Universidad EAFIT. Octubre 25
de 2023
[ pdf ]
Dedekind-Peano Arithmetic from Set Theory
Semillero de Investigación en Matemáticas Puras. Área de
Ciencias Fundamentales. Universidad EAFIT. Febrero 15 y 22,
Marzo 15 de 2023
[ pdf ]
Computability and Parallelism
Ciclo de
Conferencias, Centro de Computación Científica Apolo,
Universidad
EAFIT. 2018-09-19. [ pdf ]
Intel® Math Kernel Library
Ciclo de
Conferencias, Centro de Computación Científica Apolo,
Universidad
EAFIT. 2018-03-21. [ pdf ]
Parallel Performance Tuning for Haskell: An Example
Ciclo de Conferencias, Centro de Computación Científica
Apolo, Universidad
EAFIT. 2017-11-08. [ pdf
| code.tgz ]
Parallel Functional Programming
Ciclo de
Conferencias, Centro de Computación Científica Apolo,
Universidad
EAFIT. 2017-09-27. [ pdf ]
Propositions as Types in Agda
Encuentro Álgebra y
Lógica, Universidad Tecnológica de
Pereira. 2015-12-09. Conferencista
invitado. [ pdf ]
First-Order Proof Reconstruction. Research
Proposal-2016
Seminar of the Ph.D. in Mathematical
Engineering, Universidad
EAFIT. 2015-09-21. [ pdf ]
Reasoning about Functional Programs by Combining
Interactive and Automatic proofs
Seminar of the Ph.D. in
Mathematical Engineering, Universidad
EAFIT. 2014-09-08. [ pdf ]
Combining Interactive and Automatic Reasoning in First
Order Theories of Functional
Programs
FoSSaCS
2012, Tallinn,
Estonia. 2012-03-28. [ pdf ]
Integrating an interactive proof assistant with
automatic theorem provers
Foro de Investigación y
Docencia. Universidad
EAFIT. 2010-09-29. [ pdf ]
Proofs = Programs
Días de la Ciencia
Aplicada. Universidad
EAFIT. 2009-09-29. [ pdf ]
Logic or Logics?
Formal Methods
Seminar. Universidad
EAFIT. 2009-08-25. [ pdf ]
Embedding a Logical Theory of Constructions in Agda
PLPV 2009, Savannah, Georgia,
USA. 2009-01-20. [ pdf ]
Using a logical theory of constructions for program
verification
Agda Implementation Meeting (AIM8),
Gothenburg,
Sweden. 2008-05-30. [ pdf ]
Using constructive type theory for reasoning about
general recursive algorithms
International Summer School
on Language Engineering and Rigorous Software Development,
Piriápolis, Uruguay. Feb. 25 - March 1,
2008. [ pdf ]
Programming Languages Meets Program Verification:
Chalmers University's Approach
Logic and Computation
Seminar, Universidad EAFIT. Feb. 27,
2007. [ pdf ]
Hypercomputation
The Weekly Programming Logic
Group Meeting, Chalmers University of Technology, Gothenburg,
Sweden. 2006-08-30. [ pdf ]
Hipercomputación desde la computación cuántica
III Encuentro Regional de Lógica y Computación (LOG&CO
2006), Popayán. Abril 3–7,
2006. [ pdf ]
Hipercomputación desde la computación cuántica y la
tesis de Church-Turing
II Encuentro Nacional de
Computación e Información Cuántica (CIC 2005), Popayán. Mayo
25–27, 2005. Conferencista
invitado. [ pdf ]
La representación ∞-dimensional del álgebra dinámica
su(1,1) de la caja de potencial en la hipercomputación
cuántica
José G. Molina, Andrés Sicard, Juan Ospina
and Mario Vélez
II Encuentro Nacional de Computación e
Información Cuántica (CIC 2005), Popayán. Mayo 25–27,
2005. Poster. [ pdf ]
Numerical simulations of a possible hypercomputational
quantum algorithm
ICANNGA
2005, Coimbra,
Portugal. 2005-03-22. [ pdf ]
Hypercomputation
Centre for Atom Optics and
Ultrafast Spectroscopy (CAOUS), Swinburne University of
Technology, Melbourne,
Australia. 2004-11-19. [ pdf ]
Algoritmos cuánticos
VII Ciclo de conferencias de
Física, Universidad EAFIT. 2004-07-20. Conferencista
invitado. [ pdf ]
Universalidad para el modelo de 3 estados de la
computación cuántica geométrica
IX Encuentro ERM,
Neiva. Septiembre 15–19,
2003. [ pdf ]
Universalidad de la computación cuántica geométrica:
Modelo del medio Kerr
XX Congreso Nacional de
Física. Septiembre 1–5,
2003. [ pdf ]
¿Qué es una lógica? de las lógicas no clásicas hacia la lógica universal Ciclo de conferencias de Lógica. Universidad de Antioquia. 2002-12-09. Conferencista invitado. [ pdf ]
Sobre las compuertas lógico-cuánticas y su
implementación óptica
Mario Vélez and Andrés
Sicard
VII Encuentro Nacional de Óptica. Septiembre
25–29, 2002.
Computación paraconsistente
Foro investigación y
docencia, Universidad
EAFIT. 2002-07-21. [ pdf ]
Computación paraconsistente
II Encuentro Regional
de Lógica y Computación, Cali. Mayo 20–24,
2002. [ pdf ]
Posibilidad de hipercomputación desde la computación
cuántica
Colloquium de matemáticas, Departamento de
Ciencias Básicas, Universidad
EAFIT. 2002-04-22. [ pdf ]
Computación cuántica + lógicas paraconsistentes =
teorías paraconsistentes de la computación
I Encuentro
Regional de Computación e Información Cuántica, Febrero 14 y 15,
2002. [ pdf ]
Autorreferencia en el contexto de las máquinas de Turing
cuánticas
V Evento Internacional de Matemáticas y
Computación (COMAT). Matanzas, Cuba. Noviembre 12–16,
2001. [ pdf ]
Some relations between quantum Turing machines and
Turing machines
Seminario Institucional de Física,
Universidad de Antioquia. 2001-09-11. Conferencista
invitado. [ ps ]
Algunos comentarios sobre los números reales
computables
VIII Encuentro ERM, Pasto. Septiembre 10–14,
2001. [ pdf ]
Computación cuántica: Elementos introductorios
(con Mario Vélez)
Jornadas de divulgación en
informática, Departamento de Informática y Sistemas, Universidad
EAFIT. 2001-07-09. Conferencista
invitado. [ ps ]
Computación cuántica
(con Mario Vélez)
Ciclo de conferencias, Planetario de
Medellín. 2000-10-26. Conferencista
invitado. [ ps ]
Computación cuántica
(con Mario Vélez)
Ciclo de conferencias, área de Física, Departamento de
Ciencias Básicas, Universidad EAFIT. 2000-10-03 Conferencista
invitado. [ ps ]
Hipercomputación: La próxima generación de la
computación teórica
Encuentro Grupos de investigación
ERM, Universidad del Cauca, Septiembre 11–15,
2000. Conferencista
invitado. [ pdf ]
¿Máquina de Turing cuántica autorrefencial: Una
posibilidad?
(con Mario Vélez)
Séptima jornada
de investigación, Universidad Pontificia Bolivariana. Mayo
12–18,
2000. [ pdf ]
Relaciones entre algunos modelos de computación
I Encuentro Grupo Regional Log&Co. Diciembre 13–17,
1999. [ pdf ]
Algunos elementos introductorios acerca de la
computación cuántica
(con Mario Vélez)
VII
Encuentro ERM, Medellín. Agosto 23–27,
1999. [ pdf ]
¿Máquina de Turing autorreferencial: Una
imposibilidad?
VI Encuentro ERM, Pereira. Agosto 29–30,
Septiembre 1–3,
1998. [ pdf ]
Matemáticas e informática
II Seminario sobre la
calidad en la docencia, Universidad EAFIT. Octubre
1994. Conferencista invitado.