Last modified: Sun Oct 29 13:15:55 -05 2023
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.
| Andrés
Sicard Ramírez
Last modified: Sun Oct 29 13:15:55 -05 2023 |