Groups

EAFIT: Logic and Computation

1–30 of 639

0 selected

Andrés Sicard-Ramírez

5/16/20

Fwd: [Coq-Club] Milestone-Based Paid Remote Short-Term Projects in Formalization of Algorithms

---------- Forwarded message --------- From: Mateus de Oliveira Oliveira <mateus.oliveira@gmail.

unread,

Fwd: [Coq-Club] Milestone-Based Paid Remote Short-Term Projects in Formalization of Algorithms

---------- Forwarded message --------- From: Mateus de Oliveira Oliveira <mateus.oliveira@gmail.

5/16/20

Andrés Sicard-Ramírez

9/4/19

Fwd: Workshop on Data Assimilation for Decision Making

FYI. ---------- Forwarded message --------- From: Olga Lucia Quintero Montoya <oqui...@eafit.edu.

unread,

Fwd: Workshop on Data Assimilation for Decision Making

FYI. ---------- Forwarded message --------- From: Olga Lucia Quintero Montoya <oqui...@eafit.edu.

9/4/19

Andrés Sicard-Ramírez

8/14/19

Fwd: [EAFIT-DIS] Post-Doc position (deadline 08/20/19)

FYI. ---------- Forwarded message --------- From: Edwin Nelson Montoya Munera <emon...@eafit.edu.

unread,

Fwd: [EAFIT-DIS] Post-Doc position (deadline 08/20/19)

FYI. ---------- Forwarded message --------- From: Edwin Nelson Montoya Munera <emon...@eafit.edu.

8/14/19

Andrés Sicard-Ramírez

5/28/19

Fwd: ¡Alerta de convocatoria!

---------- Forwarded message --------- From: Carlos Mario De Jesus Velez Sanchez <cmvelez@eafit.

unread,

Fwd: ¡Alerta de convocatoria!

---------- Forwarded message --------- From: Carlos Mario De Jesus Velez Sanchez <cmvelez@eafit.

5/28/19

Andrés Sicard-Ramírez

5/10/19

Fwd: Concurso Docente

FYI. ---------- Forwarded message --------- From: Daniel Cabarcas <dca...@unal.edu.co> Date:

unread,

Fwd: Concurso Docente

FYI. ---------- Forwarded message --------- From: Daniel Cabarcas <dca...@unal.edu.co> Date:

5/10/19

Andrés Sicard-Ramírez

4/10/19

Fwd: [TYPES/announce] [isabelle] Open position: Formal Verification Engineer (m/f/x) at HENSOLDT Cyber in Munich

Buenas tardes, Para aquellos pensando en semestre de práctica, el mensaje abajo también menciona la

unread,

Fwd: [TYPES/announce] [isabelle] Open position: Formal Verification Engineer (m/f/x) at HENSOLDT Cyber in Munich

Buenas tardes, Para aquellos pensando en semestre de práctica, el mensaje abajo también menciona la

4/10/19

Andrés Sicard-Ramírez

2/15/19

Elisabet Lobo Vesga: Student awarded for privacy solution

Buenas noches, Me complace compartirles que Elisabet se ganó el siguiente premio: https://www.

unread,

Elisabet Lobo Vesga: Student awarded for privacy solution

Buenas noches, Me complace compartirles que Elisabet se ganó el siguiente premio: https://www.

2/15/19

1/6/19

Fwd: [ACT] Applied Category Theory 2019 School -- Call for Participation

-------- Forwarded Message -------- Subject: [ACT] Applied Category Theory 2019 School -- Call for

unread,

Fwd: [ACT] Applied Category Theory 2019 School -- Call for Participation

-------- Forwarded Message -------- Subject: [ACT] Applied Category Theory 2019 School -- Call for

1/6/19

Andrés Sicard-Ramírez

12/19/18

¿Es 0.1 + 0.2 igual a 0.3?

Buenas días, (Me disculpo si usted ya está familiarizado con la respuesta a la pregunta) En su

unread,

¿Es 0.1 + 0.2 igual a 0.3?

Buenas días, (Me disculpo si usted ya está familiarizado con la respuesta a la pregunta) En su

12/19/18

Andrés Sicard-Ramírez

10/12/18

Fwd: Convocatoria Monitores Apolo 2018-2

FYI. ---------- Forwarded message --------- From: Juan David Pineda C. <jpin...@eafit.edu.co>

unread,

Fwd: Convocatoria Monitores Apolo 2018-2

FYI. ---------- Forwarded message --------- From: Juan David Pineda C. <jpin...@eafit.edu.co>

10/12/18

Andrés Sicard-Ramírez

10/5/18

Fwd: Conoce la oportunidad de desarrollar tus capacidades en IA, en DAPI buscamos talento!

---------- Forwarded message --------- From: Alejandro Gomez Montoya <agom...@eafit.edu.co>

unread,

Fwd: Conoce la oportunidad de desarrollar tus capacidades en IA, en DAPI buscamos talento!

---------- Forwarded message --------- From: Alejandro Gomez Montoya <agom...@eafit.edu.co>

10/5/18

Andrés Sicard-Ramírez

9/14/18

Fwd: Invitación al Ciclo de Conferencias Apolo: Computabilidad y Paralelismo

FYI. ---------- Forwarded message --------- From: Centro de Computación Científica APOLO <apolo@

unread,

Fwd: Invitación al Ciclo de Conferencias Apolo: Computabilidad y Paralelismo

FYI. ---------- Forwarded message --------- From: Centro de Computación Científica APOLO <apolo@

9/14/18

Andrés Sicard-Ramírez

8/29/18

Fwd: Oferta lab

FYI. ---------- Forwarded message --------- ... Buen dia si conocen a alguien que le sirva esta

unread,

Fwd: Oferta lab

FYI. ---------- Forwarded message --------- ... Buen dia si conocen a alguien que le sirva esta

8/29/18

Andrés Sicard-Ramírez

8/7/18

Fwd: X Días de la Ciencia Aplicada 2018 - Invitación

FYI. ---------- Forwarded message --------- From: Luciano Alberto Angel Toro <lan...@eafit.edu.co

unread,

Fwd: X Días de la Ciencia Aplicada 2018 - Invitación

FYI. ---------- Forwarded message --------- From: Luciano Alberto Angel Toro <lan...@eafit.edu.co

8/7/18

Andrés Sicard-Ramírez

8/6/18

Fwd: [Coq-Club] Positions at a startup company, using Coq to prove hardware

FYI. ---------- Forwarded message ---------- From: Adam Chlipala <ad...@csail.mit.edu> Date: 6

unread,

Fwd: [Coq-Club] Positions at a startup company, using Coq to prove hardware

FYI. ---------- Forwarded message ---------- From: Adam Chlipala <ad...@csail.mit.edu> Date: 6

8/6/18

Andrés Sicard-Ramírez

7/31/18

Fwd: Convocatoria Monitores Apolo

FYI. ---------- Forwarded message ---------- From: Juan David Pineda C. <jpin...@eafit.edu.co>

unread,

Fwd: Convocatoria Monitores Apolo

FYI. ---------- Forwarded message ---------- From: Juan David Pineda C. <jpin...@eafit.edu.co>

7/31/18

Andrés Sicard-Ramírez

7/12/18

Curso proyecto 2018-2

Buenos días, Para el semestre 2018-2 voy a ofrecer un curso proyecto en el tema de ordinal numbers

unread,

Curso proyecto 2018-2

Buenos días, Para el semestre 2018-2 voy a ofrecer un curso proyecto en el tema de ordinal numbers

7/12/18

Andrés Sicard-Ramírez

7/9/18

Fwd: RV: Convocatoria CELSIA científico de datos

FYI. ---------- Forwarded message ---------- From: Paula Alejandra Escudero Marin <pescuder@eafit.

unread,

Fwd: RV: Convocatoria CELSIA científico de datos

FYI. ---------- Forwarded message ---------- From: Paula Alejandra Escudero Marin <pescuder@eafit.

7/9/18

Andrés Sicard-Ramírez

7/3/18

Fwd: Concurso Docente

FYI. ---------- Forwarded message ---------- From: Daniel Cabarcas <dca...@unal.edu.co> Date:

unread,

Fwd: Concurso Docente

FYI. ---------- Forwarded message ---------- From: Daniel Cabarcas <dca...@unal.edu.co> Date:

7/3/18

Jonathan Prieto-Cubides

7/2/18

EUTypes: List of Events

En el siguiente enlace guardan una lista de eventos pasados y futuros relacionados con teoría de

unread,

EUTypes: List of Events

En el siguiente enlace guardan una lista de eventos pasados y futuros relacionados con teoría de

7/2/18

Andrés Sicard-Ramírez

5/15/18

Fwd: Divulgación de convocatoria para Ingeniería de Sistemas

FYI. ---------- Forwarded message ---------- From: Edwin Nelson Montoya Munera <emon...@eafit.edu

unread,

Fwd: Divulgación de convocatoria para Ingeniería de Sistemas

FYI. ---------- Forwarded message ---------- From: Edwin Nelson Montoya Munera <emon...@eafit.edu

5/15/18

Andrés Sicard-Ramírez2

4/6/18

Seminario del grupo de Lógica y Computación: Interpreting Lambda Calculus via Category Theory

Buenos días, Corrección. La conferencia será en las siguientes coordenadas: Fecha: viernes, abril 6

unread,

Seminario del grupo de Lógica y Computación: Interpreting Lambda Calculus via Category Theory

Buenos días, Corrección. La conferencia será en las siguientes coordenadas: Fecha: viernes, abril 6

4/6/18

Andrés Sicard-Ramírez

3/17/18

TensorFlow study group

Cordial saludo, En la conferencia el día 2018-03-16 en el seminario del Doctorado en Ingeniería

unread,

TensorFlow study group

Cordial saludo, En la conferencia el día 2018-03-16 en el seminario del Doctorado en Ingeniería

3/17/18

Andrés Sicard-Ramírez

2/21/18

Fwd: Proyecto de nuevo semillero en matemáticas puras (por favor, difundir entre los estudiantes)

---------- Forwarded message ---------- From: Carlos M. Vélez S. <cmv...@eafit.edu.co> Date:

unread,

Fwd: Proyecto de nuevo semillero en matemáticas puras (por favor, difundir entre los estudiantes)

---------- Forwarded message ---------- From: Carlos M. Vélez S. <cmv...@eafit.edu.co> Date:

2/21/18

Andrés Sicard-Ramírez

2/21/18

Ordinal number and typed lamba-calculus: A "simple" open problem

Dear all, I have been reading about ordinal numbers and type theory. In relation to large ordinal

unread,

Ordinal number and typed lamba-calculus: A "simple" open problem

Dear all, I have been reading about ordinal numbers and type theory. In relation to large ordinal

2/21/18

Andrés Sicard-Ramírez

2/9/18

Fwd: three postdoctoral positions at RiSE

---------- Forwarded message ---------- From: Carlos M. Vélez S. <cmv...@eafit.edu.co> Date: 9

unread,

Fwd: three postdoctoral positions at RiSE

---------- Forwarded message ---------- From: Carlos M. Vélez S. <cmv...@eafit.edu.co> Date: 9

2/9/18

Andrés Sicard-Ramírez

2/5/18

Fwd: Becas participación la pycon 2018

---------- Forwarded message ---------- From: Edwin Nelson Montoya Munera <emon...@eafit.edu.co

unread,

Fwd: Becas participación la pycon 2018

---------- Forwarded message ---------- From: Edwin Nelson Montoya Munera <emon...@eafit.edu.co

2/5/18

Andrés Sicard-Ramírez

1/25/18

Fwd: Convocatoria para estudiante becado en la Maestría en Matemáticas Aplicadas

---------- Forwarded message ---------- From: Carlos M. Vélez S. <cmv...@eafit.edu.co> Date:

unread,

Fwd: Convocatoria para estudiante becado en la Maestría en Matemáticas Aplicadas

---------- Forwarded message ---------- From: Carlos M. Vélez S. <cmv...@eafit.edu.co> Date:

1/25/18

Andrés Sicard-Ramírez

1/25/18

Fwd: Convocatoria para posdoctorado

---------- Forwarded message ---------- From: Carlos M. Vélez S. <cmv...@eafit.edu.co> Date:

unread,

Fwd: Convocatoria para posdoctorado

---------- Forwarded message ---------- From: Carlos M. Vélez S. <cmv...@eafit.edu.co> Date:

1/25/18

Andrés Sicard-Ramírez

1/19/18

Curso de lenguajes formales y autómatas: monitor 2018-1

Cordial saludo, Necesito un monitor este semestre para el curso Lenguajes Formales y Autómatas.

unread,

Curso de lenguajes formales y autómatas: monitor 2018-1

Cordial saludo, Necesito un monitor este semestre para el curso Lenguajes Formales y Autómatas.

1/19/18

Search

Clear search

Close search

Google apps

Main menu