Directores y directoras de cine del mundo, ha nacido un nuevo @berto_romero actor (ver hasta el final).

Model Checking HyperLTL is very difficult mainly because quantifier alternation elevates the complexity. Our latest paper with cesar_sanchez Borzoo Bonakdarpour introduces an algorithm to solve it using BMC with QBF solving! Talk is here!(to appear in TACAS'21): youtube.com/watch?v=cGOvDG…

The ultimate purpose of education is to change an empty mind into an open one. If you wanna be a good teacher, teach open-mindedness, teach enthusiasm, inquisitiveness, heuristics, and values.

Tomorrow we are hosting 3 #InvitedTalks ▫️10:00 CET | Diego Garbervetsky, from Universidad de Buenos Aires and CONICET Dialoga ▫️11:00 CET | Gerardo Schneider, from Göteborgs universitet / University of Gothenburg ▫️12:00 CET | Sandro Stucki, from Göteborgs universitet / University of Gothenburg Access ➡️ zoom.us/j/3911012202 🔐pass: s3

We have multiple tenure-track and tenured open positions at IMDEA Software! Feel free to send DM/email in case you want to know more. software.imdea.org/open_positions…

• If you're wrong, admit it. • If you're confused, ask questions. • If you're stuck, seek for help. • If you make mistake, learn from it. • If you learn something, teach others.

Cuando termine esta maldita guerra y sepamos en detalle todo lo que ha ocurrido en Mariupol durante estas semanas, lo recordaremos como una de las mayores atrocidades en décadas.

Gorostiaga, Felipe (2022). Theory and Practice of Stream Runtime Verification for Sequences and Real-Time Event Based Systems. oa.upm.es/70504/ #TESIS ETSI Informáticos Biblioteca ETSI Informáticos

Felipe Gorostiaga cesar_sanchez

First in-person conference in 2 years.

🔵We are deeply saddened by the news of the passing away of our former PhD student, Irfan UI Haq, that was currently Assistant Professor in NU-FAST. All our support to his family, friends and colleagues. R. I. P. 🕯🕯 Fund-raising to support his family ➡️gofundme.com/f/for-the-fami…

Project HYPER -- Logics and Algorithms for a Unified Theory of Hyperproperties -- is about to start!

@LuciaCores Agencia Estatal de Investigación FJI-PRECARIAS Hi, Lucía. I work at IMDEA Networks in Madrid, and we do not require any of that bureaucracy. I have not even seen the PhD diploma of my postdocs. What you describe is the process to get the PhD recognized in Spain, which luckily is a requirement that is disappearing.

Ignacio Tudela @LuciaCores Agencia Estatal de Investigación FJI-PRECARIAS IMDEA Networks The question is what can done to change this fact that is dragging the Spanish research system. Maybe start a campaign in change.org?

Pedro Vallín Cotorra española Porque claro, darte cuenta de que tu mensaje ha sido de todo menos afortunado, y en todo caso, pedir disculpas por si alguien se ha sentido mal, es demasiado. Es mejor enfrentarte con todos los que muestran, de mejor o peor forma, su indignación ante semejante barrabasada. Ok.

Pedro Vallín Cotorra española Qué lástima da leer algo así después de saber que hay más de 200 muertos, millones de familias que aún viven sin una puerta en su casa, ciudades arrasadas, pueblos comunicados por una "pasarela casera", miles de coches siniestrados abandonados en plena urbe...