José Miguel Blanco
@jmblanco.bsky.social
Postdoctoral researcher at ETSI de Telecomunicación, UPM, part of STRAST. Interested in all things fomal, logic and its applications, and distributed systems. Lover of Routley-Meyer semantics.
After living through Spain's massive blackout yesterday I have decided to write a novel. These are the first few lines:
"The apocalypse came on a Monday morning. In the afternoon I had a few beers with some friends. On Tuesday morning I had to wake up early to go to work once again."
"The apocalypse came on a Monday morning. In the afternoon I had a few beers with some friends. On Tuesday morning I had to wake up early to go to work once again."
April 29, 2025 at 1:39 PM
After living through Spain's massive blackout yesterday I have decided to write a novel. These are the first few lines:
"The apocalypse came on a Monday morning. In the afternoon I had a few beers with some friends. On Tuesday morning I had to wake up early to go to work once again."
"The apocalypse came on a Monday morning. In the afternoon I had a few beers with some friends. On Tuesday morning I had to wake up early to go to work once again."
Reposted by José Miguel Blanco
⚠️ Aemet informa:
Durante la jornada del 28 de abril no se detectó en España ningún fenómeno meteorológico o atmosférico inusual, ni tampoco variaciones bruscas de la temperatura en nuestra red de estaciones meteorológicas.
Durante la jornada del 28 de abril no se detectó en España ningún fenómeno meteorológico o atmosférico inusual, ni tampoco variaciones bruscas de la temperatura en nuestra red de estaciones meteorológicas.
April 29, 2025 at 8:13 AM
⚠️ Aemet informa:
Durante la jornada del 28 de abril no se detectó en España ningún fenómeno meteorológico o atmosférico inusual, ni tampoco variaciones bruscas de la temperatura en nuestra red de estaciones meteorológicas.
Durante la jornada del 28 de abril no se detectó en España ningún fenómeno meteorológico o atmosférico inusual, ni tampoco variaciones bruscas de la temperatura en nuestra red de estaciones meteorológicas.
Reposted by José Miguel Blanco
En la actual Comunidad de Madrid hubo 16 campos de concentración franquistas. La primera placa informativa y de homenaje a las víctimas no la ha colocado ningún ayuntamiento ni la Comunidad ni el gobierno central. La ha puesto un grupo de aficionados del Rayo Vallecano (1/2)
April 26, 2025 at 6:18 PM
En la actual Comunidad de Madrid hubo 16 campos de concentración franquistas. La primera placa informativa y de homenaje a las víctimas no la ha colocado ningún ayuntamiento ni la Comunidad ni el gobierno central. La ha puesto un grupo de aficionados del Rayo Vallecano (1/2)
Reposted by José Miguel Blanco
On the anniversary of the sinking of the Titanic, we thought we'd answer a question that's often asked,
"If they raised the Mary Rose, why not raise the Titanic?"
Allow our scaled diagram to explain...
"If they raised the Mary Rose, why not raise the Titanic?"
Allow our scaled diagram to explain...
April 15, 2025 at 8:21 AM
On the anniversary of the sinking of the Titanic, we thought we'd answer a question that's often asked,
"If they raised the Mary Rose, why not raise the Titanic?"
Allow our scaled diagram to explain...
"If they raised the Mary Rose, why not raise the Titanic?"
Allow our scaled diagram to explain...
Random thought of the day: We all know about "Markov chain", "Gauss's theorem"... But would they be named like so if the names weren't as cool? I want more things with really regular names! "Smith's algorithm", "Garcia's proof"!
April 2, 2025 at 11:09 AM
Random thought of the day: We all know about "Markov chain", "Gauss's theorem"... But would they be named like so if the names weren't as cool? I want more things with really regular names! "Smith's algorithm", "Garcia's proof"!
And today I'm at ACM SAC'25! Nice to visit Sicily even if it's for chairing a session 😜
April 1, 2025 at 11:32 AM
And today I'm at ACM SAC'25! Nice to visit Sicily even if it's for chairing a session 😜
Reposted by José Miguel Blanco
Reposted by José Miguel Blanco
"Bajo ninguna circunstancia deberá el monumento ser expuesto al aire libre".
Veamos las condiciones exactas que Egipto y la Unesco acordaron con España para la donación del templo de Debod.
Condiciones obligatorias que en España seguimos sin cumplir más de cincuenta años después.
HILO
Veamos las condiciones exactas que Egipto y la Unesco acordaron con España para la donación del templo de Debod.
Condiciones obligatorias que en España seguimos sin cumplir más de cincuenta años después.
HILO
February 20, 2025 at 6:05 PM
"Bajo ninguna circunstancia deberá el monumento ser expuesto al aire libre".
Veamos las condiciones exactas que Egipto y la Unesco acordaron con España para la donación del templo de Debod.
Condiciones obligatorias que en España seguimos sin cumplir más de cincuenta años después.
HILO
Veamos las condiciones exactas que Egipto y la Unesco acordaron con España para la donación del templo de Debod.
Condiciones obligatorias que en España seguimos sin cumplir más de cincuenta años después.
HILO
Another time flying for another meeting. This time it's Dublin for another SUNRISE General Assembly
February 4, 2025 at 2:48 PM
Another time flying for another meeting. This time it's Dublin for another SUNRISE General Assembly
Reposted by José Miguel Blanco
Sigo acentuando el sólo porque todos tenemos una batalla perdida por luchar.
December 10, 2024 at 5:51 AM
Sigo acentuando el sólo porque todos tenemos una batalla perdida por luchar.
I might have seen this late, but jumping on the wagon right away!
Day 1
I'm a postdoctoral researcher in compsci, currently focusing on atutonomous data alignment and intrinsic graph evaluation. But I still keep my love for formal methods and formal verification intact!
Day 1
I'm a postdoctoral researcher in compsci, currently focusing on atutonomous data alignment and intrinsic graph evaluation. But I still keep my love for formal methods and formal verification intact!
#ResearchAdvent
Join in by quote posting or replying with your response to each prompt during December. Don’t forget the hashtag!
(Please use this original post with its alt text 😃 Repost or reply ✅ using #ResearchAdvent)
Join in by quote posting or replying with your response to each prompt during December. Don’t forget the hashtag!
(Please use this original post with its alt text 😃 Repost or reply ✅ using #ResearchAdvent)
December 3, 2024 at 5:31 PM
I might have seen this late, but jumping on the wagon right away!
Day 1
I'm a postdoctoral researcher in compsci, currently focusing on atutonomous data alignment and intrinsic graph evaluation. But I still keep my love for formal methods and formal verification intact!
Day 1
I'm a postdoctoral researcher in compsci, currently focusing on atutonomous data alignment and intrinsic graph evaluation. But I still keep my love for formal methods and formal verification intact!
Reposted by José Miguel Blanco
Desde @altmetric.com sugieren que las editoriales científicas [o instituciones] añadan el botón para compartir sus artículos también en Bluesky. Aquí puedes echar un vistazo a cómo hacerlo. 😉
docs.bsky.app/docs/advance...
docs.bsky.app/docs/advance...
Action Intent Links | Bluesky
Authors, websites, and apps can use action intent links to implement "Share on Bluesky" buttons, or similar in-app actions. Logged-in users will be directed to the corresponding action view in the Blu...
docs.bsky.app
November 23, 2024 at 8:46 AM
Desde @altmetric.com sugieren que las editoriales científicas [o instituciones] añadan el botón para compartir sus artículos también en Bluesky. Aquí puedes echar un vistazo a cómo hacerlo. 😉
docs.bsky.app/docs/advance...
docs.bsky.app/docs/advance...
I have a suggestion for all the conferences organizers out there: Please, do not use a truly updated graphical interface for your website!
I feel like I'm back in the 00s sometimes...
I feel like I'm back in the 00s sometimes...
November 13, 2024 at 3:27 PM
I have a suggestion for all the conferences organizers out there: Please, do not use a truly updated graphical interface for your website!
I feel like I'm back in the 00s sometimes...
I feel like I'm back in the 00s sometimes...
Once again on a plane. This time headed to Vienna for the HEU project SUNRISE General Assembly. Looking forward to meeting once again with all the wonderful people of SUNRISE!
November 4, 2024 at 9:42 AM
Once again on a plane. This time headed to Vienna for the HEU project SUNRISE General Assembly. Looking forward to meeting once again with all the wonderful people of SUNRISE!
Sometimes I wonder what is worse: If a journal not having a LaTeX template, or that the submission process takes an hour.
Then I have to jump onto the next meeting and forget about it 😅
Then I have to jump onto the next meeting and forget about it 😅
October 31, 2024 at 11:18 AM
Sometimes I wonder what is worse: If a journal not having a LaTeX template, or that the submission process takes an hour.
Then I have to jump onto the next meeting and forget about it 😅
Then I have to jump onto the next meeting and forget about it 😅