Fabián Serrano

[José A. Alonso @Jose_A_Alonso]

Formalisation of Hall’s theorem for countable infinite graphs. ~ Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón & Thaynara Arielly de Lima. https://t.co/kKNhlgLVlI #ITP #IsabelleHOL #Math

[Lawrence Paulson @LawrPaulson]

New in the Archive of Formal Proofs
Compactness Theorem for Propositional Logic and Combinatorial Applications

Includes the de Bruijn-Erdős Graph coloring theorem for countable graphs, König's Lemma, etc.

https://t.co/v0mfBrEBew

[José A. Alonso @Jose_A_Alonso]

Compactness theorem for propositional logic and combinatorial applications. ~ Fabián Fernando Serran Suárez, Thaynara Arielly de Lima & Mauricio Ayala-Rincón. https://t.co/fnXFnyV5LV #ITP #IsabelleHOL #Logic #Math

[MIT Jameel World Education Lab @mit_jwel]

Today J-WEL member institutions from around the world, including Brazil, Latvia, Mexico, Uzbekistan, Tanzania, Peru and Colombia completed a five-day Course Design Workshop on the @MIT campus.

#highereducation #highered #curriculum #innovation #education

[Fabián Serrano @ffserranos]

https://t.co/Nup4TUDSOP

[Fabián Serrano @ffserranos]

El próximo domingo 4 de junio inicia:

La 24ª Conferencia Internacional sobre Programación Lógica, Inteligencia Artificial y Deducción Automática: LPAR-24, que se realizará en la Universidad Nacional de Colombia, Manizales.
https://t.co/9j4SPxDz7l

[Fabián Serrano @ffserranos]

La 24ª Conferencia Internacional sobre Programación Lógica, Inteligencia Artificial y Deducción Automática:LPAR-24, se realizará del 4-9 de junio de 2023 en la Universidad Nacional de Colombia, Manizales.

https://t.co/9j4SPxE6WT

[José A. Alonso @Jose_A_Alonso]

Formalising basic topology for computational logic in simple type theory. ~ David Fuenmayor, Fabian Serrano. https://t.co/D58SjPvfJQ #ITP #IsabelleHOL #Math

[José A. Alonso @Jose_A_Alonso]

Hall’s theorem for enumerable families of finite sets. ~ Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón, Thaynara Arielly de Lima. https://t.co/hsjrskg0WG #ITP #IsabelleHOL #Math

[Ignacio Mantilla Prada @MantillaIgnacio]

Capsulita de historia de las ciencias.
La religiosa estadounidense Mary Kenneth Keller (1913 - 1985) fue la primera mujer en obtener (1965) un doctorado en ciencias de la computación.

[José A. Alonso @Jose_A_Alonso]

Hall’s theorem for enumerable finite sets. ~ Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón & Thaynara Arielly de Lima. https://t.co/hsjrskft78 #ITP #IsabelleHOL #Math

[Carlos Daniel Acosta @cdacosta628]

Clase Inaugural de Pregrado en Ciencias de la Computación, invitados @MantillaIgnacio y Fabio A. González @UNAL_Manizales @UNALOficial

[Ignacio Mantilla Prada @MantillaIgnacio]

En la Univ. Nal. Sede Manizales inicia hoy la carrera de Ciencias de la Computación.
Muy complacido de haber podido ofrecer la primera clase a los nuevos estudiantes.
Gracias por la invitación.

[Fabián Serrano @ffserranos]

@MantillaIgnacio Muy agradecidos con su aporte para que la apertura del nuevo programa fuera una realidad en la región cafetera.

[Fabián Serrano @ffserranos]

C https://t.co/ePu54dkeYL

[Fabián Serrano @ffserranos]

@DiegoTorres_Fis ! En estos momentos acompañamos solidariamente a nuestros vecinos, compañeros de colegio y amigos del barrio!

[Fabián Serrano @ffserranos]

@DiegoTorres_Fis La escuela J. F. Kennedy fue la más grande de Bogotá con cafetería para que almorzáramos de manera gratuita.

[Fabián Serrano @ffserranos]

@DiegoTorres_Fis El hipódromo de techo fue primero que el estadio. Cómo lo niños entrábamos gratis yo asistía religiosamente a las tres reuniones hípicas de la semana: jueves, sábado y domingo.

[Fabián Serrano @ffserranos]

@DiegoTorres_Fis Contábamos con dos teatros de cine, el teatro Iris y el teatro Kennedy (teníamos la fortuna de ver las películas al revés, primero el final y después el principio).
Se construyó el estadio de Timiza. El único barrio que nació con emisora propia, la emisora Kennedy.